On Hardware Verification In An Open Source Context

Ben Marshall

Research output: Contribution to conferenceConference Paperpeer-review

125 Downloads (Pure)


The last few decades have seen the complexity of commercial hardware designs increase by multiple orders of magnitude. This has driven corresponding increases in commercial tool capability and the development of industry standard methods to drive them. Over the same time period, open source hardware development has lagged severely behind in terms of the scale of attempted designs, as well as the tooling and methodology capability to realise them. This capability gap is particularly acute for verification flows. In this paper, we try to explain how this capability gap appeared, and what it means for a nascent open source EDA community. We also survey the state of the art in commercial verification techniques, and list alternative open source tools where available. Where open source alternatives are lacking, we make suggestions for closing the gap. We also discuss several human factors and challenges relevant to verification in an open source context, and suggest a change in mindset is needed to make open source hardware designs more trustworthy.
Original languageEnglish
Publication statusPublished - 29 Mar 2019
EventWorkshop on Open Source Design Automation - held in conjunction with the Design, Automation and Test in Europe Conference (DATE), Florence, Italy
Duration: 29 Mar 2019 → …


ConferenceWorkshop on Open Source Design Automation
Abbreviated titleOSDA
Period29/03/19 → …
Internet address


Dive into the research topics of 'On Hardware Verification In An Open Source Context'. Together they form a unique fingerprint.

Cite this