An Efficient Logic Equivalence Checker for Industrial Circuits.

Jaehong Park Carl Pixley Michael Burns Hyunwoo Cho

Published in: J. Electron. Test. (2000)

Keyphrases

low power
logic circuits
delay insensitive
high speed
logic synthesis
tunnel diode
digital circuits
asynchronous circuits
database
logic programming
industrial applications
modal logic
quantum computing