摘要
Y2002-63059-163 0210853用于C循环冗余识别的时序逻辑横越图框架=Agraph traversal based framework for sequential logic im-plication with an application to c-cycle redundancy identi-fication〔会,英〕/Zhao,J.-K.& Newquist,J.A.//2001 IEEE the 14th International Conference on VLSIDesign.—163~169(E)
出处
《电子科技文摘》
2002年第6期53-54,共2页
Sci.& Tech.Abstract