Computer-Aided Digital System Design and Analysis Using a Register Transfer LanguageHerbert Schorr1964IEEE Transactions on Electronic Computers