Advances in Formal Methods for the Design of Analog/Mixed-Signal Systems: Invited.
Vladimir DubikhinChris J. MyersDanil SokolovIoannis SyranidisAlexandre YakovlevPublished in: DAC (2017)
Keyphrases
- formal methods
- mixed signal
- safety critical
- artificial intelligence
- knowledge based systems
- low power
- digital circuits
- model checking
- vlsi circuits
- formal specification language
- software engineering
- low cost
- design process
- modeling language
- formal specification
- analog to digital converter
- knowledge acquisition
- high speed
- power consumption
- machine learning
- low voltage
- case study