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.
|Publication status||Published - 29 Mar 2019|
|Event||Workshop on Open Source Design Automation - held in conjunction with the Design, Automation and Test in Europe Conference (DATE), Florence, Italy|
Duration: 29 Mar 2019 → …
|Conference||Workshop on Open Source Design Automation|
|Period||29/03/19 → …|