Publications

• Dong Wang, Jeremy Levitt, "Automatic Assume Guarantee Analysis for Assertion-Based Formal Verification", ASP-DAC, 2005. pdf
• Dong Wang. SAT based Abstraction Refinement for Hardware Verification. Ph.D. thesis, May 2003. pdf
• Edmund Clarke, Muralidhar Talupur, Helmut Veith, Dong Wang, "SAT based Predicate Abstraction for Hardware Verification", SAT, 2003. pdf
• Edmund Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang, "High Level Verification of Control Intensive Systems Using Predicate Abstraction", MEMOCODE, 2003. pdf
• Edmund Clarke, Orna Grumberg, Muralidhar Talupur, Dong Wang, "Making Predicate Abstraction Efficient: How to eliminate redundant predicates", submitted for publication, 2003. pdf
• Pankaj Chauhan, Edmund Clarke, James Kukula, Samir Sapra, Helmut Veith, Dong Wang, Automated Abstraction Refinement for Model Checking Large State Spaces using SAT based Conflict Analysis, FMCAD, 2002. pdf
• Pankaj Chauhan, Edmund Clarke, Somesh Jha, Jim Kukula, Tom Shiple, Helmut Veith, Dong Wang. Non-linear Quantification Scheduling in Image Computation. ICCAD, 2001. pdf
• Dong Wang, Edmund Clarke, Yunshan Zhu, Jim Kukula. Using Cutwidth to Improve Symbolic Simulation and Boolean Satisfiability. HLDVT, 2001. pdf ppt slides with updated results
• Pankaj Chauhan, Edmund Clarke, Somesh Jha, Jim Kukula, Helmut Veith, Dong Wang. Using Combinatorial Optimization Methods for Quantification Scheduling. CHARME'01, 2001. pdf
• Dong Wang, Pei-Hsin Ho, Jiang Long, James Kukula, Yunshan Zhu, Tony Ma, Robert Damiano. Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines. 38th Design Automation Conference (DAC'01), 2001. pdf ppt slides
• Edmund Clarke, Steve German, Yuan Lu, Helmut Veith, Dong Wang, Excutable Protocol Specifications in ESL. Formal Methods in Computer-Aided Design (FMCAD'00), 2000. pdf ppt slides
• Edmund Clarke, Somesh Jha, Yuan Lu, and Dong Wang. Abstract BDDs: A Technique for Using Abstraction in Model Checking. Proceedings of CHARME'99, in LNCS 1703. September, 1999. pdf
• Dong Wang. Formal Verification of the PCI Local Bus: A Step Towards IP Core Based System-On-Chip Design Verification. Master thesis, 1999. pdf
• Pankaj Chauhan, Edmund Clarke, Yuan Lu, and Dong Wang. Verifying IP-Core Based System-on-chip Designs. IEEE Intl. ASIC/SOC Conference, 1999. pdf