cdonovick / peak
Peak : Processor Specification Language ala Newell and Bell's ISP
☆19Updated 9 months ago
Related projects: ⓘ
- The PE for the second generation CGRA (garnet).☆16Updated 2 weeks ago
- CoreIR Symbolic Analyzer☆61Updated 3 years ago
- ☆99Updated 2 years ago
- Languages, Tools, and Techniques for Accelerator Design☆32Updated 2 years ago
- ☆19Updated this week
- Lake is a framework for generating synthesizable memory modules from a high-level behavioral specification and widely-available memory ma…☆17Updated this week
- Using e-graphs to synthesize netlists from boolean logic.☆14Updated last year
- Integration test for entire CGRA flow☆12Updated 4 years ago
- Fast PnR toolchain for CGRA☆17Updated last month
- ☆51Updated 2 years ago
- A Hardware Pipeline Description Language☆39Updated 10 months ago
- Verilog AST☆19Updated 9 months ago
- Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.☆93Updated last month
- Python implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics☆18Updated last year
- Next generation CGRA generator☆104Updated this week
- A Modeling and Verification Platform for SoCs using ILAs☆75Updated 2 months ago
- A fault-injection framework using Chisel and FIRRTL☆33Updated last year
- ☆24Updated last year
- ☆46Updated this week
- Hardware generator debugger☆71Updated 7 months ago
- Chisel library for Unum Type-III Posit Arithmetic☆30Updated 5 months ago
- netlistDB - Intermediate format for digital hardware representation with graph database API☆29Updated 3 years ago
- ☆41Updated 3 years ago
- Fast Symbolic Repair of Hardware Design Code☆18Updated 4 months ago
- A polyhedral compiler for hardware accelerators☆55Updated last month
- A Vivado HLS Command Line Helper Tool☆36Updated 2 years ago
- Meta-Repository for Bespoke Silicon Group's Manycore Architecture (A.K.A HammerBlade)☆36Updated last year
- Papers, Posters, Presentations, Documentation...☆18Updated 8 months ago
- ILA Model Database☆20Updated 3 years ago
- Rigel is a language for describing image processing hardware embedded in Lua. Rigel can compile to Verilog hardware designs for Xilinx FP…☆55Updated 4 years ago