[IEEE 2002 IEEE/ACM International Conference on Computer Aided Design (ICCAD) - San Jose, CA, USA (10-14 Nov. 2002)] IEEE/ACM International Conference on Computer Aided Design, 2002. ICCAD 2002. - Convertibility verification and converter synthesis: two faces of the same coin [IP block interfaces]
Passerone, R., de Alfaro, L., Henzinger, T.A., Sangiovanni-Vincentelli, A.L.Year:
2002
Language:
english
DOI:
10.1109/iccad.2002.1167525
File:
PDF, 612 KB
english, 2002