{"id":"https://openalex.org/W2052490383","doi":"https://doi.org/10.1145/2451916.2451927","title":"SRAM dynamic stability verification by reachability analysis with consideration of threshold voltage variation","display_name":"SRAM dynamic stability verification by reachability analysis with consideration of threshold voltage variation","publication_year":2013,"publication_date":"2013-03-24","ids":{"openalex":"https://openalex.org/W2052490383","doi":"https://doi.org/10.1145/2451916.2451927","mag":"2052490383"},"language":"en","primary_location":{"id":"doi:10.1145/2451916.2451927","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2451916.2451927","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2013 ACM International symposium on Physical Design","raw_type":"proceedings-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/A5025482368","display_name":"Yang Song","orcid":"https://orcid.org/0000-0001-9236-4538"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yang Song","raw_affiliation_strings":["Shanghai Jiao Tong University, Shanghai, China","[Shanghai Jiao Tong University, Shanghai, China]"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"[Shanghai Jiao Tong University, Shanghai, China]","institution_ids":["https://openalex.org/I183067930"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100432170","display_name":"Hao Yu","orcid":"https://orcid.org/0000-0001-8747-3203"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Hao Yu","raw_affiliation_strings":["Nanyang Technological University, Singapore, Singapore","Nanyang Technological University, Singapore, SINGAPORE#TAB#"],"affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore, Singapore","institution_ids":["https://openalex.org/I172675005"]},{"raw_affiliation_string":"Nanyang Technological University, Singapore, SINGAPORE#TAB#","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047725314","display_name":"Sai Manoj Pudukotai Dinakarrao","orcid":"https://orcid.org/0000-0002-4417-2387"},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Sai Manoj Pudukotai Dinakarrao","raw_affiliation_strings":["Nanyang Technological University, Singapore, Singapore","Nanyang Technological University, Singapore, SINGAPORE#TAB#"],"affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore, Singapore","institution_ids":["https://openalex.org/I172675005"]},{"raw_affiliation_string":"Nanyang Technological University, Singapore, SINGAPORE#TAB#","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072810436","display_name":"Guoyong Shi","orcid":"https://orcid.org/0000-0002-8655-3487"},"institutions":[{"id":"https://openalex.org/I183067930","display_name":"Shanghai Jiao Tong University","ror":"https://ror.org/0220qvk04","country_code":"CN","type":"education","lineage":["https://openalex.org/I183067930"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guoyong Shi","raw_affiliation_strings":["Shanghai Jiao Tong University, Shanghai, China","[Shanghai Jiao Tong University, Shanghai, China]"],"affiliations":[{"raw_affiliation_string":"Shanghai Jiao Tong University, Shanghai, China","institution_ids":["https://openalex.org/I183067930"]},{"raw_affiliation_string":"[Shanghai Jiao Tong University, Shanghai, China]","institution_ids":["https://openalex.org/I183067930"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5025482368"],"corresponding_institution_ids":["https://openalex.org/I183067930"],"apc_list":null,"apc_paid":null,"fwci":2.3645,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.89524804,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"43","last_page":"49"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T14117","display_name":"Integrated Circuits and Semiconductor Failure Analysis","score":0.9998000264167786,"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/T14117","display_name":"Integrated Circuits and Semiconductor Failure Analysis","score":0.9998000264167786,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9993000030517578,"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/T10363","display_name":"Low-power high-performance VLSI design","score":0.9984999895095825,"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/static-random-access-memory","display_name":"Static random-access memory","score":0.8139238357543945},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7799761891365051},{"id":"https://openalex.org/keywords/transistor","display_name":"Transistor","score":0.6429839134216309},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6064609289169312},{"id":"https://openalex.org/keywords/monte-carlo-method","display_name":"Monte Carlo method","score":0.6057420969009399},{"id":"https://openalex.org/keywords/process-variation","display_name":"Process variation","score":0.5737311244010925},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.49292850494384766},{"id":"https://openalex.org/keywords/threshold-voltage","display_name":"Threshold voltage","score":0.4250616431236267},{"id":"https://openalex.org/keywords/voltage","display_name":"Voltage","score":0.4090045690536499},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.39825376868247986},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.3401980400085449},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.2502378225326538},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1653548777103424},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14984309673309326},{"id":"https://openalex.org/keywords/electrical-engineering","display_name":"Electrical engineering","score":0.1176241934299469},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.08100435137748718},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.06997412443161011}],"concepts":[{"id":"https://openalex.org/C68043766","wikidata":"https://www.wikidata.org/wiki/Q267416","display_name":"Static random-access memory","level":2,"score":0.8139238357543945},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7799761891365051},{"id":"https://openalex.org/C172385210","wikidata":"https://www.wikidata.org/wiki/Q5339","display_name":"Transistor","level":3,"score":0.6429839134216309},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6064609289169312},{"id":"https://openalex.org/C19499675","wikidata":"https://www.wikidata.org/wiki/Q232207","display_name":"Monte Carlo method","level":2,"score":0.6057420969009399},{"id":"https://openalex.org/C93389723","wikidata":"https://www.wikidata.org/wiki/Q7247313","display_name":"Process variation","level":3,"score":0.5737311244010925},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.49292850494384766},{"id":"https://openalex.org/C195370968","wikidata":"https://www.wikidata.org/wiki/Q1754002","display_name":"Threshold voltage","level":4,"score":0.4250616431236267},{"id":"https://openalex.org/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.4090045690536499},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39825376868247986},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3401980400085449},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.2502378225326538},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1653548777103424},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14984309673309326},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.1176241934299469},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.08100435137748718},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.06997412443161011},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","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/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2451916.2451927","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2451916.2451927","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2013 ACM International symposium on Physical Design","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1569692898","https://openalex.org/W2002612140","https://openalex.org/W2018341838","https://openalex.org/W2028042369","https://openalex.org/W2053994043","https://openalex.org/W2093064288","https://openalex.org/W2093248387","https://openalex.org/W2104439088","https://openalex.org/W2112013772","https://openalex.org/W2143301592","https://openalex.org/W2154477062","https://openalex.org/W2155153274","https://openalex.org/W2158451642","https://openalex.org/W2162613878","https://openalex.org/W2750147881","https://openalex.org/W6651072951"],"related_works":["https://openalex.org/W2119312496","https://openalex.org/W4247460323","https://openalex.org/W2537086382","https://openalex.org/W2107909712","https://openalex.org/W2153162275","https://openalex.org/W2079259690","https://openalex.org/W2108986771","https://openalex.org/W789543267","https://openalex.org/W2004965314","https://openalex.org/W2094295436"],"abstract_inverted_index":{"Dynamic":[0],"stability":[1,23,82,115,143],"margin":[2,83],"of":[3,42,49,76,111,152,166],"SRAM":[4,37,60,113,141],"is":[5,25,55,69],"largely":[6],"suppressed":[7,81],"at":[8,62],"nano-scale":[9],"due":[10],"to":[11,57,100],"not":[12],"only":[13],"dynamic":[14,22,114,142],"noise":[15],"but":[16],"also":[17],"process":[18],"variation.":[19],"A":[20],"novel":[21],"verification":[24,110],"developed":[26,134],"in":[27,156],"this":[28],"paper":[29],"based":[30],"on":[31],"analog":[32],"reachability":[33,53,95,135],"analysis":[34,54,96,136],"for":[35],"checking":[36],"failure.":[38],"In":[39],"the":[40,72,80,112,133,140,162,170],"presence":[41],"mismatch":[43],"such":[44],"as":[45],"threshold":[46,66,145],"voltage":[47,67,146],"variation":[48,68],"all":[50,125,149],"transistors,":[51],"zonotope-based":[52],"deployed":[56],"efficiently":[58],"verify":[59,139],"failure":[61,86,104],"transistor":[63],"level.":[64],"The":[65],"considered":[70],"by":[71,91,129],"modified":[73],"input":[74],"range":[75],"SRAM.":[77],"As":[78,127],"such,":[79],"and":[84,103],"further":[85],"region":[87],"can":[88,107,137,158],"be":[89,159],"verified":[90],"performing":[92],"a":[93],"time-evolved":[94],"with":[97,169],"formed":[98],"zonotope":[99],"distinguish":[101],"safe":[102],"regions.":[105],"One":[106],"perform":[108],"efficient":[109],"without":[116],"repeated":[117],"yet":[118],"time-consuming":[119],"Monte-Carlo":[120],"simulations":[121],"considering":[122],"variations":[123,147],"from":[124,148],"transistors.":[126,150],"demonstrated":[128],"numerical":[130],"experiment":[131],"results,":[132],"accurately":[138],"under":[144],"Speedup":[151],"more":[153],"than":[154],"400x":[155],"runtime":[157],"achieved":[160],"over":[161],"Monte":[163],"Carlo":[164],"approach":[165],"500":[167],"samples":[168],"similar":[171],"accuracy.":[172]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":6},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}