Murali Kudlugi, Charles Selvidge, Russell Tessier. Static Scheduling of Multiple Asynchronous Domains For Functional Verification. In Proceedings of the 38th Design Automation Conference, DAC 2001, Las Vegas, NV, USA, June 18-22, 2001. pages 647-652, ACM, 2001. [doi]
Abstract is missing.