Python codes implementing some basic tools useful for logic synthesis, physical design and verification.
- Compiled Code Logic Simulator for SPICE-type netlists
- Combinational Logic Minimizer using ESPRESSO Heuristic
- Finite State Machine Minimizer using State Equivalence Checking and ESPRESSO Heuristic