Multi-clock SVA synthesis without re-writing. - Jiang Long; Andrew Seawright; Paparao Kavalipati (ASP-DAC, 2009)