{"id":"https://openalex.org/W2129792992","doi":"https://doi.org/10.1109/async.2003.1199171","title":"On the existence of hazard-free multi-level logic","display_name":"On the existence of hazard-free multi-level logic","publication_year":2003,"publication_date":"2003-10-08","ids":{"openalex":"https://openalex.org/W2129792992","doi":"https://doi.org/10.1109/async.2003.1199171","mag":"2129792992"},"language":"en","primary_location":{"id":"doi:10.1109/async.2003.1199171","is_oa":false,"landing_page_url":"https://doi.org/10.1109/async.2003.1199171","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Ninth International Symposium on Asynchronous Circuits and Systems, 2003. Proceedings.","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5023548648","display_name":"Steven M. Nowick","orcid":"https://orcid.org/0000-0002-8837-8109"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"S.M. Nowick","raw_affiliation_strings":["Department of Computer Science, Columbia University, New York, NY, USA","Department of Computer Science , Columbia University, New York, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Columbia University, New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]},{"raw_affiliation_string":"Department of Computer Science , Columbia University, New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044279601","display_name":"Colm P. O\u2019Donnell","orcid":"https://orcid.org/0000-0002-8004-450X"},"institutions":[{"id":"https://openalex.org/I78577930","display_name":"Columbia University","ror":"https://ror.org/00hj8s172","country_code":"US","type":"education","lineage":["https://openalex.org/I78577930"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"C.W. O'Donnell","raw_affiliation_strings":["Department of Computer Science, Columbia University, New York, NY, USA","Department of Computer Science , Columbia University, New York, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Columbia University, New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]},{"raw_affiliation_string":"Department of Computer Science , Columbia University, New York, NY, USA","institution_ids":["https://openalex.org/I78577930"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I78577930"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"c 23","issue":null,"first_page":"109","last_page":"120"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11005","display_name":"Radiation Effects in Electronics","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/hazard","display_name":"Hazard","score":0.6502811908721924},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5260943174362183},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.478372722864151},{"id":"https://openalex.org/keywords/existential-quantification","display_name":"Existential quantification","score":0.4629915654659271},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.42271849513053894},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.418989896774292},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.41160112619400024},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4063591957092285},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35040295124053955},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.23949086666107178},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.08935809135437012}],"concepts":[{"id":"https://openalex.org/C49261128","wikidata":"https://www.wikidata.org/wiki/Q1132455","display_name":"Hazard","level":2,"score":0.6502811908721924},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5260943174362183},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.478372722864151},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.4629915654659271},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.42271849513053894},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.418989896774292},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.41160112619400024},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4063591957092285},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35040295124053955},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.23949086666107178},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.08935809135437012},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C178790620","wikidata":"https://www.wikidata.org/wiki/Q11351","display_name":"Organic chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/async.2003.1199171","is_oa":false,"landing_page_url":"https://doi.org/10.1109/async.2003.1199171","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Ninth International Symposium on Asynchronous Circuits and Systems, 2003. Proceedings.","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.126.6868","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.126.6868","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://people.csail.mit.edu/cwo/publications/async03.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W1498870363","https://openalex.org/W2033724727","https://openalex.org/W2078865425","https://openalex.org/W2102535682","https://openalex.org/W2104949917","https://openalex.org/W2108481914","https://openalex.org/W2112835666","https://openalex.org/W2129183345","https://openalex.org/W2133454100","https://openalex.org/W3146410802","https://openalex.org/W6629985922","https://openalex.org/W6676284851"],"related_works":["https://openalex.org/W257150968","https://openalex.org/W2368044729","https://openalex.org/W2109998394","https://openalex.org/W1996794584","https://openalex.org/W2808103058","https://openalex.org/W2503515100","https://openalex.org/W2161136434","https://openalex.org/W2062972911","https://openalex.org/W1977927882","https://openalex.org/W2142114659"],"abstract_inverted_index":{"This":[0],"paper":[1],"introduces":[2],"a":[3,58,88,94,117,138,150,166],"new":[4],"method":[5,95,107],"which,":[6],"given":[7,89],"an":[8],"arbitrary":[9],"Boolean":[10],"function":[11],"and":[12,38,44,47,49,83,114],"specified":[13],"set":[14],"of":[15,72,120],"(function":[16],"hazard-free)":[17],"input":[18],"transitions,":[19],"determines":[20],"if":[21,57,130],"any":[22,131],"hazard":[23,59,101,132,139,169],"free":[24,60,102,133,140,170],"multilevel":[25],"logic":[26,62,85,147],"implementation":[27,63],"exists.":[28,64],"The":[29,106],"algorithm":[30],"is":[31,67,96,108,126,161],"based":[32],"on":[33],"iterative":[34],"decomposition,":[35],"using":[36,144],"disjunction":[37],"inversion.":[39],"Earlier":[40],"approaches":[41],"by":[42],"Nowick":[43,50],"Dill":[45],"(1995)":[46],"Theobald":[48],"(1998)":[51],"have":[52],"been":[53],"proposed":[54,97],"to":[55,98,110,127],"determine":[56],"two-level":[61],"However,":[65],"it":[66,160],"well-known":[68],"that":[69],"the":[70,100],"effects":[71],"multi-level":[73,103,121,134],"transformations":[74],"are":[75],"quite":[76],"complex:":[77],"since":[78],"they":[79],"can":[80],"both":[81,112],"decrease":[82],"increase":[84],"hazards":[86],"in":[87,149,157],"circuit.":[90],"In":[91],"this":[92,158],"paper,":[93],"solve":[99],"existence":[104],"problem.":[105],"proven":[109],"be":[111],"sound":[113],"complete":[115],"for":[116],"large":[118],"class":[119],"implementations.":[122],"A":[123],"novel":[124],"contribution":[125],"show":[128],"that,":[129],"solution":[135,141],"exists,":[136],"then":[137],"always":[142,164],"exists":[143,165],"only":[145],"3":[146],"levels,":[148],"3-level":[151,171],"NAND":[152],"or":[153],"OR-AND-OR":[154],"structure.":[155],"Moreover,":[156],"case,":[159],"shown":[162],"there":[163],"unique":[167],"canonical":[168],"implementation.":[172]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":3}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}