dependentChisel

This is the Master thesis : Dependent Chisel: Statically-checked hardware designs based on Chisel and Scala 3, by Yuchen du https://github.com/doofin/dependentChisel/blob/master/Msc_Thesis_yuchen.pdf

It uses partial dependent types in Scala 3 to provide early error message for Chisel.

theories and related work

related work : https://github.com/doofin/dependentChisel/blob/master/resources.md

interop with chisel

Although scala 3 can invoke scala 2.13 libraries,chisel uses scala 2 macros different from scala 3 ,making it partially incompatible.

here are some proposed ways :

rewrite all macros and make everything compat
rewrite some macros and extend some base class
write a new frontend and emit firrtl

compile and run

This is a sbt project for Scala 3

run : `sbt run`
compile : `sbt compile` 

an simple adder example:

  class Adder1(using GlobalInfo) extends UserModule {
    val a = newIO[2](VarType.Input)
    val b = newIO[2](VarType.Input)
    val y = newIO[2](VarType.Output)

    y := a + b
  }

test

many tests under src/test can be run by sbt test

IDE support

Metals with vscode

IntelliJ

misc

with

git ls-files | grep '\.scala$' | xargs wc -l

chisel has 60927 total loc