Coloquinte / moosic-yosys-pluginLinks
Yosys plugin for logic locking and supply-chain security
☆22Updated 2 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
Sorting:
- ☆32Updated 5 months ago
- Characterizer☆23Updated 2 weeks ago
- An Open-Source Toolchain for Top-Metal IC Art and Ultra-High-Fidelity GDSII Renders☆14Updated last month
- An automatic clock gating utility☆48Updated last month
- NetCracker is an FPGA architecture analysis tool for facilitating the investigation of connectivity patterns within as well as in between…☆17Updated 4 years ago
- ☆44Updated 2 months ago
- submission repository for efabless mpw6 shuttle☆30Updated last year
- Open source RTL simulation acceleration on commodity hardware☆27Updated 2 years ago
- A Python package for generating HDL wrappers and top modules for HDL sources☆33Updated 3 weeks ago
- A configurable SRAM generator☆50Updated last week
- SystemVerilog Linter based on pyslang☆30Updated last month
- Fully-differential asynchronous non-binary 12-bit SAR-ADC in SKY130, free to re-use under Apache-2.0 license☆41Updated 2 months ago
- An open source PDK using TIGFET 10nm devices.☆48Updated 2 years ago
- Quick'n'dirty FuseSoC+cocotb example☆18Updated 6 months ago
- Open-source RHBD (Radiation Hardened by Design) Standard-Cell Library for SKY130☆6Updated 2 weeks ago
- tools to help make the most of the limited space we have on the Google sponsored Efabless shuttles☆36Updated 2 years ago
- YosysHQ SVA AXI Properties☆39Updated 2 years ago
- ☆36Updated 2 years ago
- Python script to transform a VCD file to wavedrom format☆77Updated 2 years ago
- Guides and templates for using open source RF design tools with the SkyWater SKY130 process.☆19Updated 4 years ago
- fakeram generator for use by researchers who do not have access to commercial ram generators☆37Updated 2 years ago
- Python interface for cross-calling with HDL☆32Updated 2 weeks ago
- Python library for operations with VCD and other digital wave files☆51Updated last year
- Open Source tool to build liberty files and for Characterizing Standard Cells.☆27Updated 4 years ago
- AMC: Asynchronous Memory Compiler☆48Updated 4 years ago
- CVC: Circuit Validity Checker. Check for errors in CDL netlist.☆22Updated 5 months ago
- ☆10Updated last year
- An Open-Source Silicon Compiler for Reduced-Complexity Reconfigurable Fabrics☆11Updated 2 weeks ago
- Gate-level visualization generator for SKY130-based chip designs.☆19Updated 3 years ago
- Trying to verify Verilog/VHDL designs with formal methods and tools☆41Updated last year