Static scheduling of multidomain circuits for fast functional verification

Murali Kudlugi, Russell Tessier. Static scheduling of multidomain circuits for fast functional verification. IEEE Trans. on CAD of Integrated Circuits and Systems, 21(11):1253-1268, 2002. [doi]

Abstract

Abstract is missing.