{"id":"https://openalex.org/W2044903879","doi":"https://doi.org/10.1145/2380445.2380497","title":"The system verification methodology for advanced TLM verification","display_name":"The system verification methodology for advanced TLM verification","publication_year":2012,"publication_date":"2012-10-07","ids":{"openalex":"https://openalex.org/W2044903879","doi":"https://doi.org/10.1145/2380445.2380497","mag":"2044903879"},"language":"en","primary_location":{"id":"doi:10.1145/2380445.2380497","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2380445.2380497","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis","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/A5035069191","display_name":"Marcio F. S. Oliveira","orcid":"https://orcid.org/0000-0001-9531-6312"},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Marcio F.S. Oliveira","raw_affiliation_strings":["University of Paderborn, Paderborn, Germany","University of Paderborn,, Paderborn, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Paderborn, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]},{"raw_affiliation_string":"University of Paderborn,, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029449933","display_name":"Christoph Kuznik","orcid":null},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christoph Kuznik","raw_affiliation_strings":["University of Paderborn, Paderborn, Germany","University of Paderborn,, Paderborn, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Paderborn, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]},{"raw_affiliation_string":"University of Paderborn,, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100775464","display_name":"Hoang M. Le","orcid":"https://orcid.org/0000-0002-8957-4144"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hoang M. Le","raw_affiliation_strings":["University of Bremen, Bremen, Germany","[University of Bremen, Bremen, Germany]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"[University of Bremen, Bremen, Germany]","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086566894","display_name":"Daniel Gro\u00dfe","orcid":"https://orcid.org/0000-0002-1490-6175"},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Daniel Gro\u00dfe","raw_affiliation_strings":["University of Bremen, Bremen, Germany","[University of Bremen, Bremen, Germany]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"[University of Bremen, Bremen, Germany]","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040266604","display_name":"Finn Haedicke","orcid":null},"institutions":[{"id":"https://openalex.org/I180437899","display_name":"University of Bremen","ror":"https://ror.org/04ers2y35","country_code":"DE","type":"education","lineage":["https://openalex.org/I180437899"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Finn Haedicke","raw_affiliation_strings":["University of Bremen, Bremen, Germany","[University of Bremen, Bremen, Germany]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Bremen, Bremen, Germany","institution_ids":["https://openalex.org/I180437899"]},{"raw_affiliation_string":"[University of Bremen, Bremen, Germany]","institution_ids":["https://openalex.org/I180437899"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110622459","display_name":"Wolfgang M\u00fcller","orcid":"https://orcid.org/0000-0001-6474-3733"},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Wolfgang Mueller","raw_affiliation_strings":["University of Paderborn, Paderborn, Germany","University of Paderborn,, Paderborn, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Paderborn, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]},{"raw_affiliation_string":"University of Paderborn,, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071742136","display_name":"Rolf Drechsler","orcid":"https://orcid.org/0000-0002-9872-1740"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Rolf Drechsler","raw_affiliation_strings":["DFKI GmbH, Bremen, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DFKI GmbH, Bremen, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046956677","display_name":"Wolfgang Ecker","orcid":"https://orcid.org/0000-0002-9362-8096"},"institutions":[{"id":"https://openalex.org/I137594350","display_name":"Infineon Technologies (Germany)","ror":"https://ror.org/005kw6t15","country_code":"DE","type":"company","lineage":["https://openalex.org/I137594350"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Wolfgang Ecker","raw_affiliation_strings":["Infineon Technologies AG, Neubiberg, Germany","Infineon Technologies AG, Neubiberg, Germany#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Infineon Technologies AG, Neubiberg, Germany","institution_ids":["https://openalex.org/I137594350"]},{"raw_affiliation_string":"Infineon Technologies AG, Neubiberg, Germany#TAB#","institution_ids":["https://openalex.org/I137594350"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040173035","display_name":"Volkan Esen","orcid":null},"institutions":[{"id":"https://openalex.org/I137594350","display_name":"Infineon Technologies (Germany)","ror":"https://ror.org/005kw6t15","country_code":"DE","type":"company","lineage":["https://openalex.org/I137594350"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Volkan Esen","raw_affiliation_strings":["Infineon Technologies AG, Neubiberg, Germany","Infineon Technologies AG, Neubiberg, Germany#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Infineon Technologies AG, Neubiberg, Germany","institution_ids":["https://openalex.org/I137594350"]},{"raw_affiliation_string":"Infineon Technologies AG, Neubiberg, Germany#TAB#","institution_ids":["https://openalex.org/I137594350"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":9,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":6.253,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.96135533,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"313","last_page":"322"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12810","display_name":"Real-time simulation and control systems","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"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.9984999895095825,"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/systemc","display_name":"SystemC","score":0.9192962050437927},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8495233654975891},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.8085397481918335},{"id":"https://openalex.org/keywords/transaction-level-modeling","display_name":"Transaction-level modeling","score":0.7837560176849365},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.7739700078964233},{"id":"https://openalex.org/keywords/high-level-verification","display_name":"High-level verification","score":0.6741024255752563},{"id":"https://openalex.org/keywords/electronic-system-level-design-and-verification","display_name":"Electronic system-level design and verification","score":0.6237898468971252},{"id":"https://openalex.org/keywords/verification","display_name":"Verification","score":0.5545505285263062},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5015666484832764},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4908776879310608},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.4550642967224121},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.45201051235198975},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.42160576581954956},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.33846503496170044},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3310333788394928},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.16020533442497253},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.10249611735343933},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.09743902087211609}],"concepts":[{"id":"https://openalex.org/C2776928060","wikidata":"https://www.wikidata.org/wiki/Q1753563","display_name":"SystemC","level":2,"score":0.9192962050437927},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8495233654975891},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.8085397481918335},{"id":"https://openalex.org/C169571997","wikidata":"https://www.wikidata.org/wiki/Q966099","display_name":"Transaction-level modeling","level":3,"score":0.7837560176849365},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.7739700078964233},{"id":"https://openalex.org/C187250869","wikidata":"https://www.wikidata.org/wiki/Q5754573","display_name":"High-level verification","level":5,"score":0.6741024255752563},{"id":"https://openalex.org/C77495112","wikidata":"https://www.wikidata.org/wiki/Q5358436","display_name":"Electronic system-level design and verification","level":2,"score":0.6237898468971252},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.5545505285263062},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5015666484832764},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4908776879310608},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.4550642967224121},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.45201051235198975},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.42160576581954956},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.33846503496170044},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3310333788394928},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.16020533442497253},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.10249611735343933},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.09743902087211609}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2380445.2380497","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2380445.2380497","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.643.4142","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.643.4142","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.informatik.uni-bremen.de/agra/doc/konf/12codesisss_svm_tlm.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W29002590","https://openalex.org/W66099579","https://openalex.org/W145608659","https://openalex.org/W1480909796","https://openalex.org/W1489881735","https://openalex.org/W1518705996","https://openalex.org/W1576418322","https://openalex.org/W1579437898","https://openalex.org/W1583008453","https://openalex.org/W1602612484","https://openalex.org/W2028826245","https://openalex.org/W2119216444","https://openalex.org/W2155180508","https://openalex.org/W2155398252","https://openalex.org/W2158202033","https://openalex.org/W2165915311","https://openalex.org/W2400085721","https://openalex.org/W2408249370","https://openalex.org/W3147466665","https://openalex.org/W3205806031","https://openalex.org/W4253669045","https://openalex.org/W6803067242","https://openalex.org/W6814269298"],"related_works":["https://openalex.org/W2535719568","https://openalex.org/W2391022620","https://openalex.org/W1985271980","https://openalex.org/W2351772678","https://openalex.org/W2294399487","https://openalex.org/W2044903879","https://openalex.org/W2358360848","https://openalex.org/W2135756607","https://openalex.org/W4255789569","https://openalex.org/W2397505782"],"abstract_inverted_index":{"The":[0],"IEEE-1800":[1],"SystemVerilog":[2],"[20]":[3],"system":[4],"description":[5],"and":[6,18,77,94,99],"verification":[7,11,72],"language":[8],"integrates":[9],"dedicated":[10],"features,":[12],"like":[13,74],"constraint":[14],"random":[15,79],"stimulus":[16,80],"generation":[17],"functional":[19,75],"coverage,":[20],"which":[21],"are":[22],"the":[23,27,32,69,85,105],"building":[24],"blocks":[25],"of":[26,71,107,112],"Universal":[28],"Verification":[29,46],"Methodology":[30,47],"(UVM)[3],":[31],"emerging":[33],"standard":[34],"for":[35,53,68,115],"electronic":[36],"systems":[37],"verification.":[38],"In":[39],"this":[40],"article,":[41],"we":[42,63,83,103],"introduce":[43,84],"our":[44,108],"System":[45],"(SVM)":[48],"as":[49],"a":[50,113,116],"SystemC":[51,66,93],"library":[52],"advanced":[54,88],"Transaction":[55],"Level":[56],"Modeling":[57],"(TLM)":[58],"testbench":[59,114],"implementation.":[60],"As":[61],"such,":[62],"first":[64],"present":[65],"libraries":[67],"support":[70,90],"features":[73],"coverage":[76],"constrained":[78],"generation.":[81],"Thereafter,":[82],"SVM":[86,109],"with":[87],"TLM":[89],"based":[91],"on":[92],"compare":[95],"it":[96],"to":[97],"UVM":[98],"related":[100],"approaches.":[101],"Finally,":[102],"demonstrate":[104],"application":[106],"by":[110],"means":[111],"two":[117],"wheel":[118],"self-balancing":[119],"electric":[120],"vehicle.":[121]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}