J Buck, R Vaidyanathan - … of the eighth international workshop on …, 2000 - dl.acm.org
This paper describes the functional specification and verification portions of El Greco, a
system for high-level, heterogeneous functional specification, efficient compiled simulation …