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