Raamakrishnan / verilog-filelist-parser
A Verilog Filelist parser in Rust
☆9Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for verilog-filelist-parser
- For contributions of Chisel IP to the chisel community.☆55Updated 2 weeks ago
- SystemVerilog language server client for Visual Studio Code☆20Updated last year
- An automatic clock gating utility☆43Updated 4 months ago
- 👾 Design ∪ Hardware☆72Updated 2 weeks ago
- Equivalence checking with Yosys☆31Updated 2 weeks ago
- A SystemVerilog source file pickler.☆51Updated last month
- LLVM based HLS library for HWToolkit (hardware devel. toolkit)☆25Updated this week
- Running Python code in SystemVerilog☆63Updated 4 months ago
- Determines the modules declared and instantiated in a SystemVerilog file☆42Updated last month
- Debuggable hardware generator☆67Updated last year
- Hardware generator debugger☆71Updated 9 months ago
- YosysHQ SVA AXI Properties☆32Updated last year
- Basic Common Modules☆34Updated last week
- Hardware Formal Verification☆15Updated 4 years ago
- ☆52Updated 2 years ago
- Python library of AST nodes for SystemVerilog/VHDL, code generator, transpiler and translator☆31Updated 3 weeks ago
- AMC: Asynchronous Memory Compiler☆46Updated 4 years ago
- Verilog VPI module to dump FST (Fast Signal Trace) databases☆16Updated last year
- ☆36Updated 2 years ago
- AXI Adapter(s) for RISC-V Atomic Operations☆58Updated 2 months ago
- Using e-graphs to synthesize netlists from boolean logic.☆14Updated last year
- ☆21Updated 2 months ago
- Quasar 2.0: Chisel equivalent of SweRV-EL2☆28Updated 3 years ago
- SystemVerilog & Verilog Module I/O parser and printer☆25Updated 3 years ago
- SystemVerilog Functional Coverage for RISC-V ISA☆22Updated last month
- This repository is compilation of basics of System Verilog Assertions in context of formal verification☆18Updated 5 years ago
- Bitstream Fault Analysis Tool☆13Updated last year
- Proposed RISC-V Composable Custom Extensions Specification☆67Updated 6 months ago
- The PE for the second generation CGRA (garnet).☆16Updated 2 months ago
- Synthesizable real number library in SystemVerilog, supporting both fixed- and floating-point formats☆43Updated 3 years ago