Abstract / Description of output
Modern Hardware Description Languages (HDLs) such as SystemVerilog or VHDL are, due to their sheer complexity, insufficient to transport designs through modern circuit de- sign flows. Instead, each design automation tool lowers HDLs to its own Intermediate Representation (IR). These tools are monolithic and mostly proprietary, disagree in their imple- mentation of HDLs, and while many redundant IRs exists, no IR today can be used through the entire circuit design flow. To solve this problem, we propose the LLHD multi- level IR. LLHD is designed as simple, unambiguous reference description of a digital circuit, yet fully captures existing HDLs. We show this with our reference compiler on designs as complex as full CPU cores. LLHD comes with lowering passes to a hardware-near structural IR, which readily in- tegrates with existing tools. LLHD establishes the basis for innovation in HDLs and tools without redundant compil- ers or disjoint IRs. For instance, we implement an LLHD simulator that runs up to 2.4× faster than commercial sim- ulators but produces equivalent, cycle-accurate results. An initial vertically-integrated research prototype is capable of representing all levels of the IR, implements lowering from the behavioural to the structural IR, and covers a sufficient subset of SystemVerilog to support a full CPU design.
Original language | English |
---|---|
Title of host publication | Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation |
Publisher | ACM |
Pages | 258–271 |
Number of pages | 14 |
ISBN (Print) | 9781450376136 |
DOIs | |
Publication status | Published - 11 Jun 2020 |
Event | 41st ACM SIGPLAN Conference on Programming Language Design and Implementation - London, United Kingdom Duration: 15 Jun 2020 → 20 Jun 2020 Conference number: 41 https://conf.researchr.org/home/pldi-2020 |
Conference
Conference | 41st ACM SIGPLAN Conference on Programming Language Design and Implementation |
---|---|
Abbreviated title | PLDI 2020 |
Country/Territory | United Kingdom |
City | London |
Period | 15/06/20 → 20/06/20 |
Internet address |