@other{https://resolver.caltech.edu/CaltechTHESIS:05022012-105611552, title = "HEX: A Hierarchical Circuit Extractor", year = "1984", url = "https://resolver.caltech.edu/CaltechTHESIS:05022012-105611552", id = "record", doi = "10.7907/mptd-b683" } @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" }