{"id":"https://openalex.org/W3146184603","doi":"https://doi.org/10.1109/date.2012.6176449","title":"Approximating checkers for simulation acceleration","display_name":"Approximating checkers for simulation acceleration","publication_year":2012,"publication_date":"2012-03-01","ids":{"openalex":"https://openalex.org/W3146184603","doi":"https://doi.org/10.1109/date.2012.6176449","mag":"3146184603"},"language":"en","primary_location":{"id":"doi:10.1109/date.2012.6176449","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2012.6176449","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)","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/A5034607560","display_name":"Biruk Mammo","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"B. Mammo","raw_affiliation_strings":["University of Michigan"],"affiliations":[{"raw_affiliation_string":"University of Michigan","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111304662","display_name":"D. Chatterjee","orcid":null},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"D. Chatterjee","raw_affiliation_strings":["University of Michigan, USA"],"affiliations":[{"raw_affiliation_string":"University of Michigan, USA","institution_ids":["https://openalex.org/I27837315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061376120","display_name":"Dmitry Pidan","orcid":null},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"D. Pidan","raw_affiliation_strings":["IBM Research Lab, Haifa","IBM Research Laboratory, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"IBM Research Lab, Haifa","institution_ids":["https://openalex.org/I4210167297"]},{"raw_affiliation_string":"IBM Research Laboratory, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083923985","display_name":"Amir Nahir","orcid":null},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"A. Nahir","raw_affiliation_strings":["IBM Research Lab, Haifa","IBM Research Laboratory, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"IBM Research Lab, Haifa","institution_ids":["https://openalex.org/I4210167297"]},{"raw_affiliation_string":"IBM Research Laboratory, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041046910","display_name":"Avi Ziv","orcid":"https://orcid.org/0000-0002-6309-250X"},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"A. Ziv","raw_affiliation_strings":["IBM Research Lab, Haifa","IBM Research Laboratory, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"IBM Research Lab, Haifa","institution_ids":["https://openalex.org/I4210167297"]},{"raw_affiliation_string":"IBM Research Laboratory, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078990888","display_name":"Ronny Morad","orcid":null},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"R. Morad","raw_affiliation_strings":["IBM Research Lab, Haifa","IBM Research Laboratory, Haifa, Israel"],"affiliations":[{"raw_affiliation_string":"IBM Research Lab, Haifa","institution_ids":["https://openalex.org/I4210167297"]},{"raw_affiliation_string":"IBM Research Laboratory, Haifa, Israel","institution_ids":["https://openalex.org/I4210167297"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030335506","display_name":"Valeria Bertacco","orcid":"https://orcid.org/0000-0002-0319-3368"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"V. Bertacco","raw_affiliation_strings":["University of Michigan, USA"],"affiliations":[{"raw_affiliation_string":"University of Michigan, USA","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5034607560"],"corresponding_institution_ids":["https://openalex.org/I27837315"],"apc_list":null,"apc_paid":null,"fwci":0.8702,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.75960277,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"153","last_page":"158"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.998199999332428,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.998199999332428,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9980999827384949,"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9939000010490417,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/acceleration","display_name":"Acceleration","score":0.8060519099235535},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6917275786399841},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.13765603303909302}],"concepts":[{"id":"https://openalex.org/C117896860","wikidata":"https://www.wikidata.org/wiki/Q11376","display_name":"Acceleration","level":2,"score":0.8060519099235535},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6917275786399841},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.13765603303909302},{"id":"https://openalex.org/C74650414","wikidata":"https://www.wikidata.org/wiki/Q11397","display_name":"Classical mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/date.2012.6176449","is_oa":false,"landing_page_url":"https://doi.org/10.1109/date.2012.6176449","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 Design, Automation & Test in Europe Conference & Exhibition (DATE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/7","score":0.6600000262260437,"display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1563088657","https://openalex.org/W2002518192","https://openalex.org/W2105167627","https://openalex.org/W2105337588","https://openalex.org/W2121316343","https://openalex.org/W2122146819","https://openalex.org/W2123613958","https://openalex.org/W2133143481","https://openalex.org/W2133767982","https://openalex.org/W2143849045","https://openalex.org/W2148658001","https://openalex.org/W2154168135","https://openalex.org/W3145251277","https://openalex.org/W4236432903","https://openalex.org/W4239352486","https://openalex.org/W6678646387"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W4402327032","https://openalex.org/W2382290278"],"abstract_inverted_index":{"Simulation-based":[0],"functional":[1],"verification":[2,22,40],"is":[3,16],"the":[4,8,29,39,59,136],"key":[5],"validation":[6],"methodology":[7],"industry.":[9],"The":[10],"performance":[11],"of":[12,63,77,101,151],"logic":[13,93,110],"simulators,":[14],"however,":[15],"not":[17,57],"sufficient":[18],"to":[19,38,71,99,120],"attain":[20],"acceptable":[21],"coverage":[23,49],"on":[24,138,155],"large":[25],"industrial":[26],"designs":[27],"within":[28],"time-frame":[30],"available.":[31],"Acceleration":[32],"platforms":[33,55],"are":[34],"a":[35,68,144,149,156],"valuable":[36],"addition":[37],"effort":[41],"in":[42,50],"that":[43,100],"they":[44],"can":[45,131],"provide":[46,58,160],"much":[47],"higher":[48],"less":[51],"time.":[52],"Unfortunately,":[53],"these":[54],"do":[56],"rich":[60],"checking":[61],"capability":[62],"software-based":[64],"simulation.":[65],"We":[66,142],"propose":[67,148],"novel":[69,118],"solution":[70],"deploy":[72],"those":[73],"complex":[74,122],"checkers,":[75],"typical":[76],"simulation-based":[78],"environments,":[79],"onto":[80],"acceleration":[81,140],"platforms.":[82],"To":[83],"this":[84],"end,":[85],"checkers":[86,124],"must":[87],"be":[88,132],"transformed":[89],"into":[90,125],"synthesizable,":[91],"compact":[92],"blocks":[94],"with":[95,112,135],"bug-detection":[96],"capabilities":[97],"similar":[98],"their":[102],"software":[103,123],"counterparts.":[104],"Our":[105],"\u201capproximate":[106],"checkers\u201d":[107],"trade":[108],"off":[109],"complexity":[111],"bug":[113,165],"detection":[114,166],"accuracy":[115],"by":[116],"leveraging":[117],"techniques":[119,153],"approximate":[121],"small":[126],"synthesizable":[127],"hardware":[128],"blocks,":[129],"which":[130],"simulated":[133],"along":[134],"design":[137],"an":[139],"platform.":[141],"present":[143],"general":[145],"checker":[146],"taxonomy,":[147],"range":[150],"approximation":[152],"based":[154],"checker's":[157],"characteristic":[158],"and":[159],"metrics":[161],"for":[162],"evaluating":[163],"its":[164],"capabilities.":[167]},"counts_by_year":[{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}