{"id":"https://openalex.org/W2401438991","doi":"https://doi.org/10.1109/isqed.2016.7479191","title":"Covgen: A framework for automatic extraction of functional coverage models","display_name":"Covgen: A framework for automatic extraction of functional coverage models","publication_year":2016,"publication_date":"2016-03-01","ids":{"openalex":"https://openalex.org/W2401438991","doi":"https://doi.org/10.1109/isqed.2016.7479191","mag":"2401438991"},"language":"en","primary_location":{"id":"doi:10.1109/isqed.2016.7479191","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isqed.2016.7479191","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 17th International Symposium on Quality Electronic Design (ISQED)","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/A5001510113","display_name":"Eman El Mandouh","orcid":null},"institutions":[{"id":"https://openalex.org/I4210099704","display_name":"Mentor","ror":"https://ror.org/016grqh48","country_code":"GB","type":"nonprofit","lineage":["https://openalex.org/I4210099704"]},{"id":"https://openalex.org/I105695857","display_name":"Siemens (Hungary)","ror":"https://ror.org/01rk7mv85","country_code":"HU","type":"company","lineage":["https://openalex.org/I105695857","https://openalex.org/I1325886976"]}],"countries":["GB","HU"],"is_corresponding":true,"raw_author_name":"Eman El Mandouh","raw_affiliation_strings":["Mentor Graphics Corporation"],"affiliations":[{"raw_affiliation_string":"Mentor Graphics Corporation","institution_ids":["https://openalex.org/I105695857","https://openalex.org/I4210099704"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049534161","display_name":"Amr G. Wassal","orcid":"https://orcid.org/0000-0001-6009-4174"},"institutions":[{"id":"https://openalex.org/I145487455","display_name":"Cairo University","ror":"https://ror.org/03q21mh05","country_code":"EG","type":"education","lineage":["https://openalex.org/I145487455"]}],"countries":["EG"],"is_corresponding":false,"raw_author_name":"Amr G. Wassal","raw_affiliation_strings":["Computer Engineering Department Cairo University, Egypt"],"affiliations":[{"raw_affiliation_string":"Computer Engineering Department Cairo University, Egypt","institution_ids":["https://openalex.org/I145487455"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5001510113"],"corresponding_institution_ids":["https://openalex.org/I105695857","https://openalex.org/I4210099704"],"apc_list":null,"apc_paid":null,"fwci":1.0454,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.79162304,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"10","issue":null,"first_page":"146","last_page":"151"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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.9993000030517578,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9983000159263611,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9968000054359436,"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/computer-science","display_name":"Computer science","score":0.818770170211792},{"id":"https://openalex.org/keywords/guard","display_name":"Guard (computer science)","score":0.5491054058074951},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.5396570563316345},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.5365787744522095},{"id":"https://openalex.org/keywords/pruning","display_name":"Pruning","score":0.5322446823120117},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.4977019131183624},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.467292845249176},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.4420281648635864},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4229179620742798},{"id":"https://openalex.org/keywords/cover","display_name":"Cover (algebra)","score":0.4143570065498352},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3306860327720642},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16574141383171082}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.818770170211792},{"id":"https://openalex.org/C141141315","wikidata":"https://www.wikidata.org/wiki/Q2379942","display_name":"Guard (computer science)","level":2,"score":0.5491054058074951},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.5396570563316345},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.5365787744522095},{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.5322446823120117},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.4977019131183624},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.467292845249176},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.4420281648635864},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4229179620742798},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.4143570065498352},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3306860327720642},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16574141383171082},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/isqed.2016.7479191","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isqed.2016.7479191","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 17th International Symposium on Quality Electronic Design (ISQED)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.41999998688697815}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W137141504","https://openalex.org/W1972347219","https://openalex.org/W2006955715","https://openalex.org/W2041649123","https://openalex.org/W2054971796","https://openalex.org/W2059376007","https://openalex.org/W2094624312","https://openalex.org/W2102853656","https://openalex.org/W2105279414","https://openalex.org/W2118970405","https://openalex.org/W2121206032","https://openalex.org/W2139294617","https://openalex.org/W2151358358","https://openalex.org/W2168238416","https://openalex.org/W2793469892","https://openalex.org/W3140799942","https://openalex.org/W3142765463","https://openalex.org/W3145296564","https://openalex.org/W4251903747","https://openalex.org/W4285719527","https://openalex.org/W6664878660","https://openalex.org/W6749925733"],"related_works":["https://openalex.org/W3120172095","https://openalex.org/W2118572231","https://openalex.org/W2106507440","https://openalex.org/W2105593427","https://openalex.org/W2108860137","https://openalex.org/W3209085687","https://openalex.org/W2125238773","https://openalex.org/W2153955347","https://openalex.org/W1928822090","https://openalex.org/W2533078207"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"a":[3,154],"framework":[4,157],"to":[5,48,99,111,158],"automatically":[6],"generate":[7],"an":[8],"implementation-aware":[9],"functional":[10,16,149],"coverage":[11,17,150,162],"model.":[12,151],"The":[13],"generation":[14,184],"of":[15,25,37,69,89,94,116,122,185],"model":[18,163],"is":[19,46,97],"based":[20,172],"on":[21],"the":[22,26,34,66,70,90,101,113,120,147,160,183],"static":[23],"elaboration":[24],"design":[27,50,61,77,129,135],"under":[28],"verification":[29,156,167],"(DUV)":[30],"as":[31,33,53,80,82,87,131,133,140,168,170],"well":[32,81,132,169],"dynamic":[35],"analysis":[36,45,96],"DUV":[38],"simulation":[39,125],"trace":[40],"using":[41],"data-mining":[42],"techniques.":[43],"Static":[44],"used":[47,196],"extracts":[49],"attributes":[51,136],"such":[52],"input/out":[54],"ports,":[55],"Finite":[56],"State":[57],"Machines":[58],"(FSMs)":[59],"and":[60,106,144,188,194],"variables":[62],"that":[63,164,178,191],"appear":[64],"in":[65,146,182,197],"guard":[67],"expressions":[68],"design's":[71],"control":[72],"flow.":[73],"While":[74],"strongly":[75],"correlated":[76,128],"signals":[78,130],"pairs":[79],"frequent":[83],"patterns/sequences":[84],"are":[85,109,137,192],"detected":[86],"part":[88],"miming":[91],"step.":[92],"Cone":[93],"influence":[95],"utilized":[98],"guide":[100],"mining":[102,121],"phase.":[103],"Rule":[104],"pruning":[105],"evaluation":[107],"techniques":[108],"defined":[110],"reduce":[112],"huge":[114],"number":[115],"generated":[117,161],"properties":[118,190],"from":[119],"large":[123],"designs'":[124],"data.":[126],"Strongly":[127],"useful":[134],"then":[138],"fed":[139],"candidate":[141],"cross-coverage":[142],"bins":[143],"cover-points":[145],"final":[148],"We":[152],"propose":[153],"complete":[155],"validate":[159],"utilizes":[165],"Formal":[166],"mutation":[171],"testing.":[173],"Our":[174],"experimental":[175],"results":[176],"show":[177],"this":[179],"approach":[180],"helps":[181],"interesting":[186],"coverpoints":[187],"cover":[189],"common":[193],"widely":[195],"today's":[198],"RTL":[199],"designs.":[200]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}