Enhancing robustness of sequential circuits using application-specific knowledge and formal methods.
Sebastian HuhnStefan FrehseRobert WilleRolf DrechslerPublished in: ASP-DAC (2017)
Keyphrases
- application specific
- formal methods
- general purpose
- knowledge based systems
- formal analysis
- knowledge base
- knowledge management
- domain knowledge
- knowledge representation
- formal specification
- high bandwidth
- model checker
- model checking
- data model
- cad cam
- open source
- high speed
- design process
- expert systems
- artificial intelligence
- development lifecycle