Wiring circuits is easy as 0, 1, omega, or is it... (Artifact)

Muijnck-Hughes, Jan de and Vanderbauwhede, Wim (2023) Wiring circuits is easy as 0, 1, omega, or is it... (Artifact). Dagstuhl Artifacts Ser., 9 (2). 4:1-4:3. (https://doi.org/10.4230/DARTS.9.2.4)

[thumbnail of Muijnck-Hughes-Vanderbauwhede-DARTS-2023-Wiring-circuits-is-easy-as]
Text. Filename: Muijnck_Hughes_Vanderbauwhede_DARTS_2023_Wiring_circuits_is_easy_as.pdf
Final Published Version
License: Creative Commons Attribution 4.0 logo

Download (535kB)| Preview


We present two proof-of-concept languages (Circuits & CirQTS) that showcases how fancy types (namely linear & dependent types) can enrich hardware design tooling such that we can move existing external static analysis checks into the language’s type-system. Using our approach will lead to the enhanced safety of designs, and increase in design productivity, through early identification and reduction of connection errors. This artefact presents our verified implementations (as realised in Idris2) of the simply (Circuits) and fancily typed (CirQTS) languages, and the test suite used to assess efficacy of our approach.