Travelled to:1 × USA
Collaborated with:M.Theobald M.M.Deneroff R.O.Dror J.Gagliardo D.E.Shaw
Talks about:identifi (1) intrins (1) coverag (1) verifi (1) formal (1) condit (1) verif (1) point (1) logic (1) earli (1)
Person: Richard C. Ho
DBLP: Ho:Richard_C=
Contributed to:
2008Wrote 1 papers:
- DAC-2008-HoTDDGS #identification #logic #verification
- Early formal verification of conditional coverage points to identify intrinsically hard-to-verify logic (RCH, MT, MMD, ROD, JG, DES), pp. 268–271.