Digital circuits verification with consideration of destabilizing factors.
Richard GoldmanVazgen MelikyanEduard BabayanPublished in: IDT (2011)
Keyphrases
- digital circuits
- model based diagnosis
- model checking
- data flow
- finite state machines
- factors that influence
- factors that affect
- circuit design
- key factors
- factors affecting
- functional decomposition
- evolvable hardware
- factors influencing
- neural network
- databases
- asynchronous circuits
- verification method
- building blocks
- dynamic programming
- evolutionary algorithm
- relational databases
- data sets
- decision diagrams
- database