Formal equivalence checking between high-level and RTL hardware designs.
Carlos Ivan Castro MarquezMarius StrumJiang Chau WangPublished in: LATW (2013)
Keyphrases
- hardware designs
- high level
- model based diagnosis
- hardware description language
- low level
- programmable logic
- higher level
- knowledge level
- formal language
- integrated circuit
- low level features
- general purpose
- programming language
- formal methods
- hardware design
- intermediate level
- pattern recognition
- lower level
- formal model
- mathematical theory
- dynamic systems
- computer vision