|
Search the dblp DataBase
Jiang Long:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Dong Wang, Pei-Hsin Ho, Jiang Long, James H. Kukula, Yunshan Zhu, Hi-Keung Tony Ma, Robert F. Damiano
Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines. [Citation Graph (0, 0)][DBLP] DAC, 2001, pp:35-40 [Conf]
- Pei-Hsin Ho, Thomas R. Shiple, Kevin Harer, James H. Kukula, Robert F. Damiano, Valeria Bertacco, Jerry Taylor, Jiang Long
Smart Simulation Using Collaborative Formal and Simulation Engines. [Citation Graph (0, 0)][DBLP] ICCAD, 2000, pp:120-126 [Conf]
- Jiang Long, Andrew Seawright
Synthesizing SVA Local Variables for Formal Verification. [Citation Graph (0, 0)][DBLP] DAC, 2007, pp:75-80 [Conf]
Multi-clock SVA synthesis without re-writing. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|