Specification, simulation and automated design of interfaces and digital circuits Alice C. Parker 10.1184/R1/6469355.v1 https://kilthub.cmu.edu/articles/journal_contribution/Specification_simulation_and_automated_design_of_interfaces_and_digital_circuits/6469355 technical report 1979-01-01 00:00:00 Computer architecture. Digital electronics.