{"id":"https://openalex.org/W2047363496","doi":"https://doi.org/10.1109/tvlsi.2015.2413966","title":"Verification of the Power and Ground Grids Under General and Hierarchical Constraints","display_name":"Verification of the Power and Ground Grids Under General and Hierarchical Constraints","publication_year":2015,"publication_date":"2015-04-01","ids":{"openalex":"https://openalex.org/W2047363496","doi":"https://doi.org/10.1109/tvlsi.2015.2413966","mag":"2047363496"},"language":"en","primary_location":{"id":"doi:10.1109/tvlsi.2015.2413966","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tvlsi.2015.2413966","pdf_url":null,"source":{"id":"https://openalex.org/S37538908","display_name":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems","issn_l":"1063-8210","issn":["1063-8210","1557-9999"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems","raw_type":"journal-article"},"type":"article","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/A5001205198","display_name":"Mehmet Avci","orcid":null},"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":true,"raw_author_name":"Mehmet Avci","raw_affiliation_strings":["M. Avci was with the Department of Electrical and Computer Engineering, University of Toronto, Toronto, ON, Canada","Toronto Technology Center, Altera Corporation, Toronto, ON, Canada"],"affiliations":[{"raw_affiliation_string":"M. Avci was with the Department of Electrical and Computer Engineering, University of Toronto, Toronto, ON, Canada","institution_ids":["https://openalex.org/I185261750"]},{"raw_affiliation_string":"Toronto Technology Center, Altera Corporation, Toronto, ON, Canada","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089881278","display_name":"Farid N. Najm","orcid":"https://orcid.org/0000-0001-5393-7794"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Farid N. Najm","raw_affiliation_strings":["Toronto Technology Center, Altera Corporation, Toronto, ON, Canada"],"affiliations":[{"raw_affiliation_string":"Toronto Technology Center, Altera Corporation, Toronto, ON, Canada","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5001205198"],"corresponding_institution_ids":["https://openalex.org/I185261750"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.06402532,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"24","issue":"2","first_page":"729","last_page":"742"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10363","display_name":"Low-power high-performance VLSI design","score":0.9997000098228455,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9976999759674072,"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/T11444","display_name":"Electromagnetic Compatibility and Noise Suppression","score":0.9973999857902527,"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.6894758939743042},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.57791668176651},{"id":"https://openalex.org/keywords/grid","display_name":"Grid","score":0.5620124340057373},{"id":"https://openalex.org/keywords/voltage","display_name":"Voltage","score":0.491449236869812},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.4705864489078522},{"id":"https://openalex.org/keywords/design-flow","display_name":"Design flow","score":0.42242926359176636},{"id":"https://openalex.org/keywords/electronic-engineering","display_name":"Electronic engineering","score":0.3681698441505432},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3614043891429901},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.3342217803001404},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.2091086208820343},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.18311670422554016},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14621493220329285},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1369825005531311}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6894758939743042},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.57791668176651},{"id":"https://openalex.org/C187691185","wikidata":"https://www.wikidata.org/wiki/Q2020720","display_name":"Grid","level":2,"score":0.5620124340057373},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.491449236869812},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.4705864489078522},{"id":"https://openalex.org/C37135326","wikidata":"https://www.wikidata.org/wiki/Q931942","display_name":"Design flow","level":2,"score":0.42242926359176636},{"id":"https://openalex.org/C24326235","wikidata":"https://www.wikidata.org/wiki/Q126095","display_name":"Electronic engineering","level":1,"score":0.3681698441505432},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3614043891429901},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.3342217803001404},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.2091086208820343},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.18311670422554016},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14621493220329285},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1369825005531311},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace 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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tvlsi.2015.2413966","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tvlsi.2015.2413966","pdf_url":null,"source":{"id":"https://openalex.org/S37538908","display_name":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems","issn_l":"1063-8210","issn":["1063-8210","1557-9999"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7699999809265137,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306087","display_name":"Semiconductor Research Corporation","ror":"https://ror.org/047z4n946"},{"id":"https://openalex.org/F4320307102","display_name":"Intel Corporation","ror":"https://ror.org/01ek73717"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W39785869","https://openalex.org/W73629738","https://openalex.org/W1506342804","https://openalex.org/W1546169179","https://openalex.org/W1566753057","https://openalex.org/W1590472748","https://openalex.org/W1968964751","https://openalex.org/W1977545325","https://openalex.org/W1981745143","https://openalex.org/W2014633779","https://openalex.org/W2038516134","https://openalex.org/W2038535655","https://openalex.org/W2089099677","https://openalex.org/W2090512332","https://openalex.org/W2100539003","https://openalex.org/W2102763958","https://openalex.org/W2109258578","https://openalex.org/W2115314588","https://openalex.org/W2135733515","https://openalex.org/W2144375544","https://openalex.org/W2145718484","https://openalex.org/W2153756269","https://openalex.org/W2156588317","https://openalex.org/W2162039535","https://openalex.org/W4213060235","https://openalex.org/W4246219036","https://openalex.org/W4255329848"],"related_works":["https://openalex.org/W4309710663","https://openalex.org/W2081579710","https://openalex.org/W4297988921","https://openalex.org/W60765711","https://openalex.org/W2374124984","https://openalex.org/W2371641196","https://openalex.org/W2800543810","https://openalex.org/W2122674270","https://openalex.org/W4365793791","https://openalex.org/W2332860651"],"abstract_inverted_index":{"As":[0],"part":[1],"of":[2,32,42,45,90,129],"power":[3,55,68,75,148],"distribution":[4,56,69],"network":[5,57,70],"verification,":[6,71],"one":[7,51],"should":[8],"check":[9],"if":[10],"the":[11,29,43,46,54,60,74,88,120,127],"voltage":[12,109],"fluctuations":[13,110],"exceed":[14],"some":[15],"critical":[16],"threshold.":[17],"The":[18],"traditional":[19],"simulation-based":[20],"solution":[21,97,145],"to":[22,28,52,64,135,147],"this":[23],"problem":[24],"is":[25],"intractable":[26],"due":[27],"large":[30],"number":[31],"possible":[33],"circuit":[34],"behaviors.":[35],"This":[36],"approach":[37,86],"also":[38,141],"requires":[39],"full":[40],"knowledge":[41],"details":[44],"underlying":[47],"circuitry,":[48],"not":[49],"allowing":[50],"verify":[53],"early":[58,84],"in":[59,99,124,126],"design":[61],"flow.":[62],"Contrary":[63],"previous":[65],"work":[66],"on":[67,106],"we":[72,94,140],"consider":[73],"and":[76,81,103],"ground":[77],"(P/G)":[78],"grids":[79],"together":[80],"describe":[82],"an":[83],"verification":[85,138,151],"under":[87,152],"framework":[89],"current":[91,154],"constraints.":[92,155],"Then,":[93],"present":[95],"a":[96,130],"technique":[98,122,146],"which":[100],"tight":[101],"lower":[102],"upper":[104],"bounds":[105],"worst":[107],"case":[108],"are":[111],"computed":[112],"via":[113],"linear":[114],"programs.":[115],"Experimental":[116],"results":[117,123],"indicate":[118],"that":[119],"proposed":[121],"errors":[125],"range":[128],"few":[131],"millivolts.":[132],"In":[133],"addition":[134],"P/G":[136],"grid":[137,150],"techniques,":[139],"provide":[142],"very":[143],"efficient":[144],"(single)":[149],"hierarchical":[153]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}