Login / Signup
A semi-formal approach for analog circuits behavioral properties verification.
Ons Lahiouel
Henda Aridhi
Mohamed H. Zaki
Sofiène Tahar
Published in:
ACM Great Lakes Symposium on VLSI (2014)
Keyphrases
</>
analog circuits
digital circuits
formal methods
model checking
formal model
neural network
artificial intelligence
pattern recognition
fault diagnosis
desirable properties
formal analysis
machine learning
formal verification