On automatic verification of SLIDE descriptions John J. Wallace 10.1184/R1/6469094.v1 https://kilthub.cmu.edu/articles/journal_contribution/On_automatic_verification_of_SLIDE_descriptions/6469094 technical report 1979-01-01 00:00:00 Digital electronics. Synchronization.