Wiring Circuits Is Easy as {0, 1, ω}, or Is It. . . (Artifact)

De Muijnck-Hughes, J. and Vanderbauwhede, W. (2023) Wiring Circuits Is Easy as {0, 1, ω}, or Is It. . . (Artifact). In: 37th European Conference on Object-Oriented Programming (ECOOP 2023), Seattle, WA, USA, 17-21 July 2023, 4:1-4:3. (doi: 10.4230/DARTS.9.2.4)

Abstract

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.

• Item Type: Conference Proceedings
• Additional Information: The work is funded by EPSRC grants: Border Patrol (EP/N028201/1) and AppControl (EP/V000462/1).
• Keywords: Hardware design, linear types, dependent types, DSLs, Idris, SystemVerilog, Netlists
• Status: Published
• Refereed: Yes
• Glasgow Author(s) Enlighten ID: Vanderbauwhede, Professor Wim and De Muijnck-Hughes, Dr Jan
• Authors: De Muijnck-Hughes, J., and Vanderbauwhede, W.
• College/School: College of Science and Engineering > School of Computing Science
• ISSN: 2509-8195
• Copyright Holders: Copyright © 2023 The Authors
• First Published: First published in DARTS 9(2):4.1-4.3, Special Issue of the 37th European Conference on Object-Oriented Programming (ECOOP 2023)
• Publisher Policy: Reproduced under a Creative Commons License

Project Code	Award No	Project Name	Principal Investigator	Funder's Name	Funder Ref	Lead Dept
172893		Border Patrol: Improving Hardware Security through Type-Aware Systems Design	Wim Vanderbauwhede	Engineering and Physical Sciences Research Council (EPSRC)	EP/N028201/1	Computing Science
309899		AppControl/C2AB: Capability-based Control of Application Behaviour	Wim Vanderbauwhede	Engineering and Physical Sciences Research Council (EPSRC)	EP/V000462/1	Computing Science