![](/img/cover-not-exists.png)
An Efficient Logic Equivalence Checker for Industrial Circuits
Jaehong Park, Carl Pixley, Michael Burns, Hyunwoo ChoVolume:
16
Language:
english
Pages:
16
DOI:
10.1023/a:1008349024680
Date:
February, 2000
File:
PDF, 109 KB
english, 2000