Subrata Dasgupta On the Verification of Computer Architectures Using an Architecture Description Language 32-38 conf/isca/83 ISCA 1983 db/conf/isca/isca83.html#Dasgupta83