publication venue for MSYN - AUTOMATIC SYNTHESIS OF HARDWARE 1989 TESTABLE DESIGN WITH PLA MACROS 1985 ZERO DELAY ELEMENTS IN LOGIC SIMULATION 1985