{"id":"https://openalex.org/W6940578294","doi":"https://doi.org/10.7907/4r8f-wf03","title":"Rigorous Analog Verification of Asynchronous Circuits","display_name":"Rigorous Analog Verification of Asynchronous Circuits","publication_year":2006,"publication_date":"2006-01-24","ids":{"openalex":"https://openalex.org/W6940578294","doi":"https://doi.org/10.7907/4r8f-wf03"},"language":"en","primary_location":{"id":"pmh:oai:thesis.library.caltech.edu:155","is_oa":true,"landing_page_url":null,"pdf_url":"https://thesis.library.caltech.edu/155/1/main.pdf","source":{"id":"https://openalex.org/S4306402402","display_name":"CaltechTHESIS (California Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I122411786","host_organization_name":"California Institute of Technology","host_organization_lineage":["https://openalex.org/I122411786"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},"type":"dissertation","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://thesis.library.caltech.edu/155/1/main.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Papadantonakis, Karl Spyros","orcid":null},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Papadantonakis, Karl Spyros","raw_affiliation_strings":["California Institute of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"California Institute of Technology","institution_ids":["https://openalex.org/I122411786"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I122411786"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":{"id":"https://openalex.org/T10451","display_name":"Mycorrhizal Fungi and Plant Interactions","score":0.6032999753952026,"subfield":{"id":"https://openalex.org/subfields/1110","display_name":"Plant Science"},"field":{"id":"https://openalex.org/fields/11","display_name":"Agricultural and Biological Sciences"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10451","display_name":"Mycorrhizal Fungi and Plant Interactions","score":0.6032999753952026,"subfield":{"id":"https://openalex.org/subfields/1110","display_name":"Plant Science"},"field":{"id":"https://openalex.org/fields/11","display_name":"Agricultural and Biological Sciences"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10015","display_name":"Genomics and Phylogenetic Studies","score":0.1256999969482422,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10825","display_name":"Plant Pathogens and Fungal Diseases","score":0.04039999842643738,"subfield":{"id":"https://openalex.org/subfields/1307","display_name":"Cell Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.7641000151634216},{"id":"https://openalex.org/keywords/analogue-electronics","display_name":"Analogue electronics","score":0.6270999908447266},{"id":"https://openalex.org/keywords/asynchronous-circuit","display_name":"Asynchronous circuit","score":0.5322999954223633},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5289999842643738},{"id":"https://openalex.org/keywords/digital-electronics","display_name":"Digital electronics","score":0.5188999772071838},{"id":"https://openalex.org/keywords/electronic-circuit","display_name":"Electronic circuit","score":0.4449000060558319},{"id":"https://openalex.org/keywords/pipeline","display_name":"Pipeline (software)","score":0.4413999915122986},{"id":"https://openalex.org/keywords/mixed-signal-integrated-circuit","display_name":"Mixed-signal integrated circuit","score":0.4408999979496002},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.4318000078201294}],"concepts":[{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.7641000151634216},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7182999849319458},{"id":"https://openalex.org/C29074008","wikidata":"https://www.wikidata.org/wiki/Q174925","display_name":"Analogue electronics","level":3,"score":0.6270999908447266},{"id":"https://openalex.org/C87695204","wikidata":"https://www.wikidata.org/wiki/Q629971","display_name":"Asynchronous circuit","level":5,"score":0.5322999954223633},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5289999842643738},{"id":"https://openalex.org/C81843906","wikidata":"https://www.wikidata.org/wiki/Q173156","display_name":"Digital electronics","level":3,"score":0.5188999772071838},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.4659999907016754},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.4449000060558319},{"id":"https://openalex.org/C43521106","wikidata":"https://www.wikidata.org/wiki/Q2165493","display_name":"Pipeline (software)","level":2,"score":0.4413999915122986},{"id":"https://openalex.org/C62907940","wikidata":"https://www.wikidata.org/wiki/Q1541329","display_name":"Mixed-signal integrated circuit","level":3,"score":0.4408999979496002},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.4318000078201294},{"id":"https://openalex.org/C7923308","wikidata":"https://www.wikidata.org/wiki/Q4812211","display_name":"Asynchronous system","level":5,"score":0.4242999851703644},{"id":"https://openalex.org/C46362747","wikidata":"https://www.wikidata.org/wiki/Q173431","display_name":"CMOS","level":2,"score":0.42170000076293945},{"id":"https://openalex.org/C90915687","wikidata":"https://www.wikidata.org/wiki/Q63759","display_name":"Analog computer","level":2,"score":0.420199990272522},{"id":"https://openalex.org/C194571574","wikidata":"https://www.wikidata.org/wiki/Q2251187","display_name":"Linear circuit","level":4,"score":0.41670000553131104},{"id":"https://openalex.org/C99498987","wikidata":"https://www.wikidata.org/wiki/Q2210247","display_name":"Noise (video)","level":3,"score":0.41519999504089355},{"id":"https://openalex.org/C98142538","wikidata":"https://www.wikidata.org/wiki/Q485005","display_name":"Analog multiplier","level":4,"score":0.3855000138282776},{"id":"https://openalex.org/C28525508","wikidata":"https://www.wikidata.org/wiki/Q4751054","display_name":"Analog image processing","level":5,"score":0.37070000171661377},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.367000013589859},{"id":"https://openalex.org/C90711627","wikidata":"https://www.wikidata.org/wiki/Q3742408","display_name":"Analog device","level":4,"score":0.3407999873161316},{"id":"https://openalex.org/C18789546","wikidata":"https://www.wikidata.org/wiki/Q1341206","display_name":"Hybrid computer","level":2,"score":0.3343999981880188},{"id":"https://openalex.org/C379707","wikidata":"https://www.wikidata.org/wiki/Q2328303","display_name":"Analog signal processing","level":4,"score":0.3140999972820282},{"id":"https://openalex.org/C13412647","wikidata":"https://www.wikidata.org/wiki/Q174948","display_name":"Analog signal","level":3,"score":0.29679998755455017},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.29670000076293945},{"id":"https://openalex.org/C530198007","wikidata":"https://www.wikidata.org/wiki/Q80831","display_name":"Integrated circuit","level":2,"score":0.27459999918937683},{"id":"https://openalex.org/C113089479","wikidata":"https://www.wikidata.org/wiki/Q210729","display_name":"Electrical element","level":2,"score":0.26499998569488525}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:thesis.library.caltech.edu:155","is_oa":true,"landing_page_url":null,"pdf_url":"https://thesis.library.caltech.edu/155/1/main.pdf","source":{"id":"https://openalex.org/S4306402402","display_name":"CaltechTHESIS (California Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I122411786","host_organization_name":"California Institute of Technology","host_organization_lineage":["https://openalex.org/I122411786"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.134.8696","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.134.8696","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://etd.caltech.edu/etd/available/etd-01132006-152609/unrestricted/main.pdf","raw_type":"text"},{"id":"doi:10.7907/4r8f-wf03","is_oa":true,"landing_page_url":"https://doi.org/10.7907/4r8f-wf03","pdf_url":null,"source":{"id":"https://openalex.org/S7407050848","display_name":"Caltech Library","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"thesis"}],"best_oa_location":{"id":"pmh:oai:thesis.library.caltech.edu:155","is_oa":true,"landing_page_url":null,"pdf_url":"https://thesis.library.caltech.edu/155/1/main.pdf","source":{"id":"https://openalex.org/S4306402402","display_name":"CaltechTHESIS (California Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I122411786","host_organization_name":"California Institute of Technology","host_organization_lineage":["https://openalex.org/I122411786"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Thesis"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W6940578294.pdf","grobid_xml":"https://content.openalex.org/works/W6940578294.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"thesis":[1],"shows":[2],"that":[3,22,69,76,160,200,225],"rigorous":[4,242],"verification":[5],"of":[6,10,52,80,125,135,184],"some":[7,208],"analog":[8,26,57,78,113,136,163,229],"implementation":[9,183],"any":[11,28,38,181,227],"Quasi-Delay-Insensitive":[12],"(QDI)":[13],"asynchronous":[14,72,251],"circuit":[15,65,73,97,253],"is":[16,75,104,149,199,231],"possible.":[17],"That":[18],"is,":[19],"we":[20,48,109,121,157,188,234],"show":[21,159],"in":[23,59,63,71,85,96,106],"an":[24,250],"accurate":[25],"model,":[27],"behavior":[29,230],"will":[30],"adhere":[31],"to":[32,153,196],"the":[33,53,64,77,92,101,166,175],"digital":[34,81,93,102,239],"computation":[35],"specifications":[36],"under":[37],"possible":[39,56,162,228],"noise":[40],"and":[41,142,174],"environment":[42],"timing.":[43],"Unlike":[44],"a":[45,60,107,119,185,236],"traditional":[46],"simulation,":[47],"can":[49,122,139,189],"analyze":[50],"all":[51,88,161],"infinitely":[54],"many":[55],"behaviors,":[58],"time":[61],"linear":[62],"size.":[66],"A":[67],"problem":[68],"arises":[70],"design":[74],"implementations":[79,209],"computations":[82],"do":[83],"not":[84],"general":[86,186],"exhibit":[87],"properties":[89],"demanded":[90],"by":[91,220],"model":[94,103],"assumed":[95],"construction.":[98],"For":[99],"example,":[100],"atomic,":[105],"sense":[108],"define.":[110],"By":[111],"contrast,":[112],"models":[114,137],"are":[115],"non-atomic,":[116],"and,":[117],"as":[118],"result,":[120],"give":[123],"examples":[124],"real":[126],"circuits":[127],"with":[128,254],"operational":[129],"failures.":[130],"There":[131],"exist":[132],"other":[133],"attributes":[134],"which":[138],"cause":[140],"failures,":[141],"no":[143,214],"complete":[144],"classification":[145],"exists.":[146],"Ultimately":[147],"there":[148],"only":[150,194],"one":[151,248],"way":[152],"solve":[154],"this":[155,197,211],"problem:":[156],"must":[158,204],"behaviors":[164],"obey":[165],"atomic":[167,238],"model.":[168,179],"We":[169],"focus":[170],"on":[171,217],"CMOS":[172],"implementations,":[173],"associated":[176],"accepted":[177],"bulk-scale":[178],"Given":[180],"canonically-generated":[182],"computation,":[187],"rigorously":[190],"verify":[191],"it.":[192],"The":[193],"exception":[195],"rule":[198],"restoring":[201],"delay":[202],"elements":[203],"be":[205],"inserted":[206],"into":[207],"(fortunately,":[210],"change":[212],"has":[213],"semantic":[215],"effect":[216],"QDI":[218],"circuits,":[219],"definition).":[221],"Our":[222],"theorem":[223],"guarantees":[224],"when":[226],"properly":[232],"observed,":[233],"obtain":[235],"valid,":[237],"execution.":[240],"Several":[241],"verifications":[243],"have":[244],"been":[245],"produced,":[246],"including":[247],"for":[249],"pipeline":[252],"dual-rail":[255],"data.":[256]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2025-10-10T00:00:00"}