CESC: a visual formalism for specification and verification of SoCs.
Ambar A. GadkariS. RameshRubin A. ParekhjiPublished in: ACM Great Lakes Symposium on VLSI (2004)
Keyphrases
- formal verification
- model checking
- transition systems
- asynchronous circuits
- formal methods
- process algebra
- visual information
- high level
- visual features
- visual cues
- visual perception
- low level
- formal language
- operational semantics
- concurrent systems
- knowledge representation
- verification method
- visual data
- visual appearance
- learning algorithm
- temporal logic
- conceptual model
- knowledge base
- computer vision
- search engine