A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study.
Steve HaynalTimothy KamMichael KishinevskyEmily ShriverXinning WangPublished in: MEMOCODE (2008)
Keyphrases
- case study
- hardware designs
- hardware description language
- model based diagnosis
- high level
- integrated circuit
- hardware design
- rewriting rules
- lessons learned
- frame rate
- object oriented
- rewrite rules
- conjunctive queries
- query rewriting
- special case
- data abstraction
- business process
- software development
- programmable logic
- state space
- real world