ChiselVerify: An Open-Source Hardware Verification Library for Chisel and Scala.
Andrew DobisTjark PetersenHans Jakob DamsgaardKasper Juul Hesse RasmussenEnrico TolottoSimon Thye AndersenRichard LinMartin SchoeberlPublished in: NorCAS (2021)
Keyphrases
- open source
- cross platform
- hardware designs
- open source software
- hardware and software
- real time
- low cost
- source code
- computer systems
- software package
- open source projects
- hardware implementation
- computing power
- vlsi implementation
- case study
- formal verification
- embedded systems
- massively parallel
- computing systems
- parallel hardware
- high level programming
- signature verification
- processing capabilities
- computational power
- model checking
- general purpose
- image processing
- data sets