byuccl / coastLinks
Compiler Assisted Software Fault Tolerance
☆24Updated 5 years ago
Alternatives and similar repositories for coast
Users that are interested in coast are comparing it to the libraries listed below
Sorting:
- A set of benchmarks chosen to show the energy consumption of embedded devices under different conditions☆71Updated 2 years ago
- Open Source AES☆31Updated 3 months ago
- Testing processors with Random Instruction Generation☆50Updated last month
- Tutorial tour of the RISC-V ISA Spec (expressed in SAIL ISA spec language)☆38Updated 4 years ago
- A Verilog Synthesis Regression Test☆37Updated last year
- A time-predictable processor for mixed-criticality systems☆60Updated last year
- CV32E40X Design-Verification environment☆16Updated last year
- A reconfigurable and extensible VLIW processor implemented in VHDL☆39Updated 10 years ago
- A collection of big designs to run post-synthesis simulations with yosys☆51Updated 10 years ago
- A concolic testing engine for RISC-V embedded software with support for SystemC peripherals☆27Updated 2 years ago
- Fiber-based SystemVerilog Simulator.☆25Updated 3 years ago
- Demo SoC for SiliconCompiler.☆62Updated this week
- Fuzzing for SpinalHDL☆17Updated 3 years ago
- Mutation Cover with Yosys (MCY)☆89Updated last month
- PolarFire SoC hart software services☆48Updated 4 months ago
- An LLVM based mini-C to Verilog High-level Synthesis tool☆39Updated 10 months ago
- A Modular Open-Source Hardware Fuzzing Framework☆36Updated 4 years ago
- SCARV: a side-channel hardened RISC-V platform☆28Updated 3 years ago
- ☆59Updated 3 years ago
- Capture retired instructions of a RISC-V Core and compress them to a sequence of packets.☆19Updated last year
- The Common Evaluation Platform (CEP), based on UCB's Chipyard Framework, is an SoC design that contains only license-unencumbered, freel…☆67Updated 3 years ago
- Naive Educational RISC-V -- A simple single-stage RV32I processor☆27Updated 5 years ago
- Benchmarks for Yosys development☆24Updated 5 years ago
- Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.☆116Updated 7 months ago
- Pulp virtual platform☆24Updated 5 months ago
- ☆71Updated last month
- Naive Educational RISC V processor☆94Updated 2 months ago
- Chisel library for Unum Type-III Posit Arithmetic☆45Updated 9 months ago
- Java library for parsing and manipulating graph representations of gate-level Verilog netlists☆15Updated 9 years ago
- TACLe Benchmarks☆55Updated 2 months ago