年度 2011
論文名稱 Lynn C.-L. Chang, Charles H.-P. Wen and Jayanta Bhadra, "Paper 16.1: Speeding up Bounded Sequential Equivalence Checking with Cross-Timeframe State-Pair Constraints from Data Learning, " Proc. Int'l Test Conference, (ITC'09), November 2009.
發表日期 2011-07-26