Jiang Long, Andrew Seawright, Paparao Kavalipati. Multi-clock SVA synthesis without re-writing. In Proceedings of the 14th Asia South Pacific Design Automation Conference, ASP-DAC 2009, Yokohama, Japan, January 19-22, 2009. pages 648-653, IEEE, 2009. [doi]
Abstract is missing.