Reasoning about timing behavior of digital circuits using symbolic event propagation and temporal logic.
Arijit MondalP. P. ChakrabartiPublished in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2006)
Keyphrases
- temporal logic
- digital circuits
- model checking
- finite state machines
- modal logic
- satisfiability problem
- concurrent systems
- data flow
- model based diagnosis
- modal operators
- computation tree logic
- verification method
- linear temporal logic
- bounded model checking
- functional decomposition
- qualitative simulation
- symbolic representation
- temporal knowledge
- transition systems
- qualitative reasoning
- circuit design
- formal verification
- formal specification
- belief revision
- dynamic programming