Stars
12
stars
written in C
Clear filter
ABC: System for Sequential Logic Synthesis and Formal Verification
This repository contain source code for ngspice and ghdl integration
YosysHQ / abc
Forked from berkeley-abc/abcABC: System for Sequential Logic Synthesis and Formal Verification
CRC Theory and Implement. explain initial value of CRC