Verifying an Arbiter Circuit.

Chao Yan Mark R. Greenstreet

Published in: FMCAD (2008)

Keyphrases

circuit design
high speed
analog circuits
delay insensitive
model checking
data mining
digital circuits
logic circuits
duty cycle
image processing
low cost
power reduction