Login / Signup
An Automatic Circuit Extractor for RTL Verification.
Tun Li
Yang Guo
Sikun Li
Published in:
Asian Test Symposium (2003)
Keyphrases
</>
high speed
fully automatic
data sets
neural network
model checking
database
real world
data driven