ACV: an arithmetic circuit verifier.

Yirng-An Chen Randal E. Bryant

Published in: ICCAD (1996)

Keyphrases

micron cmos
high speed
circuit design
analog circuits
electronic circuits
arithmetic operations
databases
digital circuits
decision trees
bayesian networks
artificial neural networks
real time
website
e learning
social networks
single phase
artificial intelligence
power reduction
designated verifier
machine learning