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

Roberto Passerone, Luca de Alfaro, Thomas A. Henzinger, Alberto L. Sangiovanni-Vincentelli

Browse the full ICCAD paper archive.