Interactive design language: A unified approach to hardware simulation, synthesis and documentationL.I. MaisselD.L. Ostapko1982DAC 1982