{"id":"https://openalex.org/W2123246020","doi":"https://doi.org/10.1109/hldvt.2008.4695865","title":"Positioning test-benches and test-programs in interaction-oriented system-on-chip verification","display_name":"Positioning test-benches and test-programs in interaction-oriented system-on-chip verification","publication_year":2008,"publication_date":"2008-11-01","ids":{"openalex":"https://openalex.org/W2123246020","doi":"https://doi.org/10.1109/hldvt.2008.4695865","mag":"2123246020"},"language":"en","primary_location":{"id":"doi:10.1109/hldvt.2008.4695865","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2008.4695865","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 IEEE International High Level Design Validation and Test Workshop","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/A5102180356","display_name":"Xiaoxi Xu","orcid":null},"institutions":[{"id":"https://openalex.org/I5681781","display_name":"University of Adelaide","ror":"https://ror.org/00892tw58","country_code":"AU","type":"education","lineage":["https://openalex.org/I5681781"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Xiaoxi Xu","raw_affiliation_strings":["School of Electrical and Electronic Engineering, University of Adelaide, SA, Australia","Sch. of Electr. & Electron. Eng., Univ. of Adelaide, Adelaide, SA#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Electrical and Electronic Engineering, University of Adelaide, SA, Australia","institution_ids":["https://openalex.org/I5681781"]},{"raw_affiliation_string":"Sch. of Electr. & Electron. Eng., Univ. of Adelaide, Adelaide, SA#TAB#","institution_ids":["https://openalex.org/I5681781"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023255651","display_name":"Cheng\u2010Chew Lim","orcid":"https://orcid.org/0000-0002-2463-9760"},"institutions":[{"id":"https://openalex.org/I5681781","display_name":"University of Adelaide","ror":"https://ror.org/00892tw58","country_code":"AU","type":"education","lineage":["https://openalex.org/I5681781"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Cheng-Chew Lim","raw_affiliation_strings":["School of Electrical and Electronic Engineering, University of Adelaide, SA, Australia","Sch. of Electr. & Electron. Eng., Univ. of Adelaide, Adelaide, SA#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Electrical and Electronic Engineering, University of Adelaide, SA, Australia","institution_ids":["https://openalex.org/I5681781"]},{"raw_affiliation_string":"Sch. of Electr. & Electron. Eng., Univ. of Adelaide, Adelaide, SA#TAB#","institution_ids":["https://openalex.org/I5681781"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5014206966","display_name":"M.J. Liebelt","orcid":"https://orcid.org/0000-0001-6610-2876"},"institutions":[{"id":"https://openalex.org/I5681781","display_name":"University of Adelaide","ror":"https://ror.org/00892tw58","country_code":"AU","type":"education","lineage":["https://openalex.org/I5681781"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Michael Liebelt","raw_affiliation_strings":["School of Electrical and Electronic Engineering, University of Adelaide, SA, Australia","Sch. of Electr. & Electron. Eng., Univ. of Adelaide, Adelaide, SA#TAB#"],"affiliations":[{"raw_affiliation_string":"School of Electrical and Electronic Engineering, University of Adelaide, SA, Australia","institution_ids":["https://openalex.org/I5681781"]},{"raw_affiliation_string":"Sch. of Electr. & Electron. Eng., Univ. of Adelaide, Adelaide, SA#TAB#","institution_ids":["https://openalex.org/I5681781"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5102180356"],"corresponding_institution_ids":["https://openalex.org/I5681781"],"apc_list":null,"apc_paid":null,"fwci":0.6932,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.76441259,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"11","issue":null,"first_page":"3","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9998999834060669,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9993000030517578,"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.9983000159263611,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7206079363822937},{"id":"https://openalex.org/keywords/system-on-a-chip","display_name":"System on a chip","score":0.6933245062828064},{"id":"https://openalex.org/keywords/confusion","display_name":"Confusion","score":0.6311192512512207},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.5580496788024902},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5155069828033447},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.49975037574768066},{"id":"https://openalex.org/keywords/test","display_name":"Test (biology)","score":0.4781835377216339},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.436414897441864},{"id":"https://openalex.org/keywords/chip","display_name":"Chip","score":0.4315006732940674},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.42635446786880493},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3300495445728302},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.2905934453010559},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.2367284595966339}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7206079363822937},{"id":"https://openalex.org/C118021083","wikidata":"https://www.wikidata.org/wiki/Q610398","display_name":"System on a chip","level":2,"score":0.6933245062828064},{"id":"https://openalex.org/C2781140086","wikidata":"https://www.wikidata.org/wiki/Q557945","display_name":"Confusion","level":2,"score":0.6311192512512207},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.5580496788024902},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5155069828033447},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.49975037574768066},{"id":"https://openalex.org/C2777267654","wikidata":"https://www.wikidata.org/wiki/Q3519023","display_name":"Test (biology)","level":2,"score":0.4781835377216339},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.436414897441864},{"id":"https://openalex.org/C165005293","wikidata":"https://www.wikidata.org/wiki/Q1074500","display_name":"Chip","level":2,"score":0.4315006732940674},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.42635446786880493},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3300495445728302},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.2905934453010559},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.2367284595966339},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C11171543","wikidata":"https://www.wikidata.org/wiki/Q41630","display_name":"Psychoanalysis","level":1,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/hldvt.2008.4695865","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hldvt.2008.4695865","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 IEEE International High Level Design Validation and Test Workshop","raw_type":"proceedings-article"},{"id":"pmh:oai:digital.library.adelaide.edu.au:2440/54498","is_oa":false,"landing_page_url":"http://hdl.handle.net/2440/54498","pdf_url":null,"source":{"id":"https://openalex.org/S4306401835","display_name":"Adelaide Research & Scholarship (AR&S) (University of Adelaide)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I5681781","host_organization_name":"The University of Adelaide","host_organization_lineage":["https://openalex.org/I5681781"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://dx.doi.org/10.1109/hldvt.2008.4695865","raw_type":"Conference paper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W258022877","https://openalex.org/W1482910257","https://openalex.org/W1503973138","https://openalex.org/W1536409850","https://openalex.org/W1566072248","https://openalex.org/W1598330078","https://openalex.org/W1980889750","https://openalex.org/W2097113028","https://openalex.org/W2115376364","https://openalex.org/W2144357590","https://openalex.org/W2149594490","https://openalex.org/W2151174323","https://openalex.org/W2300400211","https://openalex.org/W2536393590","https://openalex.org/W6697842949"],"related_works":["https://openalex.org/W2964976023","https://openalex.org/W1982477181","https://openalex.org/W2403083015","https://openalex.org/W4285488523","https://openalex.org/W2065289416","https://openalex.org/W2017236304","https://openalex.org/W2115579119","https://openalex.org/W2136854845","https://openalex.org/W1985271980","https://openalex.org/W2123246020"],"abstract_inverted_index":{"In":[0],"simulation-based":[1],"system-on-chip":[2],"(SoC)":[3],"verification,":[4],"in":[5,28,81],"addition":[6],"to":[7,21,37,70],"the":[8,12,22,31,39,43,46,48,51,75,78,82],"testbench":[9],"(TB)":[10],"-":[11],"basic":[13],"facility":[14],"for":[15],"stimulation":[16],"and":[17,50,57,67,77],"observation,":[18],"software":[19,34],"native":[20],"SoC":[23,52],"also":[24],"plays":[25],"a":[26],"part":[27],"interacting":[29],"with":[30],"SoC.":[32],"This":[33,62],"is":[35,53],"referred":[36],"as":[38],"test-program":[40],"(TP).":[41],"However,":[42],"relationship":[44],"between":[45],"TB,":[47],"TP":[49,79],"not":[54],"always":[55],"intuitive":[56],"can":[58],"cause":[59],"conceptual":[60],"confusion.":[61],"paper":[63],"discusses":[64],"this":[65],"confusion":[66],"shows":[68],"how":[69],"address":[71],"it":[72],"by":[73],"positioning":[74],"TB":[76],"naturally":[80],"verification":[83],"framework.":[84]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}