[IEEE International Conference on Computer Aided Design (ICCAD) - San Jose, CA, USA (5-9 Nov. 2000)] IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140) - Smart simulation using collaborative formal and simulation engines
Pei-Hsin Ho,, Shiple, T., Harer, K., Kukula, J., Damiano, R., Bertacco, V., Taylor, J., Jiang Long,Year:
2000
Language:
english
DOI:
10.1109/iccad.2000.896461
File:
PDF, 790 KB
english, 2000