Description and Reasoning of VLSI Circuit in Temporal Logic.
Akira FusaokaHirohisa SekiKazuko TakahashiPublished in: New Gener. Comput. (1984)
Keyphrases
- temporal logic
- temporal knowledge
- model checking
- high speed
- modal logic
- vlsi circuits
- satisfiability problem
- concurrent systems
- chip design
- linear temporal logic
- power dissipation
- verification method
- computation tree logic
- transition systems
- mazurkiewicz traces
- automata theoretic
- knowledge base
- belief revision
- reactive systems
- formal specification language
- gate array
- knowledge representation
- artificial intelligence
- reinforcement learning
- temporally extended goals
- bounded model checking
- logical framework
- temporally extended
- plan execution
- dynamic constraints
- knowledge representation and reasoning
- symbolic model checking
- logical formulas
- epistemic logic