Hardware verification using ANSI-C programs as a reference

• 1 January 2003
• conference paper
• Published by Association for Computing Machinery (ACM)
• p. 308-311
• https://doi.org/10.1145/1119772.1119831

Abstract