Convertibility verification and converter synthesis: two faces of the same coin

Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli. Convertibility verification and converter synthesis: two faces of the same coin. In Lawrence T. Pileggi, Andreas Kuehlmann, editors, Proceedings of the 2002 IEEE/ACM International Conference on Computer-aided Design, 2002, San Jose, California, USA, November 10-14, 2002. pages 132-139, ACM, 2002. [doi]

Abstract

Abstract is missing.