Coloquinte / moosic-yosys-plugin
Yosys plugin for logic locking and supply-chain security
☆22Updated 7 months ago
Alternatives and similar repositories for moosic-yosys-plugin:
Users that are interested in moosic-yosys-plugin are comparing it to the libraries listed below
- Characterizer☆21Updated 6 months ago
- ☆31Updated last month
- ☆32Updated 4 months ago
- An automatic clock gating utility☆43Updated 7 months ago
- ☆19Updated last year
- SystemVerilog Linter based on pyslang☆29Updated last month
- ☆36Updated 2 years ago
- SystemVerilog frontend for Yosys☆74Updated this week
- Python interface for cross-calling with HDL☆30Updated this week
- tools to help make the most of the limited space we have on the Google sponsored Efabless shuttles☆35Updated 2 years ago
- A tool that converts SystemVerilog to Verilog. Uses Design Compiler, so it is 100% compatible.☆39Updated last year
- A command-line tool for displaying vcd waveforms.☆51Updated last year
- Fully-differential asynchronous non-binary 12-bit SAR-ADC in SKY130, free to re-use under Apache-2.0 license☆39Updated 6 months ago
- Open source RTL simulation acceleration on commodity hardware☆23Updated last year
- A configurable SRAM generator☆42Updated last month
- AXI Formal Verification IP☆20Updated 3 years ago
- NetCracker is an FPGA architecture analysis tool for facilitating the investigation of connectivity patterns within as well as in between…☆14Updated 4 years ago
- Supplemental technology files for ASAP7 PDK with Synopsys design flow☆12Updated 2 years ago
- ☆9Updated last year
- Quick'n'dirty FuseSoC+cocotb example☆18Updated 2 months ago
- Python library for operations with VCD and other digital wave files☆47Updated 8 months ago
- submission repository for efabless mpw6 shuttle☆30Updated last year
- Open Source tool to build liberty files and for Characterizing Standard Cells.☆24Updated 4 years ago
- Python library for parsing module definitions and instantiations from SystemVerilog files☆22Updated 3 years ago
- A padring generator for ASICs☆25Updated last year
- An open source, parameterized SystemVerilog digital hardware IP library☆26Updated 8 months ago
- An open source PDK using TIGFET 10nm devices.☆47Updated 2 years ago
- Making cocotb testbenches that bit easier☆27Updated last month