Jiang Long (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Jiang Long, Andrew Seawright, Paparao Kavalipati: Multi-clock SVA synthesis without re-writing. ASP-DAC 2009: 648-653

3 Jiang Long, Andrew Seawright: Synthesizing SVA Local Variables for Formal Verification. DAC 2007: 75-80

Selection of 2 from 4 records - Jiang Long has 12 coauthors

4		Jiang Long, Andrew Seawright, Paparao Kavalipati: Multi-clock SVA synthesis without re-writing. ASP-DAC 2009: 648-653
3		Jiang Long, Andrew Seawright: Synthesizing SVA Local Variables for Formal Verification. DAC 2007: 75-80