{"id":"https://openalex.org/W8534063","doi":null,"title":"CORRECTNESS AND REDUCTION IN TIMED CIRCUIT ANALYSIS","display_name":"CORRECTNESS AND REDUCTION IN TIMED CIRCUIT ANALYSIS","publication_year":2003,"publication_date":"2003-01-01","ids":{"openalex":"https://openalex.org/W8534063","mag":"8534063"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.6.6320","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.6320","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.async.ece.utah.edu/publications/mercer_phd_thesis.pdf","raw_type":"text"},"parent_works":[],"lineage":["https://openalex.org/W8534063"],"child_works_count":0,"type":"article","is_traditional":true,"indexed_in":[],"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/A5005072374","display_name":"Eric G. Mercer","orcid":"https://orcid.org/0000-0002-2264-2958","observed_orcids":["https://orcid.org/0000-0002-2264-2958"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eric Mercer","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-2264-2958","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109865586","display_name":"C.J. Myers","orcid":"https://orcid.org/0000-0002-8762-8444","observed_orcids":["https://orcid.org/0000-0002-8762-8444"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chris J. Myers","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084205024","display_name":"Peter A. Beerel","orcid":"https://orcid.org/0000-0002-8283-0168","observed_orcids":["https://orcid.org/0000-0002-8283-0168"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peter A. Beerel","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-8283-0168","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103146139","display_name":"Ganesh Gopalakrishnan","orcid":"https://orcid.org/0000-0002-4161-9278","observed_orcids":["https://orcid.org/0000-0002-4161-9278"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ganesh Gopalakrishnan","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-4161-9278","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055478901","display_name":"Reid R. Harrison","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Reid R. Harrison","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048751210","display_name":"Priyank Kalla","orcid":"https://orcid.org/0000-0001-7412-5138","observed_orcids":["https://orcid.org/0000-0001-7412-5138"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Priyank Kalla","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-7412-5138","affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009101799","display_name":"John Mathews","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"John Mathews","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"David S. Chapman","orcid":"https://orcid.org/0000-0002-3374-3180","observed_orcids":["https://orcid.org/0000-0002-3374-3180"]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"David S. Chapman","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-3374-3180","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.6293,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.88506334,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9940999746322632,"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.9940999746322632,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.0012000000569969416,"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"}},{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.0010999999940395355,"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/timing-constraints","display_name":"timing constraints","score":0.7900000214576721},{"id":"https://openalex.org/keywords/static-timing-analysis","display_name":"static timing analysis","score":0.7279999852180481},{"id":"https://openalex.org/keywords/correctness-verification","display_name":"correctness verification","score":0.6349999904632568},{"id":"https://openalex.org/keywords/circuit-reduction","display_name":"circuit reduction","score":0.5289999842643738}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8753749132156372},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.789500892162323},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.6577932834625244},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.630429208278656},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5947794914245605},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.5832666158676147},{"id":"https://openalex.org/C134146338","wikidata":"https://www.wikidata.org/wiki/Q1815901","display_name":"Electronic circuit","level":2,"score":0.49043700098991394},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4899517595767975},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.48730719089508057},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.46635735034942627},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4207148551940918},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3832591772079468},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3402327299118042},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.28239113092422485},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.27103763818740845},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10963517427444458},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.086697518825531},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.6.6320","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.6320","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.async.ece.utah.edu/publications/mercer_phd_thesis.pdf","raw_type":"text"},{"id":"mag:8534063","doi":null,"is_oa":false,"landing_page_url":"https://www.async.ece.utah.edu/oldsite/publications/mercer_phd_thesis.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":66,"referenced_works":["https://openalex.org/W28704707","https://openalex.org/W117556101","https://openalex.org/W125544711","https://openalex.org/W180991895","https://openalex.org/W190551804","https://openalex.org/W432429310","https://openalex.org/W1482233117","https://openalex.org/W1489517620","https://openalex.org/W1491037212","https://openalex.org/W1491226430","https://openalex.org/W1500239546","https://openalex.org/W1508214221","https://openalex.org/W1513324186","https://openalex.org/W1515601916","https://openalex.org/W1521052220","https://openalex.org/W1540501475","https://openalex.org/W1543010140","https://openalex.org/W1544021903","https://openalex.org/W1548599151","https://openalex.org/W1554812212","https://openalex.org/W1560730347","https://openalex.org/W1574193488","https://openalex.org/W1577323490","https://openalex.org/W1583778827","https://openalex.org/W1590223305","https://openalex.org/W1590451542","https://openalex.org/W1594784892","https://openalex.org/W1607877490","https://openalex.org/W1722620788","https://openalex.org/W1796268701","https://openalex.org/W1829133288","https://openalex.org/W1840276337","https://openalex.org/W1861370427","https://openalex.org/W1874725288","https://openalex.org/W1929497867","https://openalex.org/W1934074768","https://openalex.org/W1981808971","https://openalex.org/W1993264422","https://openalex.org/W1994188141","https://openalex.org/W2023808162","https://openalex.org/W2033839526","https://openalex.org/W2046206674","https://openalex.org/W2054654636","https://openalex.org/W2057144245","https://openalex.org/W2099225046","https://openalex.org/W2101508170","https://openalex.org/W2105453159","https://openalex.org/W2107193555","https://openalex.org/W2113486165","https://openalex.org/W2116312614","https://openalex.org/W2117189826","https://openalex.org/W2119857683","https://openalex.org/W2122859326","https://openalex.org/W2131600432","https://openalex.org/W2132472209","https://openalex.org/W2142718416","https://openalex.org/W2142730771","https://openalex.org/W2148325438","https://openalex.org/W2153364763","https://openalex.org/W2153439859","https://openalex.org/W2160106331","https://openalex.org/W2160883697","https://openalex.org/W2161331676","https://openalex.org/W2161901477","https://openalex.org/W2167668895","https://openalex.org/W4250165584"],"related_works":["https://openalex.org/W7100153374","https://openalex.org/W7098698838","https://openalex.org/W2098539773","https://openalex.org/W2063133608","https://openalex.org/W2472770578","https://openalex.org/W1569160935","https://openalex.org/W2274047221","https://openalex.org/W7096086902","https://openalex.org/W7097718037","https://openalex.org/W2270372704"],"abstract_inverted_index":{"To":[0],"increase":[1],"performance,":[2],"circuit":[3],"designers":[4],"are":[5,38,52],"experimenting":[6],"with":[7],"timed":[8,84,93],"circuits":[9,14],"--":[10],"a":[11,18],"class":[12],"of":[13,21,43,65],"that":[15],"rely":[16],"on":[17],"complex":[19],"set":[20],"timing":[22,50,71],"constraints":[23,37,51],"for":[24],"correct":[25],"functionality.":[26],"This":[27,95],"is":[28,73,80,88],"evidenced":[29],"in":[30,58],"published":[31],"experimental":[32],"designs":[33],"from":[34],"industry.":[35],"Timing":[36],"key":[39],"to":[40,48,54,62,90],"the":[41,63,66],"success":[42],"these":[44],"designs,":[45],"and":[46],"algorithms":[47],"verify":[49],"required":[53],"make":[55],"them":[56],"practical":[57],"commercial":[59],"applications.":[60],"Due":[61],"complexity":[64],"constraints,":[67],"however,":[68],"traditional":[69],"static":[70],"analysis":[72,79,87],"not":[74],"adequate.":[75],"Timed":[76],"state":[77,85],"space":[78,86],"required;":[81],"thus,":[82],"improved":[83],"paramount":[89],"producing":[91],"efficient":[92],"circuits.":[94],"diss":[96]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-11-14T11:04:58.165337","created_date":"2016-06-24T00:00:00"}