{"id":"https://openalex.org/W2937250235","doi":"https://doi.org/10.1109/dcis.2018.8681487","title":"From RTL Liveness Assertions to Cost-Effective Hardware Checkers","display_name":"From RTL Liveness Assertions to Cost-Effective Hardware Checkers","publication_year":2018,"publication_date":"2018-11-01","ids":{"openalex":"https://openalex.org/W2937250235","doi":"https://doi.org/10.1109/dcis.2018.8681487","mag":"2937250235"},"language":"en","primary_location":{"id":"doi:10.1109/dcis.2018.8681487","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dcis.2018.8681487","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 Conference on Design of Circuits and Integrated Systems (DCIS)","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/A5061273179","display_name":"Ranganathan Hariharan","orcid":"https://orcid.org/0000-0002-7791-1561"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":true,"raw_author_name":"Ranganathan Hariharan","raw_affiliation_strings":["Department of Computer Systems, Tallinn University of Technology, Tallinn, Estonia"],"affiliations":[{"raw_affiliation_string":"Department of Computer Systems, Tallinn University of Technology, Tallinn, Estonia","institution_ids":["https://openalex.org/I111112146"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042603430","display_name":"Tara Ghasempouri","orcid":"https://orcid.org/0000-0001-8021-9368"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Tara Ghasempouri","raw_affiliation_strings":["Department of Computer Systems, Tallinn University of Technology, Tallinn, Estonia"],"affiliations":[{"raw_affiliation_string":"Department of Computer Systems, Tallinn University of Technology, Tallinn, Estonia","institution_ids":["https://openalex.org/I111112146"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083053328","display_name":"Behrad Niazmand","orcid":"https://orcid.org/0000-0002-3332-199X"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Behrad Niazmand","raw_affiliation_strings":["Department of Computer Systems, Tallinn University of Technology, Tallinn, Estonia"],"affiliations":[{"raw_affiliation_string":"Department of Computer Systems, Tallinn University of Technology, Tallinn, Estonia","institution_ids":["https://openalex.org/I111112146"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5010286547","display_name":"Jaan Raik","orcid":"https://orcid.org/0000-0001-8113-020X"},"institutions":[{"id":"https://openalex.org/I111112146","display_name":"Tallinn University of Technology","ror":"https://ror.org/0443cwa12","country_code":"EE","type":"education","lineage":["https://openalex.org/I111112146"]}],"countries":["EE"],"is_corresponding":false,"raw_author_name":"Jaan Raik","raw_affiliation_strings":["Department of Computer Systems, Tallinn University of Technology, Tallinn, Estonia"],"affiliations":[{"raw_affiliation_string":"Department of Computer Systems, Tallinn University of Technology, Tallinn, Estonia","institution_ids":["https://openalex.org/I111112146"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5061273179"],"corresponding_institution_ids":["https://openalex.org/I111112146"],"apc_list":null,"apc_paid":null,"fwci":1.0097,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.79805856,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9987999796867371,"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"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/liveness","display_name":"Liveness","score":0.9398412704467773},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7582883238792419},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4973466694355011},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3257695734500885}],"concepts":[{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.9398412704467773},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7582883238792419},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4973466694355011},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3257695734500885}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/dcis.2018.8681487","is_oa":false,"landing_page_url":"https://doi.org/10.1109/dcis.2018.8681487","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2018 Conference on Design of Circuits and Integrated Systems (DCIS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6499999761581421,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1491807613","https://openalex.org/W1500909120","https://openalex.org/W1941805418","https://openalex.org/W1976597924","https://openalex.org/W1979345835","https://openalex.org/W1981151256","https://openalex.org/W1984478483","https://openalex.org/W2001531640","https://openalex.org/W2033709930","https://openalex.org/W2066277072","https://openalex.org/W2094753344","https://openalex.org/W2111654715","https://openalex.org/W2138869010","https://openalex.org/W2147348835","https://openalex.org/W2147556214","https://openalex.org/W2150240033","https://openalex.org/W2171438638","https://openalex.org/W2520961175","https://openalex.org/W2735861787","https://openalex.org/W2890604351","https://openalex.org/W4248877409","https://openalex.org/W4249914973","https://openalex.org/W4251980647","https://openalex.org/W6644480423","https://openalex.org/W6646336964"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1565271071","https://openalex.org/W2081199208","https://openalex.org/W3349016","https://openalex.org/W3160870209","https://openalex.org/W2494011163","https://openalex.org/W2053262709","https://openalex.org/W2139648957","https://openalex.org/W1481041875","https://openalex.org/W2391970076"],"abstract_inverted_index":{"This":[0],"paper":[1,176],"proposes":[2,177],"a":[3,7,25,78,138,148,169,182,186,196,236],"methodology":[4,209],"for":[5,113,132,140,178,184],"producing":[6],"set":[8,187],"of":[9,38,46,52,70,90,104,120,144,150,172,188,245],"high":[10,110,130,162],"quality":[11],"hardware":[12,154,165,225],"checkers":[13,93,167,226],"from":[14,98,168],"Register-Transfer":[15],"Level":[16],"(RTL)":[17],"assertions.":[18,100,216],"Assertion":[19],"Based":[20],"Verification":[21],"(ABV)":[22],"has":[23,41],"become":[24],"highly":[26],"popular":[27],"area":[28],"in":[29,64],"design":[30],"verification.":[31],"On":[32],"the":[33,44,50,53,88,102,118,179,231,243,246],"other":[34],"hand,":[35],"extreme":[36],"down-scaling":[37],"modern":[39],"technologies":[40],"significantly":[42],"increased":[43],"probability":[45],"faults":[47],"occurring":[48],"during":[49],"life-time":[51],"system.":[54],"To":[55],"overcome":[56],"this,":[57],"concurrent":[58,91],"cost-effective":[59,237],"checker":[60,75],"circuitry":[61],"is":[62,77,94,106,137],"required":[63],"order":[65,158],"to":[66,86,95,111,159,227,234],"enable":[67],"fault":[68,163,202],"resilience":[69],"systems.":[71],"Currently,":[72],"designing":[73],"such":[74],"infrastructure":[76],"manual":[79],"and":[80,142,190],"error-prone":[81],"work.":[82],"A":[83],"possible":[84],"solution":[85],"automate":[87],"synthesis":[89],"error":[92],"derive":[96,160],"them":[97,152],"verification":[99,133],"However,":[101],"number":[103,119,171],"assertions":[105,122,146,193,213,223],"generally":[107],"far":[108],"too":[109,129],"allow":[112],"area-efficient":[114],"checking":[115,238],"infrastructure.":[116,239],"Moreover,":[117],"liveness":[121,145,173,192,212],"generated":[123],"by":[124,194],"automated":[125],"methods":[126],"may":[127],"be":[128,228],"even":[131],"purposes.":[134],"Therefore,":[135],"there":[136],"need":[139],"qualification":[141],"minimization":[143],"with":[147,201,206],"prospect":[149],"reusing":[151],"as":[153],"safety":[155,166,215,222],"checkers.":[156],"In":[157],"low-area,":[161],"coverage":[164],"large":[170],"assertions,":[174],"this":[175],"first":[180],"time":[181],"framework":[183,218],"selecting":[185],"high-quality":[189],"minimized":[191],"combining":[195],"new":[197],"data":[198],"mining":[199],"technique":[200],"analysis":[203],"approaches":[204],"along":[205],"assertion":[207],"conversion":[208],"that":[210],"converts":[211],"into":[214,224],"The":[217],"then":[219],"synthesizes":[220],"these":[221],"evaluated":[229],"at":[230],"gate":[232],"level":[233],"provide":[235],"Experimental":[240],"results":[241],"support":[242],"effectiveness":[244],"proposed":[247],"framework.":[248]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}