Automatic extraction of micro-architectural models of communication fabrics from register transfer level designs

S.J.C. Joosten, J. Schmaltz

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

5 Citaten (Scopus)
4 Downloads (Pure)

Samenvatting

Multi-core processors and Systems-on-Chips are composed of a large number of processing and memory elements interconnected by complex communication fabrics. These fabrics are large systems made of many queues and distributed control logic. Recent studies have demonstrated that high levels models of these networks are either tractable for verification or can provide key invariants to improve hardware model checkers. Formally verifying Register Transfer Level (RTL) designs of these networks is an important challenge, yet still open. This paper bridges the gap between high level models and RTL designs. We propose an algorithm that from a Verilog description automatically produces its corresponding micro-architectural model. We prove that the extracted model is transfer equivalent to the original RTL circuit. We illustrate our approach on a typical example of communication fabrics: a scoreboard with credit-flow control.
Originele taal-2Engels
Titel2015 Design, Automation & Test in Europe Conference & Exhibition (DATE, Grenoble, France, March 9-13, 2015)
Plaats van productiePiscataway NJ
UitgeverijInstitute of Electrical and Electronics Engineers
Pagina's1413-1418
ISBN van geprinte versie978-3-9815-3704-8
StatusGepubliceerd - 2015

Vingerafdruk Duik in de onderzoeksthema's van 'Automatic extraction of micro-architectural models of communication fabrics from register transfer level designs'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Joosten, S. J. C., & Schmaltz, J. (2015). Automatic extraction of micro-architectural models of communication fabrics from register transfer level designs. In 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE, Grenoble, France, March 9-13, 2015) (blz. 1413-1418). Institute of Electrical and Electronics Engineers.