{"id":"https://openalex.org/W4233764310","doi":"https://doi.org/10.1109/date.2009.5090927","title":"Selective state retention design using symbolic simulation","display_name":"Selective state retention design using symbolic simulation","publication_year":2009,"publication_date":"2009-04-01","ids":{"openalex":"https://openalex.org/W4233764310","doi":"https://doi.org/10.1109/date.2009.5090927"},"language":"en","primary_location":{"id":"doi:10.1109/date.2009.5090927","doi":"https://doi.org/10.1109/date.2009.5090927","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2009.5090927","pdf_url":null,"source":{"id":"https://openalex.org/S4306418181","display_name":"Design, Automation, and Test in Europe","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 Design, Automation & Test in Europe Conference & Exhibition","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5075266701","display_name":"Ashish Darbari","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I43439940","display_name":"University of Southampton","ror":"https://ror.org/01ryk1543","country_code":"GB","type":"education","lineage":["https://openalex.org/I43439940"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"A. Darbari","raw_affiliation_strings":["School of Electronics and Computer Science, University of Southampton, Southampton, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electronics and Computer Science, University of Southampton, Southampton, UK","institution_ids":["https://openalex.org/I43439940"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5034161419","display_name":"Bashir M. Al Hashimi","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I43439940","display_name":"University of Southampton","ror":"https://ror.org/01ryk1543","country_code":"GB","type":"education","lineage":["https://openalex.org/I43439940"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"B.M. Al Hashimi","raw_affiliation_strings":["School of Electronics and Computer Science, University of Southampton, Southampton, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electronics and Computer Science, University of Southampton, Southampton, UK","institution_ids":["https://openalex.org/I43439940"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032160199","display_name":"David Flynn","orcid":"https://orcid.org/0000-0002-1024-3618","observed_orcids":["https://orcid.org/0000-0002-1024-3618"]},"institutions":[{"id":"https://openalex.org/I2801109035","display_name":"ARM (United Kingdom)","ror":"https://ror.org/04mmhzs81","country_code":"GB","type":"company","lineage":["https://openalex.org/I2801109035"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"D. Flynn","raw_affiliation_strings":["ARM, Inc., Cambridge, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ARM, Inc., Cambridge, UK","institution_ids":["https://openalex.org/I2801109035"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059496358","display_name":"John Biggs","orcid":"https://orcid.org/0000-0003-4188-9064","observed_orcids":["https://orcid.org/0000-0003-4188-9064"]},"institutions":[{"id":"https://openalex.org/I2801109035","display_name":"ARM (United Kingdom)","ror":"https://ror.org/04mmhzs81","country_code":"GB","type":"company","lineage":["https://openalex.org/I2801109035"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"J. Biggs","raw_affiliation_strings":["ARM, Inc., Cambridge, UK"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ARM, Inc., Cambridge, UK","institution_ids":["https://openalex.org/I2801109035"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.4022675,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1644","last_page":"1649"},"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.8935999870300293,"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.8935999870300293,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.0706000030040741,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.011900000274181366,"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/symbolic-simulation","display_name":"symbolic simulation","score":0.8930000066757202},{"id":"https://openalex.org/keywords/power-gating","display_name":"power gating","score":0.8669999837875366},{"id":"https://openalex.org/keywords/sleep-mode","display_name":"sleep mode","score":0.6140000224113464},{"id":"https://openalex.org/keywords/system-on-chip","display_name":"system-on-chip","score":0.7139999866485596},{"id":"https://openalex.org/keywords/microarchitecture","display_name":"microarchitecture","score":0.5809999704360962},{"id":"https://openalex.org/keywords/energy-efficiency","display_name":"energy efficiency","score":0.5180000066757202},{"id":"https://openalex.org/keywords/battery-powered-devices","display_name":"battery-powered devices","score":0.6010000109672546}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7797008156776428},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7186765074729919},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.6777787804603577},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.6250401139259338},{"id":"https://openalex.org/C2778514511","wikidata":"https://www.wikidata.org/wiki/Q1374194","display_name":"Programmer","level":2,"score":0.46741294860839844},{"id":"https://openalex.org/C7140552","wikidata":"https://www.wikidata.org/wiki/Q1366402","display_name":"Standby power","level":3,"score":0.4310173988342285},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.4197055697441101},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.32260745763778687},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10932961106300354},{"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/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.2009.5090927","doi":"https://doi.org/10.1109/date.2009.5090927","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2009.5090927","pdf_url":null,"source":{"id":"https://openalex.org/S4306418181","display_name":"Design, Automation, and Test in Europe","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 Design, Automation & Test in Europe Conference & Exhibition","raw_type":"proceedings-article"},{"id":"pmh:oai:eprints.soton.ac.uk:266918","doi":null,"is_oa":false,"landing_page_url":"https://eprints.soton.ac.uk/266918/1/12.4_3_0347.pdf","pdf_url":"https://eprints.soton.ac.uk/266918/1/12.4_3_0347.pdf","source":{"id":"https://openalex.org/S4306401019","display_name":"ePrints Soton (University of Southampton)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I43439940","host_organization_name":"University of Southampton","host_organization_lineage":["https://openalex.org/I43439940"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Conference or Workshop Item"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1543077104","https://openalex.org/W1827563491","https://openalex.org/W1986558678","https://openalex.org/W2083897388","https://openalex.org/W2099873480","https://openalex.org/W2112643551","https://openalex.org/W2112690812","https://openalex.org/W2124276471","https://openalex.org/W4238927715"],"related_works":["https://openalex.org/W4229603610","https://openalex.org/W2997282871","https://openalex.org/W2023871623","https://openalex.org/W2078115327","https://openalex.org/W2153506602","https://openalex.org/W2984015238","https://openalex.org/W3200979268","https://openalex.org/W3161651679","https://openalex.org/W2465217334","https://openalex.org/W2106323996"],"abstract_inverted_index":{"Addressing":[0],"both":[1],"standby":[2],"and":[3,27,38,67,74,131,163,167,189,229,246,262,293],"active":[4],"power":[5,50,245],"is":[6,95,118,133,146,154,200,283],"a":[7,110,176,241],"major":[8],"challenge":[9],"in":[10,81,98,149,287],"developing":[11],"system-on-chip":[12],"designs":[13],"for":[14,104,123,183,249],"battery-powered":[15],"products.":[16],"Powering":[17],"off":[18],"sections":[19],"of":[20,40,48,109,127,138,143,197,210,257,267,279,290,295],"logic":[21],"or":[22,46,59,206],"memories":[23],"loses":[24],"internal":[25],"register":[26],"RAM":[28],"states":[29],"so":[30],"designers":[31,186],"have":[32],"to":[33,63,89,112,135,157,187,214],"weigh":[34],"up":[35],"the":[36,49,65,90,106,125,136,141,144,158,161,164,185,202,207,211,255,258,264,277,284,288],"benefits":[37],"costs":[39,93],"implementing":[41],"state":[42,54,69,79,103,129,205,209,256,297],"retention":[43,80,192,218],"on":[44,180,244],"some":[45],"all":[47],"gated":[51],"subsystems":[52],"where":[53],"recovery":[55],"has":[56,240],"significant":[57],"real-time":[58],"energy":[60],"cost,":[61],"compared":[62],"resetting":[64],"subsystem":[66],"re-acquiring":[68],"from":[70,84],"scratch.":[71],"Library":[72],"IP":[73],"EDA":[75],"tools":[76],"can":[77,231,271],"support":[78],"hardware":[82],"synthesized":[83],"standard":[85],"RTL,":[86],"but":[87],"due":[88,134,156],"silicon":[91],"area":[92,247,289],"there":[94,117],"strong":[96],"interest":[97],"only":[99],"retaining":[100,254],"certain":[101],"selective":[102,128,191,296],"example":[105],"ldquoarchitectural":[107],"staterdquo":[108],"CPU":[111,212],"implement":[113,190],"sleep":[114,274],"modes.":[115,275],"Currently":[116],"no":[119],"known":[120],"rigourous":[121,291],"technique":[122],"checking":[124,139],"integrity":[126],"retention,":[130],"this":[132,282],"complexity":[137,153],"that":[140,201],"correctness":[142],"design":[145,188,292],"not":[147,263],"compromised":[148],"any":[150],"way.":[151],"The":[152,194],"exacerbated":[155],"interaction":[159],"between":[160],"retained":[162],"non-retained":[165],"state,":[166,269],"exhaustive":[168],"simulation":[169,182],"rapidly":[170],"becomes":[171],"infeasible.":[172],"This":[173,239],"paper":[174],"presents":[175],"case":[177],"study":[178,199,286],"based":[179],"symbolic":[181],"assisting":[184],"correctly.":[193],"main":[195],"finding":[196],"our":[198,280],"programmer":[203],"visible":[204],"architectural":[208],"needs":[213],"be":[215,232],"implemented":[216,233],"using":[217,234],"registers":[219,236],"whilst":[220],"other":[221],"micro-architectural":[222],"enhancements":[223],"such":[224],"as":[225],"pipeline":[226],"registers,":[227],"TLBs":[228],"caches":[230],"normal":[235],"without":[237],"retention.":[238,298],"profound":[242],"impact":[243],"savings":[248],"chip":[250],"design.":[251],"By":[252],"selectively":[253],"programmer's":[259],"ldquoarchitecturalrdquo":[260],"model":[261],"increasing":[265],"proportion":[266],"extra":[268],"one":[270],"incorporate":[272],"energy-efficient":[273],"To":[276],"best":[278],"knowledge":[281],"first":[285],"implementation":[294]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":4}],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2022-05-12T00:00:00"}