DSD Special Session
Scope
Performance increase with general-purpose processors has come to a halt. We can no longer depend on Moore’s Law to increase computing performance. Building domain-specific hardware accelerators is the only way to achieve higher performance or lower energy consumption. To date, hardware design has been challenging, as we are using tools and languages from the last century.
We can learn from software development trends such as agile software development to develop and verify those accelerators efficiently. Chisel, as a domain-specific hardware construction language embedded in Scala, leverages actual software methods for hardware construction and verification.
Topics
Topics of interest include, but are not limited to:
- Digital designs using Chisel
- Hardware generators in Scala and Chisel
- Extensions of the Chisel language
- Chisel in teaching
- Chisel libraries
- Design verification with Chisel and ChiselTest
- Formal verification of Chisel designs
- FIRRTL compiler, including CIRCT
- FIRRTL transformation and optimization paths
- Combining Chisel with UVM or cocotb for verification
- Other hardware construction languages
Special Session Chairs
- Martin Schoeberl (Technical University of Denmark, Denmark), email: masca@dtu.dk
Technical Program Committee
TBD