Formal VLSI specification and synthesis : VLSI design methods-1 : proceedings of the IFIP WG 10.2/WG 10.5 International Workshop on Applied Formal Methods for Correct VLSI Design sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 / edited by Luc J.M. Claesen.