{"id":"https://openalex.org/W2899776668","doi":"https://doi.org/10.1145/3240765.3240852","title":"Steep coverage-ascent directed test generation for shared-memory verification of multicore chips","display_name":"Steep coverage-ascent directed test generation for shared-memory verification of multicore chips","publication_year":2018,"publication_date":"2018-11-05","ids":{"openalex":"https://openalex.org/W2899776668","doi":"https://doi.org/10.1145/3240765.3240852","mag":"2899776668"},"language":"en","primary_location":{"id":"doi:10.1145/3240765.3240852","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3240765.3240852","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the International Conference on Computer-Aided Design","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/A5024446418","display_name":"Gabriel A. G. Andrade","orcid":"https://orcid.org/0000-0003-2269-7331"},"institutions":[{"id":"https://openalex.org/I4104125","display_name":"Universidade Federal de Santa Catarina","ror":"https://ror.org/041akq887","country_code":"BR","type":"education","lineage":["https://openalex.org/I4104125"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Gabriel A. G. Andrade","raw_affiliation_strings":["Federal University of Santa Catarina, Florian\u00f3polis, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Federal University of Santa Catarina, Florian\u00f3polis, Brazil","institution_ids":["https://openalex.org/I4104125"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036918040","display_name":"Marleson Graf","orcid":"https://orcid.org/0000-0003-3636-1126"},"institutions":[{"id":"https://openalex.org/I4104125","display_name":"Universidade Federal de Santa Catarina","ror":"https://ror.org/041akq887","country_code":"BR","type":"education","lineage":["https://openalex.org/I4104125"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Marleson Graf","raw_affiliation_strings":["Federal University of Santa Catarina, Florian\u00f3polis, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Federal University of Santa Catarina, Florian\u00f3polis, Brazil","institution_ids":["https://openalex.org/I4104125"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029601949","display_name":"N\u00edcolas Pfeifer","orcid":"https://orcid.org/0000-0001-8668-181X"},"institutions":[{"id":"https://openalex.org/I4104125","display_name":"Universidade Federal de Santa Catarina","ror":"https://ror.org/041akq887","country_code":"BR","type":"education","lineage":["https://openalex.org/I4104125"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"N\u00edcolas Pfeifer","raw_affiliation_strings":["Federal University of Santa Catarina, Florian\u00f3polis, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Federal University of Santa Catarina, Florian\u00f3polis, Brazil","institution_ids":["https://openalex.org/I4104125"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5033216070","display_name":"Luiz C. V. dos Santos","orcid":"https://orcid.org/0000-0002-9384-8347"},"institutions":[{"id":"https://openalex.org/I4104125","display_name":"Universidade Federal de Santa Catarina","ror":"https://ror.org/041akq887","country_code":"BR","type":"education","lineage":["https://openalex.org/I4104125"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Luiz C. V. dos Santos","raw_affiliation_strings":["Federal University of Santa Catarina, Florian\u00f3polis, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Federal University of Santa Catarina, Florian\u00f3polis, Brazil","institution_ids":["https://openalex.org/I4104125"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4104125"],"apc_list":null,"apc_paid":null,"fwci":0.7126,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.72054921,"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":"8"},"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.9997000098228455,"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.9997000098228455,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9988999962806702,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9987999796867371,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8479372262954712},{"id":"https://openalex.org/keywords/cache-coherence","display_name":"Cache coherence","score":0.5771702527999878},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.5741742253303528},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.5104071497917175},{"id":"https://openalex.org/keywords/generator","display_name":"Generator (circuit theory)","score":0.5011513233184814},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.4599977433681488},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.4590747058391571},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.4390580952167511},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.392935186624527},{"id":"https://openalex.org/keywords/cpu-cache","display_name":"CPU cache","score":0.332200825214386},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.3245275914669037},{"id":"https://openalex.org/keywords/cache-algorithms","display_name":"Cache algorithms","score":0.1702587604522705},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.16350892186164856},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1551150679588318}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8479372262954712},{"id":"https://openalex.org/C141917322","wikidata":"https://www.wikidata.org/wiki/Q1025017","display_name":"Cache coherence","level":5,"score":0.5771702527999878},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.5741742253303528},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.5104071497917175},{"id":"https://openalex.org/C2780992000","wikidata":"https://www.wikidata.org/wiki/Q17016113","display_name":"Generator (circuit theory)","level":3,"score":0.5011513233184814},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.4599977433681488},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.4590747058391571},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.4390580952167511},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.392935186624527},{"id":"https://openalex.org/C189783530","wikidata":"https://www.wikidata.org/wiki/Q352090","display_name":"CPU cache","level":3,"score":0.332200825214386},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.3245275914669037},{"id":"https://openalex.org/C38556500","wikidata":"https://www.wikidata.org/wiki/Q13404475","display_name":"Cache algorithms","level":4,"score":0.1702587604522705},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.16350892186164856},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1551150679588318},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3240765.3240852","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3240765.3240852","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the International Conference on Computer-Aided Design","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.4300000071525574}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1627749639","https://openalex.org/W1857467995","https://openalex.org/W2042831455","https://openalex.org/W2051821475","https://openalex.org/W2064769333","https://openalex.org/W2098165956","https://openalex.org/W2136357775","https://openalex.org/W2141618784","https://openalex.org/W2147657366","https://openalex.org/W2151460056","https://openalex.org/W2157452647","https://openalex.org/W2166422778","https://openalex.org/W2325421623","https://openalex.org/W3142998713","https://openalex.org/W3151820404","https://openalex.org/W4235687642"],"related_works":["https://openalex.org/W2337418885","https://openalex.org/W4207012101","https://openalex.org/W2167303720","https://openalex.org/W2497617944","https://openalex.org/W1563139915","https://openalex.org/W2109715593","https://openalex.org/W2061075966","https://openalex.org/W3147501184","https://openalex.org/W2268996566","https://openalex.org/W4256652509"],"abstract_inverted_index":{"This":[0],"paper":[1],"proposes":[2],"a":[3,21,51,61,119,129],"framework":[4],"for":[5,42,53,91,101,140],"functional":[6],"verification":[7,63,85],"of":[8,28,36,67,106],"shared":[9],"memory":[10],"that":[11,161],"relies":[12],"on":[13,45],"reusable":[14,79],"coverage-driven":[15],"directed":[16],"test":[17],"generation.":[18],"It":[19],"reveals":[20],"new":[22],"mechanism":[23],"to":[24,114,180],"improve":[25],"the":[26,55,75,89,98,144,154,167],"quality":[27],"non-deterministic":[29],"tests.":[30],"The":[31,108],"generator":[32,77],"exploits":[33],"general":[34],"properties":[35],"coherence":[37,70],"protocols":[38],"and":[39,72,84,94,97,122],"cache":[40,73],"memories":[41],"better":[43],"control":[44],"transition":[46],"coverage,":[47],"which":[48],"serves":[49],"as":[50,118],"proxy":[52],"increasing":[54],"actual":[56],"coverage":[57,68,90,117,148],"metric":[58],"adopted":[59],"in":[60,178],"given":[62],"environment.":[64],"Being":[65],"independent":[66],"metric,":[69],"protocol,":[71],"parameters,":[74],"proposed":[76,109],"is":[78],"across":[80],"quite":[81],"different":[82,104],"designs":[83,96],"environments.":[86],"We":[87],"report":[88],"8,":[92],"16,":[93],"32-core":[95,142],"effort":[99],"required":[100],"exposing":[102],"nine":[103],"types":[105],"errors.":[107],"technique":[110,177],"was":[111],"always":[112,124],"able":[113],"reach":[115],"similar":[116],"state-of-the-art":[120],"generator,":[121],"it":[123,126],"did":[125],"faster":[127,152],"above":[128],"certain":[130],"threshold.":[131],"For":[132],"instance,":[133],"when":[134],"executing":[135],"tests":[136],"with":[137],"1K":[138],"operations":[139],"verifying":[141],"designs,":[143],"former":[145],"reached":[146],"65%":[147],"around":[149],"5":[150,179],"times":[151],"than":[153],"latter.":[155],"Besides,":[156],"we":[157],"identified":[158],"challenging":[159],"errors":[160],"could":[162],"hardly":[163],"be":[164],"found":[165],"by":[166,175],"latter":[168],"within":[169],"one":[170],"hour,":[171],"but":[172],"were":[173],"exposed":[174],"our":[176],"30":[181],"minutes.":[182]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-06-26T08:34:08.712188","created_date":"2025-10-10T00:00:00"}