Deepak42074 / Sky130-RTL-Design-And-Synthesis-Using-Verilog
☆10Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for Sky130-RTL-Design-And-Synthesis-Using-Verilog
- Open source RTL simulation acceleration on commodity hardware☆22Updated last year
- ☆22Updated 5 years ago
- ☆18Updated 10 years ago
- A lightweight core for the CV32E40 implementing the RISC-V vector extension specification. (v0.8)☆30Updated 3 years ago
- SystemVerilog Functional Coverage for RISC-V ISA☆22Updated last month
- Contains FPGA benchmarks for Vivado HLS and Catapult HLS☆24Updated 4 years ago
- Xilinx AXI VIP example of use☆32Updated 3 years ago
- A barebones 64-bit RISC-V micro-controller class CPU, implementing the I(nteger), M(ul/div), C(ompressed) and K(ryptography) extensions.☆43Updated 2 years ago
- SystemVerilog Linter based on pyslang☆23Updated 8 months ago
- Development of a Network on Chip Simulation using SystemC.☆31Updated 7 years ago
- Design of 1024x32 SRAM (32Kbits) using OpenRAM and SKY130 PDKs with operating voltage of 1.8V and access time < 2.5ns☆63Updated 3 years ago
- AutoSVA is a tool to automatically generate formal testbenches for unit-level RTL verification. The goal is to, based on annotations made…☆73Updated 7 months ago
- Advanced Architecture Labs with CVA6☆49Updated 10 months ago
- An open source, parameterized SystemVerilog digital hardware IP library☆23Updated 5 months ago
- ☆34Updated 10 months ago
- Python/C/RTL cosimulation with Xilinx's xsim simulator☆64Updated 2 months ago
- DUTH RISC-V Superscalar Microprocessor☆28Updated 3 weeks ago
- ☆25Updated 4 years ago
- Base on Synopsys platform using VCS,DC,ICC,PT.☆11Updated 3 years ago
- Algorithmic C Machine Learning Library☆22Updated 3 months ago
- SystemC training aimed at TLM.☆26Updated 4 years ago
- Constrained RAndom Verification Enviroment (CRAVE)☆16Updated 11 months ago
- Digital Hardware Modelling using VHDL, Verilog, SystemVerilog, SystemC, HLS(C++, OpenCL)☆59Updated 3 years ago
- ☆19Updated this week
- SystemVerilog FSM generator☆26Updated 6 months ago
- RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores☆60Updated this week
- This repository documents the learning from VSD "RTL Design Using Verilog With SKY130 Technology" workshop☆31Updated 3 years ago
- Introductory course into static timing analysis (STA).☆66Updated 2 weeks ago
- ☆20Updated last week
- ☆39Updated 2 years ago