Ton Kalker. Formal methods for silicon compilation. In Tony Ambler, Jochen A. G. Jess, Hugo De Man, editors, Proceedings of the conference on European design automation, EURO-DAC'91, Amsterdam, The Netherlands, 1991. pages 395-400, EEE Computer Society, 1991. [doi]
Abstract is missing.