A functional approach to formal hardware verification: the MTI experience.

Dominique Borrione, Paolo Camurati, J. L. Paillet, Paolo Prinetto

Browse the full ICCD paper archive.