Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems.
Phan Cong VinhJonathan P. BowenPublished in: ECBS (2005)
Keyphrases
- computing systems
- formal verification
- model checking
- model based diagnosis
- computer systems
- computing technologies
- field programmable gate array
- bounded model checking
- symbolic model checking
- automated verification
- model checker
- autonomic computing systems
- low cost
- computing platform
- hardware platforms
- high end
- general purpose
- autonomic computing
- databases
- hardware implementation
- temporal logic
- specification language
- parallel architectures
- knowledge representation
- high level
- case study
- machine learning