年度 2011
論文名稱 Lynn C.-L. Chang and Charles H.-P. Wen, "Mining Unreachable Cross-timeframe State Pairs and Its Application on Bounded Sequential Equivalence Checking ," to appear in IEEE Workshop on Microprocessor Test and Verification (MTV'08), Dec. 2008
發表日期 2011-07-26