@other{https://resolver.caltech.edu/CaltechTHESIS:04112012-091046970, title = "RTsim: A register transfer simulator", year = "1983", url = "https://resolver.caltech.edu/CaltechTHESIS:04112012-091046970", id = "record", doi = "10.7907/727m-mf30" }