{"id":"https://openalex.org/W2149200766","doi":"https://doi.org/10.1109/date.2011.5763269","title":"Efficient RC power grid verification using node elimination","display_name":"Efficient RC power grid verification using node elimination","publication_year":2011,"publication_date":"2011-03-01","ids":{"openalex":"https://openalex.org/W2149200766","doi":"https://doi.org/10.1109/date.2011.5763269","mag":"2149200766"},"language":"en","primary_location":{"id":"doi:10.1109/date.2011.5763269","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2011.5763269","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 Design, Automation & Test in Europe","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/A5018789011","display_name":"Ankit Goyal","orcid":"https://orcid.org/0000-0002-4076-3980"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"A Goyal","raw_affiliation_strings":["Department of ECE, University of Toronto, ONT, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of ECE, University of Toronto, ONT, Canada","institution_ids":["https://openalex.org/I185261750"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089881278","display_name":"Farid N. Najm","orcid":"https://orcid.org/0000-0001-5393-7794"},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"F N Najm","raw_affiliation_strings":["Department of ECE, University of Toronto, ONT, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of ECE, University of Toronto, ONT, Canada","institution_ids":["https://openalex.org/I185261750"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I185261750"],"apc_list":null,"apc_paid":null,"fwci":1.3763,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.86435239,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"4"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11206","display_name":"Model Reduction and Neural Networks","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T12495","display_name":"Electrostatic Discharge in Electronics","score":0.9958000183105469,"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/computer-science","display_name":"Computer science","score":0.704293429851532},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.7036399841308594},{"id":"https://openalex.org/keywords/grid","display_name":"Grid","score":0.6158488988876343},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.5422606468200684},{"id":"https://openalex.org/keywords/power-grid","display_name":"Power grid","score":0.5278095006942749},{"id":"https://openalex.org/keywords/voltage-drop","display_name":"Voltage drop","score":0.5074791312217712},{"id":"https://openalex.org/keywords/voltage","display_name":"Voltage","score":0.495644211769104},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.4791147708892822},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.43153202533721924},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.43002602458000183},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.42621150612831116},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.37557899951934814},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3253319263458252},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.23431509733200073},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2030286192893982},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.06988978385925293}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.704293429851532},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.7036399841308594},{"id":"https://openalex.org/C187691185","wikidata":"https://www.wikidata.org/wiki/Q2020720","display_name":"Grid","level":2,"score":0.6158488988876343},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.5422606468200684},{"id":"https://openalex.org/C2983254600","wikidata":"https://www.wikidata.org/wiki/Q1096907","display_name":"Power grid","level":3,"score":0.5278095006942749},{"id":"https://openalex.org/C82178898","wikidata":"https://www.wikidata.org/wiki/Q166839","display_name":"Voltage drop","level":3,"score":0.5074791312217712},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.495644211769104},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.4791147708892822},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.43153202533721924},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.43002602458000183},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.42621150612831116},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37557899951934814},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3253319263458252},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.23431509733200073},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2030286192893982},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.06988978385925293},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/date.2011.5763269","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2011.5763269","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 Design, Automation & Test in Europe","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.228.4751","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.228.4751","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.eecg.toronto.edu/%7Enajm/papers/date11-ankit.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.8899999856948853,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1598246754","https://openalex.org/W2050237178","https://openalex.org/W2063668285","https://openalex.org/W2109258578","https://openalex.org/W2110518840","https://openalex.org/W2116954639","https://openalex.org/W2124618249","https://openalex.org/W2127116179","https://openalex.org/W3142591251","https://openalex.org/W4229527134","https://openalex.org/W4245161178","https://openalex.org/W6663036814","https://openalex.org/W6677835874","https://openalex.org/W6678878332"],"related_works":["https://openalex.org/W2770593030","https://openalex.org/W3154990682","https://openalex.org/W2560201613","https://openalex.org/W2171975302","https://openalex.org/W2022352247","https://openalex.org/W4312219546","https://openalex.org/W2377538627","https://openalex.org/W2107220315","https://openalex.org/W1589637664","https://openalex.org/W4281727072"],"abstract_inverted_index":{"To":[0],"ensure":[1],"the":[2,27,60,78,83,90,102,112,126,137],"robustness":[3],"of":[4,30,43,62,80,128,139],"an":[5,108],"integrated":[6],"circuit,":[7],"its":[8],"power":[9,63,103,116],"distribution":[10],"network":[11],"(PDN)":[12],"must":[13],"be":[14],"validated":[15],"beforehand":[16],"against":[17],"any":[18],"voltage":[19,113],"drop":[20],"on":[21,70,111,136],"VDD":[22],"nets.":[23],"However,":[24],"due":[25],"to":[26,36,51,58,99],"increasing":[28],"size":[29,61],"PDNs,":[31],"it":[32],"is":[33,68,133],"becoming":[34],"difficult":[35],"verify":[37],"them":[38],"in":[39,89],"a":[40,96,123,144],"reasonable":[41],"amount":[42],"time.":[44],"Lately,":[45],"much":[46],"work":[47],"has":[48],"been":[49,87],"done":[50],"develop":[52],"Model":[53],"Order":[54],"Reduction":[55],"(MOR)":[56],"techniques":[57],"reduce":[59,101],"grids":[64],"but":[65],"their":[66],"focus":[67],"more":[69],"simulation.":[71],"In":[72],"verification,":[73],"we":[74],"are":[75,120,131],"concerned":[76],"about":[77],"safety":[79,127,138],"nodes,":[81],"including":[82],"ones":[84],"which":[85,119,130],"have":[86],"eliminated":[88],"reduction":[91],"process.":[92],"This":[93],"paper":[94],"proposes":[95],"novel":[97],"approach":[98],"systematically":[100],"grid":[104,117],"and":[105,143],"accurately":[106],"compute":[107],"upper":[109],"bound":[110],"drops":[114],"at":[115],"nodes":[118,129,142],"retained.":[121],"Furthermore,":[122],"criterion":[124],"for":[125],"removed":[132],"established":[134],"based":[135],"other":[140],"nearby":[141],"user":[145],"specified":[146],"margin.":[147]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}