[IEEE Fourth ACM & IEEE International Conference on Formal Methods and Models for Co-Design. (MEMOCODE'06) - Napa, CA, USA (27-30 July 2006)] Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings. - Automatic decomposition for sequential equivalence checking of system level and RTL descriptions
Vasudevan, S., Abraham, J.A., Viswanath, V., Jiajin Tu,Year:
2006
Language:
english
DOI:
10.1109/memcod.2006.1695903
File:
PDF, 379 KB
english, 2006