共 18 条
[2]
Feng Z., 2016, P IEEE ACM DAC
[3]
Feng Z., 2013, P IEEE ACM DAC
[5]
Ghani NHA, 2009, DES AUT CON, P184
[6]
GOYAL A, 2011, AUT TEST EUROPE, P257
[7]
Incremental partitioning-based vectorless power grid verification
[J].
ICCAD-2005: INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, DIGEST OF TECHNICAL PAPERS,
2005,
:358-364
[8]
Kouroussis D, 2003, DES AUT CON, P99