ASDeX: a formal specification for analog circuit enabling a full automated design validation.
Mingyu MaLars HedrichChristian SporrerPublished in: Des. Autom. Embed. Syst. (2014)
Keyphrases
- formal specification
- automated design
- analog circuits
- model checking
- object oriented design
- evolutionary design
- digital circuits
- engineering design
- fault diagnosis
- process algebra
- reverse engineering
- concurrent systems
- formal methods
- neural network
- security protocols
- design methodology
- finite state machines
- software components
- mechanism design
- low cost
- wireless sensor networks
- cooperative
- case study
- real world