{"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","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2009.5090927","pdf_url":null,"source":null,"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"},"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/A5075266701","display_name":"Ashish Darbari","orcid":null},"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},"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"},"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"},"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.29124116,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"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/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"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.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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7797008156776428},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7186765074729919},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.6777787804603577},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.6250401139259338},{"id":"https://openalex.org/keywords/programmer","display_name":"Programmer","score":0.46741294860839844},{"id":"https://openalex.org/keywords/standby-power","display_name":"Standby power","score":0.4310173988342285},{"id":"https://openalex.org/keywords/power","display_name":"Power (physics)","score":0.4197055697441101},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.32260745763778687},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10932961106300354}],"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","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2009.5090927","pdf_url":null,"source":null,"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","is_oa":false,"landing_page_url":null,"pdf_url":null,"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,"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":[{"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy","score":0.75}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1543077104","https://openalex.org/W1827563491","https://openalex.org/W1986558678","https://openalex.org/W2099873480","https://openalex.org/W2112643551","https://openalex.org/W2112690812","https://openalex.org/W2124276471","https://openalex.org/W4238927715","https://openalex.org/W4245295230","https://openalex.org/W6671504978"],"related_works":["https://openalex.org/W2379153735","https://openalex.org/W2404647514","https://openalex.org/W1667647204","https://openalex.org/W4247536566","https://openalex.org/W2046172023","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W2972896947","https://openalex.org/W4241418540","https://openalex.org/W85300993"],"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-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}