Native deterministic logic simulation, synthesis, and finite-state equivalence engine for LogicDesign. - View it on GitHub