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 are the only way to achieve higher performance or lower energy consumption. Up to date, hardware design has been a hard, as we are using tools and languages from the last century.
We can learn from software development trends such as agile software development to efficiently develop and verify those accelerators. Chisel as 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 Chair
M. Schoeberl (DTU, DK),
Program Committee
- Schoeberl Martin, masca@dtu.dk, Technical University of Denmark
- Andrew Dobis, andrew.dobis@inf.ethz.ch, ETH Zurich
- Luca Pezzarossa, lpez@dtu.dk, Technical University of Denmark
- Kevin Laeufer, laeufer@berkeley.edu, University of California, Berkeley
- Jack Koenig, koenig@sifive.com, SiFive
- Andrew Lenharth, andrew.lenharth@sifive.com, SiFive
- Scott Beamer, sbeamer@ucsc.edu, University of California, Santa Cruz
Contact
M. Schoeberl (DTU, DK),
email: masca@dtu.dk