{"id":"https://openalex.org/W4401336835","doi":"https://doi.org/10.1109/iolts60994.2024.10616069","title":"Automatic High Functional Coverage Stimuli Generation for Assertion-based Verification","display_name":"Automatic High Functional Coverage Stimuli Generation for Assertion-based Verification","publication_year":2024,"publication_date":"2024-07-03","ids":{"openalex":"https://openalex.org/W4401336835","doi":"https://doi.org/10.1109/iolts60994.2024.10616069"},"language":"en","primary_location":{"id":"doi:10.1109/iolts60994.2024.10616069","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iolts60994.2024.10616069","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 30th International Symposium on On-Line Testing and Robust System Design (IOLTS)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-05262016/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5111280935","display_name":"Hossein Rostami","orcid":null},"institutions":[{"id":"https://openalex.org/I99861883","display_name":"University of Zanjan","ror":"https://ror.org/05e34ej29","country_code":"IR","type":"education","lineage":["https://openalex.org/I99861883"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Hossein Rostami","raw_affiliation_strings":["University of Zanjan,Zanjan,Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Zanjan,Zanjan,Iran","institution_ids":["https://openalex.org/I99861883"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108822190","display_name":"Mostafa Hosseini","orcid":null},"institutions":[{"id":"https://openalex.org/I99861883","display_name":"University of Zanjan","ror":"https://ror.org/05e34ej29","country_code":"IR","type":"education","lineage":["https://openalex.org/I99861883"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Mostafa Hosseini","raw_affiliation_strings":["University of Zanjan,Zanjan,Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Zanjan,Zanjan,Iran","institution_ids":["https://openalex.org/I99861883"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061289292","display_name":"Ali Azarpeyvand","orcid":"https://orcid.org/0000-0002-4166-7528"},"institutions":[{"id":"https://openalex.org/I99861883","display_name":"University of Zanjan","ror":"https://ror.org/05e34ej29","country_code":"IR","type":"education","lineage":["https://openalex.org/I99861883"]}],"countries":["IR"],"is_corresponding":false,"raw_author_name":"Ali Azarpeyvand","raw_affiliation_strings":["University of Zanjan,Zanjan,Iran"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Zanjan,Zanjan,Iran","institution_ids":["https://openalex.org/I99861883"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020004399","display_name":"Mohammad Reza Heidari Iman","orcid":"https://orcid.org/0000-0003-2878-6124"},"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":"Mohammad Reza Heidari Iman","raw_affiliation_strings":["Tallinn University of Technology,Tallinn,Estonia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tallinn University of Technology,Tallinn,Estonia","institution_ids":["https://openalex.org/I111112146"]}]},{"author_position":"last","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":["Tallinn University of Technology,Tallinn,Estonia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Tallinn University of Technology,Tallinn,Estonia","institution_ids":["https://openalex.org/I111112146"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5991,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.8537182,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"7"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9991000294685364,"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/T10142","display_name":"Formal Methods in Verification","score":0.9976000189781189,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9891999959945679,"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/assertion","display_name":"Assertion","score":0.8556157946586609},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7550039291381836},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.41478148102760315},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3635191321372986},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.29587143659591675}],"concepts":[{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.8556157946586609},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7550039291381836},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.41478148102760315},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3635191321372986},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.29587143659591675}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/iolts60994.2024.10616069","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iolts60994.2024.10616069","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 30th International Symposium on On-Line Testing and Robust System Design (IOLTS)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-05262016v1","is_oa":true,"landing_page_url":"https://hal.science/hal-05262016","pdf_url":"https://hal.science/hal-05262016/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEELink","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:HAL:hal-05262016v1","is_oa":true,"landing_page_url":"https://hal.science/hal-05262016","pdf_url":"https://hal.science/hal-05262016/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEELink","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7582950754","display_name":"Cross-level hardware security verification with semi-formal methods","funder_award_id":"PSG837","funder_id":"https://openalex.org/F4320321090","funder_display_name":"Eesti Teadusagentuur"}],"funders":[{"id":"https://openalex.org/F4320321090","display_name":"Eesti Teadusagentuur","ror":"https://ror.org/00jjeja18"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4401336835.pdf","grobid_xml":"https://content.openalex.org/works/W4401336835.grobid-xml"},"referenced_works_count":22,"referenced_works":["https://openalex.org/W98480971","https://openalex.org/W255296881","https://openalex.org/W1797377815","https://openalex.org/W1909135950","https://openalex.org/W1912545282","https://openalex.org/W1981151256","https://openalex.org/W2031058408","https://openalex.org/W2057730178","https://openalex.org/W2588440208","https://openalex.org/W2626078224","https://openalex.org/W2725928966","https://openalex.org/W2912517205","https://openalex.org/W2986580860","https://openalex.org/W4210725750","https://openalex.org/W4235603350","https://openalex.org/W4241531852","https://openalex.org/W4249914973","https://openalex.org/W4252251132","https://openalex.org/W4308899754","https://openalex.org/W4317611831","https://openalex.org/W6681801223","https://openalex.org/W6790848453"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W1498103021","https://openalex.org/W4230849338","https://openalex.org/W4295166216","https://openalex.org/W2177044681","https://openalex.org/W2382023983","https://openalex.org/W2182055894","https://openalex.org/W1984559585"],"abstract_inverted_index":{"Assertion-based":[0],"verification":[1,157],"is":[2,24,33],"a":[3,37,115,123,162,191,217],"promising":[4],"method":[5,39,186,201],"that":[6,113,165,199,224],"uses":[7,161],"predefined":[8],"rules,":[9],"known":[10],"as":[11,36],"assertions,":[12],"to":[13,69,144],"check":[14],"the":[15,53,56,63,66,71,96,105,119,141,149,156,170,175,178,184,212],"functionality":[16],"of":[17,52,58,65,136,148],"hardware":[18],"designs.":[19],"The":[20,180,196],"manual":[21],"assertion":[22,31,41,45,193],"definition":[23],"time-consuming":[25],"and":[26,168,173],"requires":[27],"expert":[28],"knowledge.":[29],"Automatic":[30],"mining":[32],"gaining":[34],"acceptance":[35],"trustworthy":[38],"for":[40,118,126],"definition.":[42],"Some":[43],"automatic":[44],"miners":[46],"extract":[47],"assertions":[48,60,181,223],"from":[49],"simulation":[50,111],"traces":[51,112],"design,":[54],"but":[55,108],"quality":[57],"mined":[59],"depends":[61],"on":[62,130],"coverage":[64,163],"stimuli":[67,74,143],"used":[68],"generate":[70],"traces.":[72],"Existing":[73],"generation":[75,128],"methods":[76],"are":[77,225],"either":[78],"random":[79,83,132],"or":[80],"exhaustive.":[81],"A":[82,134],"approach":[84,101,125,160],"can":[85,102],"only":[86],"cover":[87,103],"some":[88],"design":[89,106,150,213],"behavior,":[90],"resulting":[91],"in":[92,177,211,216],"incomplete":[93],"assertions.":[94],"On":[95],"other":[97],"hand,":[98],"an":[99],"exhaustive":[100],"all":[104],"behavior":[107],"produces":[109,222],"lengthy":[110],"cause":[114],"high":[116],"overhead":[117],"miner.":[120],"We":[121],"propose":[122],"novel":[124],"stimul":[127],"based":[129],"constraint":[131],"verification.":[133,179],"set":[135],"user-defined":[137],"metrics":[138],"then":[139],"examines":[140],"generated":[142,182],"measure":[145],"how":[146],"much":[147],"specification":[151],"has":[152],"been":[153,188],"exercised":[154],"by":[155,183],"environment.":[158],"Our":[159],"model":[164],"defines,":[166],"collects,":[167],"analyzes":[169],"design\u2019s":[171],"functionalities":[172],"identifies":[174],"gaps":[176],"proposed":[185],"have":[187],"compared":[189],"with":[190],"well-known":[192],"miner,":[194],"GoldMine.":[195],"result":[197],"showed":[198],"our":[200],"detects":[202],"$\\mathbf{2":[203],"0":[204],".":[205],"6":[206],"3":[207],"\\%}$":[208,229],"more":[209,230],"faults":[210],"than":[214],"GoldMine":[215],"shorter":[218],"time.":[219],"Moreover,":[220],"it":[221],"about":[226],"$\\mathbf{7":[227],"9":[228],"effective.":[231]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":2}],"updated_date":"2026-08-18T07:49:30.821534","created_date":"2025-10-10T00:00:00"}