{"id":"https://openalex.org/W2079417464","doi":"https://doi.org/10.1145/2209291.2209304","title":"Model-driven automation for simulation-based functional verification","display_name":"Model-driven automation for simulation-based functional verification","publication_year":2012,"publication_date":"2012-06-01","ids":{"openalex":"https://openalex.org/W2079417464","doi":"https://doi.org/10.1145/2209291.2209304","mag":"2079417464"},"language":"en","primary_location":{"id":"doi:10.1145/2209291.2209304","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2209291.2209304","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-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/A5018280141","display_name":"\u00c9amonn Linehan","orcid":null},"institutions":[{"id":"https://openalex.org/I205274468","display_name":"Trinity College Dublin","ror":"https://ror.org/02tyrky19","country_code":"IE","type":"education","lineage":["https://openalex.org/I205274468"]}],"countries":["IE"],"is_corresponding":true,"raw_author_name":"\u00c9amonn Linehan","raw_affiliation_strings":["Trinity College Dublin, Ireland","Trinity College, Dublin Ireland"],"affiliations":[{"raw_affiliation_string":"Trinity College Dublin, Ireland","institution_ids":["https://openalex.org/I205274468"]},{"raw_affiliation_string":"Trinity College, Dublin Ireland","institution_ids":["https://openalex.org/I205274468"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082677024","display_name":"Eamonn O'Toole","orcid":"https://orcid.org/0000-0003-4610-1483"},"institutions":[{"id":"https://openalex.org/I205274468","display_name":"Trinity College Dublin","ror":"https://ror.org/02tyrky19","country_code":"IE","type":"education","lineage":["https://openalex.org/I205274468"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Eamonn O'Toole","raw_affiliation_strings":["Trinity College Dublin, Ireland","Trinity College, Dublin Ireland"],"affiliations":[{"raw_affiliation_string":"Trinity College Dublin, Ireland","institution_ids":["https://openalex.org/I205274468"]},{"raw_affiliation_string":"Trinity College, Dublin Ireland","institution_ids":["https://openalex.org/I205274468"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047083691","display_name":"Siobh\u00e1n Clarke","orcid":"https://orcid.org/0000-0001-5721-9976"},"institutions":[{"id":"https://openalex.org/I205274468","display_name":"Trinity College Dublin","ror":"https://ror.org/02tyrky19","country_code":"IE","type":"education","lineage":["https://openalex.org/I205274468"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Siobh\u00e1n Clarke","raw_affiliation_strings":["Trinity College Dublin, Ireland","Trinity College, Dublin Ireland"],"affiliations":[{"raw_affiliation_string":"Trinity College Dublin, Ireland","institution_ids":["https://openalex.org/I205274468"]},{"raw_affiliation_string":"Trinity College, Dublin Ireland","institution_ids":["https://openalex.org/I205274468"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5018280141"],"corresponding_institution_ids":["https://openalex.org/I205274468"],"apc_list":null,"apc_paid":null,"fwci":0.4285,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.72483727,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"17","issue":"3","first_page":"1","last_page":"25"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998999834060669,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9995999932289124,"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.8515138626098633},{"id":"https://openalex.org/keywords/maintainability","display_name":"Maintainability","score":0.6899387836456299},{"id":"https://openalex.org/keywords/reusability","display_name":"Reusability","score":0.6657105088233948},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.6517422199249268},{"id":"https://openalex.org/keywords/high-level-verification","display_name":"High-level verification","score":0.5536978244781494},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.5437660217285156},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4949423670768738},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.4699554443359375},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4585021436214447},{"id":"https://openalex.org/keywords/electronic-system-level-design-and-verification","display_name":"Electronic system-level design and verification","score":0.4548315703868866},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4534563720226288},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.42733532190322876},{"id":"https://openalex.org/keywords/electronic-design-automation","display_name":"Electronic design automation","score":0.4213172197341919},{"id":"https://openalex.org/keywords/abstraction-layer","display_name":"Abstraction layer","score":0.4193274676799774},{"id":"https://openalex.org/keywords/verification","display_name":"Verification","score":0.4163479208946228},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.3831644654273987},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.3828577399253845},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.3404991030693054},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.31788888573646545},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.2845480442047119}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8515138626098633},{"id":"https://openalex.org/C160713754","wikidata":"https://www.wikidata.org/wiki/Q1389965","display_name":"Maintainability","level":2,"score":0.6899387836456299},{"id":"https://openalex.org/C137981799","wikidata":"https://www.wikidata.org/wiki/Q1369184","display_name":"Reusability","level":3,"score":0.6657105088233948},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.6517422199249268},{"id":"https://openalex.org/C187250869","wikidata":"https://www.wikidata.org/wiki/Q5754573","display_name":"High-level verification","level":5,"score":0.5536978244781494},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.5437660217285156},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4949423670768738},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.4699554443359375},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4585021436214447},{"id":"https://openalex.org/C77495112","wikidata":"https://www.wikidata.org/wiki/Q5358436","display_name":"Electronic system-level design and verification","level":2,"score":0.4548315703868866},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4534563720226288},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.42733532190322876},{"id":"https://openalex.org/C64260653","wikidata":"https://www.wikidata.org/wiki/Q1194864","display_name":"Electronic design automation","level":2,"score":0.4213172197341919},{"id":"https://openalex.org/C147358964","wikidata":"https://www.wikidata.org/wiki/Q1200992","display_name":"Abstraction layer","level":3,"score":0.4193274676799774},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.4163479208946228},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3831644654273987},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3828577399253845},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3404991030693054},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31788888573646545},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.2845480442047119},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2209291.2209304","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2209291.2209304","pdf_url":null,"source":{"id":"https://openalex.org/S105046310","display_name":"ACM Transactions on Design Automation of Electronic Systems","issn_l":"1084-4309","issn":["1084-4309","1557-7309"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Design Automation of Electronic Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5799999833106995,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G3830971172","display_name":null,"funder_award_id":"03/CE2/I303-1","funder_id":"https://openalex.org/F4320320847","funder_display_name":"Science Foundation Ireland"}],"funders":[{"id":"https://openalex.org/F4320310654","display_name":"Indian National Science Academy","ror":"https://ror.org/051475v86"},{"id":"https://openalex.org/F4320320847","display_name":"Science Foundation Ireland","ror":"https://ror.org/0271asj38"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":55,"referenced_works":["https://openalex.org/W40138374","https://openalex.org/W96348518","https://openalex.org/W142323255","https://openalex.org/W145608659","https://openalex.org/W576723816","https://openalex.org/W581518716","https://openalex.org/W1487694410","https://openalex.org/W1490819086","https://openalex.org/W1505598781","https://openalex.org/W1511561974","https://openalex.org/W1521838448","https://openalex.org/W1535169184","https://openalex.org/W1602612484","https://openalex.org/W1806370218","https://openalex.org/W1912715343","https://openalex.org/W1921560638","https://openalex.org/W1965979806","https://openalex.org/W1968527922","https://openalex.org/W1990284916","https://openalex.org/W1990693616","https://openalex.org/W2002761094","https://openalex.org/W2005772373","https://openalex.org/W2011494809","https://openalex.org/W2014232041","https://openalex.org/W2021327849","https://openalex.org/W2029414465","https://openalex.org/W2056447856","https://openalex.org/W2057841013","https://openalex.org/W2078532846","https://openalex.org/W2081476507","https://openalex.org/W2081917329","https://openalex.org/W2100752513","https://openalex.org/W2105414394","https://openalex.org/W2113445788","https://openalex.org/W2117211933","https://openalex.org/W2118514798","https://openalex.org/W2119352584","https://openalex.org/W2123575824","https://openalex.org/W2126806675","https://openalex.org/W2133241651","https://openalex.org/W2138752159","https://openalex.org/W2150821056","https://openalex.org/W2153193884","https://openalex.org/W2153938115","https://openalex.org/W2158864412","https://openalex.org/W2168976370","https://openalex.org/W2170014513","https://openalex.org/W2198344626","https://openalex.org/W2259364626","https://openalex.org/W2292342182","https://openalex.org/W3029972158","https://openalex.org/W4206673020","https://openalex.org/W4231324143","https://openalex.org/W4245024404","https://openalex.org/W4248556928"],"related_works":["https://openalex.org/W2535719568","https://openalex.org/W1985271980","https://openalex.org/W2358360848","https://openalex.org/W2135756607","https://openalex.org/W2165346564","https://openalex.org/W2138343703","https://openalex.org/W2023981731","https://openalex.org/W2401743419","https://openalex.org/W4255789569","https://openalex.org/W2004066214"],"abstract_inverted_index":{"Developing":[0],"testbenches":[1],"for":[2,117],"dynamic":[3],"functional":[4],"verification":[5,36,74,122,138],"of":[6,19,26,34,55,64,82,120],"hardware":[7,121],"designs":[8],"is":[9,29],"a":[10],"software-intensive":[11],"process":[12,114,128],"that":[13,38],"lies":[14],"on":[15],"the":[16,32,62,86,92,97,118],"critical":[17],"path":[18],"electronic":[20,27],"system":[21,66],"design.":[22],"The":[23],"increasing":[24],"capabilities":[25],"components":[28],"contributing":[30],"to":[31,42,137],"construction":[33],"complex":[35],"environments":[37],"are":[39],"increasingly":[40],"difficult":[41],"understand,":[43],"maintain,":[44],"extend,":[45],"and":[46,58,68,105,115,129,134,141],"reuse":[47],"across":[48],"projects.":[49],"Model-driven":[50],"software":[51],"engineering":[52,113],"addresses":[53],"issues":[54],"complexity,":[56],"productivity,":[57],"code":[59,143],"quality":[60],"through":[61,144],"use":[63],"high-level":[65],"models":[67,140],"subsequent":[69],"automatic":[70,135],"transformations.":[71],"Reasoning":[72],"about":[73],"testbench":[75],"decomposition":[76],"becomes":[77],"simpler":[78],"at":[79,91],"higher":[80],"levels":[81],"abstraction.":[83],"In":[84],"particular,":[85],"aspect-oriented":[87,111],"paradigm,":[88],"when":[89],"applied":[90],"model":[93],"level,":[94],"can":[95],"minimize":[96],"overlap":[98],"in":[99],"functionality":[100],"between":[101],"modules,":[102],"improving":[103],"maintainability":[104],"reusability.":[106],"This":[107],"article":[108],"presents":[109],"an":[110,145],"model-driven":[112],"toolset":[116,130],"development":[119],"testbenches.":[123],"We":[124],"illustrate":[125],"how":[126],"this":[127],"supports":[131],"modularized":[132],"design":[133],"transformation":[136],"environment-specific":[139],"source":[142],"industry":[146],"case":[147],"study.":[148]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}