| |
| | [No title] |
 | | DONG WANG 3245 Beechwood Blvd APT F24 Pittsburgh, PA 15217 Phone: 412-268-3621 E-mail: dongw@cs.cmu.edu URL: www.cs.cmu.edu/~dongw _____________________________________________________________ OBJECTIVE A challenging R&D position in the fields of formal verification, computer aided design, and integrated circuit design and verification. |
 | | Dong Wang, Edmund Clarke, Yunshan Zhu, James Kukula, "Using Cutwidth to Improve Symbolic Simulation and Boolean Satisfiability", HLDVT, 2001. |
 | | 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", DAC, 2001. |
| www.cs.cmu.edu /People/dongw/resume.txt (1076 words) |
|