HFMV: hybridizing formal methods and machine learning for verification of analog and mixed-signal circuits.
Hanbin HuQingran ZhengYa WangPeng LiPublished in: DAC (2018)
Keyphrases
- mixed signal
- formal methods
- machine learning
- low power
- multi channel
- vlsi circuits
- model checking
- model checker
- digital circuits
- cmos technology
- artificial intelligence
- low cost
- high speed
- formal analysis
- safety critical
- formal specification
- power consumption
- knowledge based systems
- power dissipation
- low voltage
- finite state machines
- development lifecycle
- real time
- digital signal processing
- knowledge acquisition
- software engineering
- analog vlsi
- natural language