/blif-verifier

Simple utility that generates C equivalence checkers for pairs of circuits. [COMPLETE]

Primary LanguageC++

Watchers