2026-07-22T11:56:10Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:18244 2024-03-06T11:05:19Z ddc:004 open_access

Wiring Circuits Is Easy as {0, 1, ω}, or Is It... (Artifact) de Muijnck-Hughes, Jan Vanderbauwhede, Wim Hardware Design Linear Types Dependent Types DSLs Idris SystemVerilog Netlists 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Jan de Muijnck-Hughes and Wim Vanderbauwhede 2023 Is Part Of DARTS, Volume 9, Issue 2, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DARTS.9.2.4 urn:nbn:de:0030-drops-182442 https://drops.dagstuhl.de/entities/document/10.4230/DARTS.9.2.4 eng https://creativecommons.org/licenses/by/4.0/legalcode