Cost-effective co-verification using RTL-accurate C models

P. P. Jain. Cost-effective co-verification using RTL-accurate C models. In International Symposium on Circuits and Systems (ISCAS 1999), May 30 - June 2, 1999, Orlando, Florida, USA. pages 460-463, IEEE, 1999. [doi]

Abstract

Abstract is missing.