Pascal Urard Asma Maalej Roberto Guizzetti Nitin Chawla Leveraging sequential equivalence checking to enable system-level to RTL flows. 816-821 2008 DAC http://doi.acm.org/10.1145/1391469.1391677 conf/dac/2008 db/conf/dac/dac2008.html#UrardMGC08