1 × France
1 × USA
Z.Hanna C.H.Seger D.Kaiss F.Lu L.Wang K.Cheng
difficult (1) industri (1) equival (1) conquer (1) solver (1) signal (1) elimin (1) correl (1) combin (1) clever (1)
Person: John Moondanos
Wrote 2 papers:
- DAC-2003-LuWCMH #case study #correlation #industrial
- A signal correlation guided ATPG solver and its applications for solving difficult industrial cases (FL, LCW, KTC, JM, ZH), pp. 436–441.
- CAV-2001-MoondanosSHK #divide and conquer #equivalence #logic #named #verification
- CLEVER: Divide and Conquer Combinational Logic Equivalence VERification with False Negative Elimination (JM, CJHS, ZH, DK), pp. 131–143.