{"id":"https://openalex.org/W1987222066","doi":"https://doi.org/10.1109/hldvt.2006.319967","title":"Specification Language for Transaction Level Assertions","display_name":"Specification Language for Transaction Level Assertions","publication_year":2006,"publication_date":"2006-11-01","ids":{"openalex":"https://openalex.org/W1987222066","doi":"https://doi.org/10.1109/hldvt.2006.319967","mag":"1987222066"},"language":"en","primary_location":{"id":"doi:10.1109/hldvt.2006.319967","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2006.319967","pdf_url":null,"source":{"id":"https://openalex.org/S4210185766","display_name":"Proceedings","issn_l":"1552-6674","issn":["1552-6674","2471-7827"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2006 IEEE International High Level Design Validation and Test Workshop","raw_type":"proceedings-article"},"type":"conference-paper","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/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":["IFAG COM BTS MT SD, Infineon Technologies, Munich, Germany","Infineon Technologies AG, IFAG COM BTS MT SD, 81726 Munich, Germany. Wolfgang.Ecker@infineon.com"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IFAG COM BTS MT SD, Infineon Technologies, Munich, Germany","institution_ids":["https://openalex.org/I137594350"]},{"raw_affiliation_string":"Infineon Technologies AG, IFAG COM BTS MT SD, 81726 Munich, Germany. Wolfgang.Ecker@infineon.com","institution_ids":["https://openalex.org/I137594350"]}]},{"author_position":"middle","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"]},{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Volkan Esen","raw_affiliation_strings":["TU Darmstadt-MES, Infineon Technologies, Germany","Infineon Technologies AG, TU Darmstadt - MES. Volkan.Esen@infineon.com"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Darmstadt-MES, Infineon Technologies, Germany","institution_ids":["https://openalex.org/I137594350","https://openalex.org/I31512782"]},{"raw_affiliation_string":"Infineon Technologies AG, TU Darmstadt - MES. Volkan.Esen@infineon.com","institution_ids":["https://openalex.org/I137594350"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065997452","display_name":"Thomas Steininger","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"]},{"id":"https://openalex.org/I4210105601","display_name":"Infineon Technologies (United Kingdom)","ror":"https://ror.org/017ptvx95","country_code":"GB","type":"company","lineage":["https://openalex.org/I137594350","https://openalex.org/I4210105601"]},{"id":"https://openalex.org/I43439940","display_name":"University of Southampton","ror":"https://ror.org/01ryk1543","country_code":"GB","type":"education","lineage":["https://openalex.org/I43439940"]}],"countries":["DE","GB"],"is_corresponding":false,"raw_author_name":"Thomas Steininger","raw_affiliation_strings":["Infineon Technologies AG, University of Southampton, UK","Infineon Technologies AG, TU Darmstadt - MES. Thomas.Steininger@infineon.com"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Infineon Technologies AG, University of Southampton, UK","institution_ids":["https://openalex.org/I4210105601","https://openalex.org/I43439940"]},{"raw_affiliation_string":"Infineon Technologies AG, TU Darmstadt - MES. Thomas.Steininger@infineon.com","institution_ids":["https://openalex.org/I137594350"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062218687","display_name":"Michael Velten","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"]},{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Michael Velten","raw_affiliation_strings":["TU Darmstadt-MES, Infineon Technologies, Germany","Infineon Technologies AG, TU Darmstadt - MES. Michael.Velten@infineon.com"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Darmstadt-MES, Infineon Technologies, Germany","institution_ids":["https://openalex.org/I137594350","https://openalex.org/I31512782"]},{"raw_affiliation_string":"Infineon Technologies AG, TU Darmstadt - MES. Michael.Velten@infineon.com","institution_ids":["https://openalex.org/I137594350"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5044758174","display_name":"Michael M. Hull","orcid":"https://orcid.org/0000-0003-1551-9553"},"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"]},{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]},{"id":"https://openalex.org/I43439940","display_name":"University of Southampton","ror":"https://ror.org/01ryk1543","country_code":"GB","type":"education","lineage":["https://openalex.org/I43439940"]}],"countries":["DE","GB"],"is_corresponding":false,"raw_author_name":"Michael Hull","raw_affiliation_strings":["TU Darmstadt-MES, Infineon Technologies, Germany","Infineon Technologies AG, University of Southampton, mh102@ecs.soton.ac.uk"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Darmstadt-MES, Infineon Technologies, Germany","institution_ids":["https://openalex.org/I137594350","https://openalex.org/I31512782"]},{"raw_affiliation_string":"Infineon Technologies AG, University of Southampton, mh102@ecs.soton.ac.uk","institution_ids":["https://openalex.org/I43439940"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.4719,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.78998199,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"77","last_page":"84"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9988999962806702,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9955000281333923,"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.8186752796173096},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5275647044181824},{"id":"https://openalex.org/keywords/assertion","display_name":"Assertion","score":0.51289963722229},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4853860139846802},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.48514994978904724},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.44121918082237244},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.41863542795181274},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4123949706554413},{"id":"https://openalex.org/keywords/transaction-level-modeling","display_name":"Transaction-level modeling","score":0.41118568181991577}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8186752796173096},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5275647044181824},{"id":"https://openalex.org/C40422974","wikidata":"https://www.wikidata.org/wiki/Q741248","display_name":"Assertion","level":2,"score":0.51289963722229},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4853860139846802},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.48514994978904724},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.44121918082237244},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.41863542795181274},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4123949706554413},{"id":"https://openalex.org/C169571997","wikidata":"https://www.wikidata.org/wiki/Q966099","display_name":"Transaction-level modeling","level":3,"score":0.41118568181991577}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/hldvt.2006.319967","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2006.319967","pdf_url":null,"source":{"id":"https://openalex.org/S4210185766","display_name":"Proceedings","issn_l":"1552-6674","issn":["1552-6674","2471-7827"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2006 IEEE International High Level Design Validation and Test Workshop","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.6100000143051147,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1002352093","https://openalex.org/W1873191171","https://openalex.org/W1967232438","https://openalex.org/W1977355585","https://openalex.org/W2126443595","https://openalex.org/W2165371142","https://openalex.org/W2399260475","https://openalex.org/W2399484968","https://openalex.org/W6626068271","https://openalex.org/W6712624449","https://openalex.org/W6712628534"],"related_works":["https://openalex.org/W2382023983","https://openalex.org/W2182055894","https://openalex.org/W75359960","https://openalex.org/W2105593427","https://openalex.org/W3120172095","https://openalex.org/W2118572231","https://openalex.org/W1984559585","https://openalex.org/W313395762","https://openalex.org/W2376756781","https://openalex.org/W2135756607"],"abstract_inverted_index":{"Transaction":[0],"level":[1,13,142,182],"(TL)":[2],"modeling":[3,41],"is":[4,71,104],"the":[5,8,32,36,68,83,111,133,140,144,149,156,178,191,201],"basis":[6],"of":[7,17,35,123,146,151,159,180,210],"so":[9],"called":[10],"electronic":[11],"system":[12,88],"that":[14,108,176],"allows":[15,177],"development":[16,38,89],"systems":[18],"on":[19,72,139,173],"chip":[20],"at":[21,82],"a":[22,120],"quicker":[23],"pace":[24],"than":[25],"with":[26],"classical":[27],"RTL":[28,101,126],"approaches.":[29],"Starting":[30],"from":[31,193],"specification":[33,112,170,179],"phase":[34],"product":[37],"cycle,":[39],"TL":[40,54,203],"enables":[42],"easy":[43],"architecture":[44],"exploration":[45],"and":[46,60,75,90,184,197,205],"early":[47,87],"software":[48],"co-development.":[49],"In":[50,163],"contrast":[51],"to":[52,106,155],"RTL,":[53],"models":[55,98],"(TLM)":[56],"are":[57,80],"more":[58],"abstract":[59,161],"do":[61],"not":[62],"contain":[63],"micro-architectural":[64],"details":[65],"for":[66,99,143],"instance;":[67],"design":[69,134],"focus":[70],"high-level":[73],"control":[74],"data":[76],"flow.":[77],"Since":[78],"TLMs":[79,147],"essential":[81],"decision":[84],"process":[85],"in":[86,125,187],"as":[91,95],"they":[92,109],"can":[93,213],"serve":[94],"golden":[96],"reference":[97],"later":[100],"regression,":[102],"it":[103],"imperative":[105],"ensure":[107],"implement":[110],"correctly.":[113],"Assertion":[114],"based":[115,172],"verification":[116,145],"(ABV)":[117],"has":[118],"given":[119],"good":[121],"return":[122],"investment":[124],"verification,":[127],"decreasing":[128],"debug":[129],"time":[130],"while":[131],"preserving":[132],"intent":[135],"leveraging":[136],"these":[137,160,199],"benefits":[138],"transaction":[141,181],"requires":[148],"adaptation":[150],"current":[152],"ABV":[153,195],"approaches":[154],"specific":[157],"characteristics":[158],"models.":[162],"this":[164],"paper":[165],"we":[166],"present":[167],"an":[168],"assertion":[169],"language,":[171],"formal":[174],"definitions,":[175],"properties":[183,217],"their":[185],"execution":[186],"simulation.":[188],"We":[189],"derive":[190],"language":[192],"known":[194],"languages":[196],"extend":[198],"by":[200],"required":[202],"functionality,":[204],"explain":[206],"how":[207],"simulation":[208],"traces":[209],"finite":[211],"length":[212],"be":[214],"checked":[215],"against":[216]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}