Jiang Long

Formal property verification by abstraction refinement with formal, simulation and hybrid engines

Jiang Long, Dong Wang, James H. Kukula, 2001, Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232).

An Approach to Accessing to DB2 by Means of Dynamic SQL In VC6

Jiang Long, Jiang Long, 2001 .

Smart simulation using collaborative formal and simulation engines

Jiang Long, Valeria Bertacco, Kevin Harer, 2000, IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).

Reasoning about High-Level Constructs in Hardware/Software Formal Verification

Jiang Long, Jiang Long, 2017 .

LEC: Learning Driven Data-path Equivalence Checking

Robert K. Brayton, Jiang Long, Michael L. Case, 2013, DIFTS@FMCAD.