DESB, a functional abstractor for CMOS VLSI circuits. - Marc Laurentin; Alain Greiner; Roland Marbot (EURO-DAC, 1992)