{"id":"https://openalex.org/W2809599044","doi":"https://doi.org/10.1145/3195970.3196119","title":"Specification-driven automated conformance checking for virtual prototype and post-silicon designs","display_name":"Specification-driven automated conformance checking for virtual prototype and post-silicon designs","publication_year":2018,"publication_date":"2018-06-19","ids":{"openalex":"https://openalex.org/W2809599044","doi":"https://doi.org/10.1145/3195970.3196119","mag":"2809599044"},"language":"en","primary_location":{"id":"doi:10.1145/3195970.3196119","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3195970.3196119","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3195970.3196119","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 55th Annual Design Automation Conference","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3195970.3196119","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101614295","display_name":"Haifeng Gu","orcid":null},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haifeng Gu","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025413633","display_name":"Mingsong Chen","orcid":"https://orcid.org/0000-0002-3922-0989"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mingsong Chen","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042163232","display_name":"Tongquan Wei","orcid":"https://orcid.org/0000-0002-7421-1711"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tongquan Wei","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115053640","display_name":"Lei Li","orcid":"https://orcid.org/0000-0001-7362-0962"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Li Lei","raw_affiliation_strings":["Intel Labs"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Intel Labs","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5106551350","display_name":"Fei Xie","orcid":"https://orcid.org/0000-0002-7324-3287"},"institutions":[{"id":"https://openalex.org/I126345244","display_name":"Portland State University","ror":"https://ror.org/00yn2fy02","country_code":"US","type":"education","lineage":["https://openalex.org/I126345244"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Fei Xie","raw_affiliation_strings":["Portland State University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Portland State University","institution_ids":["https://openalex.org/I126345244"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"6"},"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.9998000264167786,"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.9998000264167786,"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9987000226974487,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.8423848152160645},{"id":"https://openalex.org/keywords/troubleshooting","display_name":"Troubleshooting","score":0.7491562366485596},{"id":"https://openalex.org/keywords/conformance-checking","display_name":"Conformance checking","score":0.6273398399353027},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.6145702004432678},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.45227131247520447},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.28578662872314453},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.2542407512664795},{"id":"https://openalex.org/keywords/compatibility","display_name":"Compatibility (geochemistry)","score":0.09781146049499512}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8423848152160645},{"id":"https://openalex.org/C147494362","wikidata":"https://www.wikidata.org/wiki/Q2078905","display_name":"Troubleshooting","level":2,"score":0.7491562366485596},{"id":"https://openalex.org/C2775948798","wikidata":"https://www.wikidata.org/wiki/Q5160261","display_name":"Conformance checking","level":5,"score":0.6273398399353027},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.6145702004432678},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.45227131247520447},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.28578662872314453},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.2542407512664795},{"id":"https://openalex.org/C2778648169","wikidata":"https://www.wikidata.org/wiki/Q967768","display_name":"Compatibility (geochemistry)","level":2,"score":0.09781146049499512},{"id":"https://openalex.org/C17409809","wikidata":"https://www.wikidata.org/wiki/Q161764","display_name":"Geochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.0},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.0},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3195970.3196119","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3195970.3196119","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3195970.3196119","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 55th Annual Design Automation Conference","raw_type":"proceedings-article"},{"id":"pmh:oai:pdxscholar.library.pdx.edu:compsci_fac-1194","is_oa":false,"landing_page_url":"https://pdxscholar.library.pdx.edu/compsci_fac/191","pdf_url":null,"source":{"id":"https://openalex.org/S4377196300","display_name":"PDXScholar  (Portland State University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I126345244","host_organization_name":"Portland State University","host_organization_lineage":["https://openalex.org/I126345244"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computer Science Faculty Publications and Presentations","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/3195970.3196119","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3195970.3196119","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3195970.3196119","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 55th Annual Design Automation Conference","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.5799999833106995,"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G4441493962","display_name":"CSR: Small: Hardware/Software Co-Monitoring","funder_award_id":"1422067","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4478542623","display_name":null,"funder_award_id":"61672230","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G504855925","display_name":null,"funder_award_id":"16ZR1409000","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5116574308","display_name":null,"funder_award_id":"CNS-1422067","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G8745983674","display_name":null,"funder_award_id":"16ZR1409000","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320307102","display_name":"Intel Corporation","ror":"https://ror.org/01ek73717"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2809599044.pdf","grobid_xml":"https://content.openalex.org/works/W2809599044.grobid-xml"},"referenced_works_count":16,"referenced_works":["https://openalex.org/W1522250664","https://openalex.org/W1710734607","https://openalex.org/W1985018157","https://openalex.org/W1985217339","https://openalex.org/W2009489720","https://openalex.org/W2024158551","https://openalex.org/W2042033151","https://openalex.org/W2079893838","https://openalex.org/W2130051797","https://openalex.org/W2137530017","https://openalex.org/W2159849744","https://openalex.org/W2174598112","https://openalex.org/W2604138444","https://openalex.org/W6631155369","https://openalex.org/W6677535742","https://openalex.org/W6683764873"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W3013479934","https://openalex.org/W4210597238","https://openalex.org/W4318325534","https://openalex.org/W4206476896","https://openalex.org/W4240398146","https://openalex.org/W2950310564","https://openalex.org/W4238338086","https://openalex.org/W2467308209"],"abstract_inverted_index":{"Due":[0],"to":[1,10,16,87],"the":[2,54,75,79,83,96,112,122],"increasing":[3],"complexity":[4],"of":[5,45,56,66,78,98,124],"System-on-Chip":[6],"(SoC)":[7],"design,":[8],"how":[9],"ensure":[11],"that":[12,37,62,107],"silicon":[13],"implementations":[14],"conform":[15],"their":[17],"high-level":[18,57],"specifications":[19],"is":[20],"becoming":[21],"a":[22,31],"major":[23],"challenge.":[24],"To":[25],"address":[26],"this":[27],"problem,":[28],"we":[29],"propose":[30],"novel":[32],"specification-driven":[33],"conformance":[34],"checking":[35],"approach":[36,52,91,126],"can":[38,92],"automatically":[39],"identify":[40],"inconsistencies":[41,132],"between":[42],"different":[43,102],"levels":[44,103],"designs.":[46],"By":[47],"extending":[48],"SystemRDL":[49],"specifications,":[50],"our":[51,90,125],"enables":[53],"generation":[55],"Formal":[58],"Device":[59],"Models":[60],"(FDMs)":[61],"specify":[63],"access":[64],"behaviors":[65,106],"interface":[67],"registers":[68],"triggered":[69],"by":[70,131],"driver":[71,85],"requests.":[72],"Based":[73],"on":[74,116],"symbolic":[76],"execution":[77],"generated":[80],"FDMs":[81],"with":[82],"same":[84],"requests":[86],"virtual/silicon":[88],"devices,":[89],"efficiently":[93],"check":[94],"whether":[95],"designs":[97],"an":[99],"SoC":[100],"at":[101],"exhibit":[104],"unexpected":[105],"are":[108],"not":[109],"modeled":[110],"in":[111,127,133],"given":[113],"specification.":[114],"Experiments":[115],"two":[117],"industrial":[118],"network":[119],"adapters":[120],"demonstrate":[121],"effectiveness":[123],"troubleshooting":[128],"bugs":[129],"caused":[130],"both":[134],"virtual":[135],"and":[136],"post-silicon":[137],"prototypes.":[138]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}