scala 8 rtl 7 chip-generator 6 verilog 5 chisel3 5 firrtl 5 golang 4 riscv 3 rocket-chip 3 tunnel 3 docker 2 declarative 2 verification 2 testing 2 tcp 2 risc-v 2 microarchitecture 2 coverage 1 functional-coverage 1 constrained-random-verification 1 chisel-test 1 bus-functional-model 1 timed-assertions 1 https 1 reverse-tunnel 1 ssl 1 formal 1 web-proxy 1 vue 1 grpc-web 1 grpc 1 visualization 1 transpiler 1 eda 1 riscv-boom 1 boom 1 berkeley 1