{"id":"https://openalex.org/W2054368274","doi":"https://doi.org/10.1145/1870109.1870113","title":"Behavior-Level Observability Analysis for Operation Gating in Low-Power Behavioral Synthesis","display_name":"Behavior-Level Observability Analysis for Operation Gating in Low-Power Behavioral Synthesis","publication_year":2010,"publication_date":"2010-11-01","ids":{"openalex":"https://openalex.org/W2054368274","doi":"https://doi.org/10.1145/1870109.1870113","mag":"2054368274"},"language":"en","primary_location":{"id":"doi:10.1145/1870109.1870113","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1870109.1870113","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic 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/A5016776689","display_name":"Jason Cong","orcid":"https://orcid.org/0000-0003-2887-6963"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Jason Cong","raw_affiliation_strings":["University of California, Los Angeles"],"affiliations":[{"raw_affiliation_string":"University of California, Los Angeles","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100682338","display_name":"Bin Liu","orcid":"https://orcid.org/0000-0002-5836-2333"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bin Liu","raw_affiliation_strings":["University of California, Los Angeles"],"affiliations":[{"raw_affiliation_string":"University of California, Los Angeles","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081010207","display_name":"Rupak Majumdar","orcid":"https://orcid.org/0000-0003-2136-0542"},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rupak Majumdar","raw_affiliation_strings":["University of California, Los Angeles"],"affiliations":[{"raw_affiliation_string":"University of California, Los Angeles","institution_ids":["https://openalex.org/I161318765"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037210004","display_name":"Zhiru Zhang","orcid":"https://orcid.org/0000-0002-0778-0308"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhiru Zhang","raw_affiliation_strings":["AutoESL Design Technologies, Inc"],"affiliations":[{"raw_affiliation_string":"AutoESL Design Technologies, Inc","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5016776689"],"corresponding_institution_ids":["https://openalex.org/I161318765"],"apc_list":null,"apc_paid":null,"fwci":0.2527,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.57110966,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"16","issue":"1","first_page":"1","last_page":"29"},"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.9995999932289124,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/observability","display_name":"Observability","score":0.946804940700531},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7775366306304932},{"id":"https://openalex.org/keywords/dataflow","display_name":"Dataflow","score":0.7133039236068726},{"id":"https://openalex.org/keywords/power-gating","display_name":"Power gating","score":0.5294879078865051},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.5049145817756653},{"id":"https://openalex.org/keywords/unobservable","display_name":"Unobservable","score":0.4700333774089813},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.42756712436676025},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4208540916442871},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.23602458834648132},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.14559897780418396},{"id":"https://openalex.org/keywords/transistor","display_name":"Transistor","score":0.12743908166885376}],"concepts":[{"id":"https://openalex.org/C36299963","wikidata":"https://www.wikidata.org/wiki/Q1369844","display_name":"Observability","level":2,"score":0.946804940700531},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7775366306304932},{"id":"https://openalex.org/C96324660","wikidata":"https://www.wikidata.org/wiki/Q205446","display_name":"Dataflow","level":2,"score":0.7133039236068726},{"id":"https://openalex.org/C2780700455","wikidata":"https://www.wikidata.org/wiki/Q7236515","display_name":"Power gating","level":4,"score":0.5294879078865051},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.5049145817756653},{"id":"https://openalex.org/C2780695315","wikidata":"https://www.wikidata.org/wiki/Q3799040","display_name":"Unobservable","level":2,"score":0.4700333774089813},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.42756712436676025},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4208540916442871},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.23602458834648132},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.14559897780418396},{"id":"https://openalex.org/C172385210","wikidata":"https://www.wikidata.org/wiki/Q5339","display_name":"Transistor","level":3,"score":0.12743908166885376},{"id":"https://openalex.org/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"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/C165801399","wikidata":"https://www.wikidata.org/wiki/Q25428","display_name":"Voltage","level":2,"score":0.0},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1870109.1870113","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1870109.1870113","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.221.253","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.221.253","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://cadlab.cs.ucla.edu/%7Econg/papers/j-82.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1567363020","https://openalex.org/W1578592046","https://openalex.org/W1604677972","https://openalex.org/W1989416148","https://openalex.org/W1994298038","https://openalex.org/W1996445094","https://openalex.org/W2076926801","https://openalex.org/W2082321038","https://openalex.org/W2090169195","https://openalex.org/W2092360141","https://openalex.org/W2093842169","https://openalex.org/W2095565544","https://openalex.org/W2116299797","https://openalex.org/W2119765938","https://openalex.org/W2122439715","https://openalex.org/W2124364098","https://openalex.org/W2129183345","https://openalex.org/W2135897641","https://openalex.org/W2147088458","https://openalex.org/W2152938140","https://openalex.org/W2153801278","https://openalex.org/W2169591746","https://openalex.org/W2171299717","https://openalex.org/W2489773810","https://openalex.org/W2623224373","https://openalex.org/W3193564476","https://openalex.org/W4242414053"],"related_works":["https://openalex.org/W2614563012","https://openalex.org/W2046459260","https://openalex.org/W2765830098","https://openalex.org/W2149686805","https://openalex.org/W4294689033","https://openalex.org/W1978158123","https://openalex.org/W4226462367","https://openalex.org/W2967463586","https://openalex.org/W2082642870","https://openalex.org/W2378270039"],"abstract_inverted_index":{"Many":[0],"techniques":[1,32,79,122],"for":[2,179,188],"power":[3,77],"reduction":[4,241],"in":[5,38,95,116,129,242,282,297],"advanced":[6],"RTL":[7,36,76],"synthesis":[8,281],"tools":[9],"rely":[10],"explicitly":[11,50],"or":[12],"implicitly":[13],"on":[14,58,231,252,258],"observability":[15,60,91,112,181,205,273],"don\u2019t-care":[16],"conditions.":[17,182],"In":[18,226],"this":[19,267],"article":[20],"we":[21],"propose":[22,103],"a":[23,52,117,150,227,247,283],"systematic":[24,284],"approach":[25],"to":[26,54,107,136,176,214,219,294],"maximize":[27],"the":[28,64,87,96,126,140,156,166,216,221,262,269],"effectiveness":[29],"of":[30,89,98,113,159,173,223,229,239,264],"these":[31],"by":[33,208,250],"generating":[34],"power-friendly":[35],"descriptions":[37],"behavioral":[39,99,280],"synthesis.":[40,100],"This":[41],"is":[42,134,185,268],"done":[43],"using":[44,75],"operation":[45,56,115,217,224],"gating":[46],",":[47],"that":[48,63,288],"is,":[49],"adding":[51],"predicate":[53],"an":[55,104,109,237],"based":[57],"its":[59,93],"condition,":[61],"so":[62],"operation,":[65,168],"once":[66],"identified":[67],"as":[68,81,163,165,200],"unobservable":[69],"at":[70,125,139],"runtime,":[71],"can":[72,211,291],"be":[73,177,212,292],"avoided":[74],"optimization":[78,276],"such":[80],"clock":[82],"gating.":[83,225],"We":[84,101,286],"first":[85,270],"introduce":[86],"concept":[88],"behavior-level":[90,111,204,272],"and":[92,143,169,254,275],"approximations":[94],"context":[97],"then":[102],"efficient":[105],"procedure":[106],"compute":[108],"approximated":[110],"every":[114],"dataflow":[118,190],"graph.":[119],"Unlike":[120],"previous":[121,248],"which":[123],"work":[124],"bit":[127],"level":[128],"Boolean":[130,161],"networks,":[131],"our":[132,209,234,265,289],"method":[133,235,249],"able":[135],"perform":[137],"analysis":[138,210,274],"word":[141],"level,":[142],"thus":[144],"avoids":[145],"most":[146],"computation":[147],"effort":[148],"with":[149],"reasonable":[151],"approximation.":[152],"Our":[153],"algorithm":[154],"exploits":[155],"observability-masking":[157],"nature":[158],"some":[160],"operations,":[162],"well":[164],"select":[167,197],"allows":[170],"certain":[171],"forms":[172],"other":[174,195],"knowledge":[175],"considered":[178],"stronger":[180],"The":[183,203],"approximation":[184],"proved":[186],"exact":[187],"(acyclic)":[189],"graphs":[191],"when":[192],"non-Boolean":[193],"operations":[194],"than":[196],"are":[198,277],"treated":[199],"black":[201],"boxes.":[202],"condition":[206],"obtained":[207],"used":[213],"guide":[215],"scheduler":[218],"optimize":[220],"efficiency":[222],"set":[228],"experiments":[230],"real-world":[232],"designs,":[233],"achieves":[236],"average":[238,253],"33.9%":[240],"total":[243],"power;":[244],"it":[245],"outperforms":[246],"17.1%":[251],"gives":[255],"close-to-optimal":[256],"solutions":[257],"several":[259],"designs.":[260],"To":[261],"best":[263],"knowledge,":[266],"time":[271],"performed":[278],"during":[279],"manner.":[285],"believe":[287],"idea":[290],"applied":[293],"compiler":[295],"transformations":[296],"general.":[298]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}