Efficient verification of determinate speed-independent circuits.

Peter A. Beerel Jerry R. Burch Teresa H.-Y. Meng

Published in: ICCAD (1993)

Keyphrases

high speed
artificial intelligence
cost effective
machine learning
genetic algorithm
website
data streams
petri net
formal verification
electronic circuits