Design with race-free hardware semantics

Abstract

Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validation of hardware. Enforcing determinacy at the modeling level provides a solution to this problem. In this paper, we consider a common model of computation for hardware modeling - a… (More)

Topics

3 Figures and Tables

Slides referencing similar topics