Transe: An Experimental Transformation Assistant for Digital Circuit Design

Guy Durrieu, Kamel Kessaci, Michel Lemaître. Transe: An Experimental Transformation Assistant for Digital Circuit Design. In Jørgen Staunstrup, Robin Sharp, editors, Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992. Volume A-5 of IFIP Transactions, pages 103-118, North-Holland, 1992.

Possibly Related Publications

The following publications are possibly variants of this publication: