An Equivalence Verification Methodology for Combinational Asynchronous PCHB Circuits.

Ashiq A. Sakib Scott C. Smith Sudarshan K. Srinivasan

Published in: MWSCAS (2018)

Keyphrases

asynchronous circuits
delay insensitive
model checking
logic circuits
social networks
case study
high speed
databases
genetic algorithm
information systems