{"id":"https://openalex.org/W4244283600","doi":"https://doi.org/10.1109/iccad.2014.7001323","title":"Validating direct memory access interfaces with conformance checking","display_name":"Validating direct memory access interfaces with conformance checking","publication_year":2014,"publication_date":"2014-11-01","ids":{"openalex":"https://openalex.org/W4244283600","doi":"https://doi.org/10.1109/iccad.2014.7001323"},"language":"en","primary_location":{"id":"doi:10.1109/iccad.2014.7001323","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad.2014.7001323","pdf_url":null,"source":{"id":"https://openalex.org/S4363608466","display_name":"2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","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/A5100440241","display_name":"Lei Li","orcid":"https://orcid.org/0000-0001-7058-2577"},"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":"Li Lei","raw_affiliation_strings":["Department of Computer Science, Portland State University, Portland, OR"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Portland State University, Portland, OR","institution_ids":["https://openalex.org/I126345244"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075308631","display_name":"Kai Cong","orcid":"https://orcid.org/0000-0003-3983-1963"},"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":"Kai Cong","raw_affiliation_strings":["Department of Computer Science, Portland State University, Portland, OR"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Portland State University, Portland, OR","institution_ids":["https://openalex.org/I126345244"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002419350","display_name":"Zhenkun Yang","orcid":"https://orcid.org/0000-0001-7567-2870"},"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":"Zhenkun Yang","raw_affiliation_strings":["Department of Computer Science, Portland State University, Portland, OR"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Portland State University, Portland, OR","institution_ids":["https://openalex.org/I126345244"]}]},{"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":["Department of Computer Science, Portland State University, Portland, OR"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Portland State University, Portland, OR","institution_ids":["https://openalex.org/I126345244"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I126345244"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"9","last_page":"16"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9987000226974487,"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/T11424","display_name":"Security and Verification in Computing","score":0.9987000226974487,"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/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"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.8315005302429199},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.7411812543869019},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5835206508636475},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.5017368793487549},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.49516692757606506},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.45588526129722595},{"id":"https://openalex.org/keywords/conformance-testing","display_name":"Conformance testing","score":0.4383038282394409},{"id":"https://openalex.org/keywords/virtual-machine","display_name":"Virtual machine","score":0.43521618843078613},{"id":"https://openalex.org/keywords/standardization","display_name":"Standardization","score":0.13894960284233093}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8315005302429199},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.7411812543869019},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5835206508636475},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.5017368793487549},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.49516692757606506},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.45588526129722595},{"id":"https://openalex.org/C76844732","wikidata":"https://www.wikidata.org/wiki/Q4072285","display_name":"Conformance testing","level":3,"score":0.4383038282394409},{"id":"https://openalex.org/C25344961","wikidata":"https://www.wikidata.org/wiki/Q192726","display_name":"Virtual machine","level":2,"score":0.43521618843078613},{"id":"https://openalex.org/C188087704","wikidata":"https://www.wikidata.org/wiki/Q369577","display_name":"Standardization","level":2,"score":0.13894960284233093},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/iccad.2014.7001323","is_oa":false,"landing_page_url":"https://doi.org/10.1109/iccad.2014.7001323","pdf_url":null,"source":{"id":"https://openalex.org/S4363608466","display_name":"2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1493466221","https://openalex.org/W1522250664","https://openalex.org/W1975249115","https://openalex.org/W1985018157","https://openalex.org/W2034754139","https://openalex.org/W2037800158","https://openalex.org/W2065962427","https://openalex.org/W2069600520","https://openalex.org/W2101512909","https://openalex.org/W2117475792","https://openalex.org/W2121316343","https://openalex.org/W2122146819","https://openalex.org/W2123205813","https://openalex.org/W2138346648","https://openalex.org/W2145913625","https://openalex.org/W2163033792","https://openalex.org/W2165165828","https://openalex.org/W2169617819","https://openalex.org/W3139748210","https://openalex.org/W4230169210","https://openalex.org/W4243087748","https://openalex.org/W4250291977","https://openalex.org/W6631155369","https://openalex.org/W6666912879","https://openalex.org/W6678329786"],"related_works":["https://openalex.org/W2357256365","https://openalex.org/W2000983334","https://openalex.org/W2352994864","https://openalex.org/W2348502264","https://openalex.org/W2364507636","https://openalex.org/W2365486383","https://openalex.org/W2362059367","https://openalex.org/W2375657886","https://openalex.org/W2350084742","https://openalex.org/W2363940718"],"abstract_inverted_index":{"Direct":[0],"Memory":[1],"Access":[2],"(DMA)":[3],"interfaces":[4,14],"are":[5],"a":[6,24,34,42,49],"common":[7],"and":[8,18,36,52,70,135,148,164,190],"important":[9],"component":[10],"of":[11,33,45],"Hardware/Software":[12],"(HW/SW)":[13],"between":[15,67],"peripheral":[16],"devices":[17,134],"their":[19,187,191],"device":[20,35,47,69,93,113],"drivers.":[21,136,192],"We":[22,169],"present":[23],"HW/SW":[25,124,204],"co-validation":[26,54],"framework":[27,40,122],"to":[28,103,152,174],"validate":[29],"DMA":[30,64,83,129,161,181],"interface":[31,65,130,182],"implementations":[32],"its":[37,71],"driver.":[38],"This":[39,121],"employs":[41],"virtual":[43,72,89,119,188],"prototype":[44,90],"the":[46,63,68,82,88,92,98,104,112,118,159,185],"as":[48],"reference":[50],"model":[51],"performs":[53],"in":[55,132,157,202],"two":[56,154],"stages:":[57],"(1)":[58],"conformance":[59,66,86],"checking":[60,76,107],"which":[61,77],"checks":[62,78],"prototype;":[73],"(2)":[74],"property":[75],"device/driver":[79],"interactions":[80],"across":[81],"interface.":[84],"In":[85],"checking,":[87],"infers":[91],"state":[94,114],"transitions":[95,115],"by":[96,127],"taking":[97],"same":[99],"driver":[100],"request":[101],"sequence":[102],"device.":[105],"Property":[106],"verifies":[108],"system":[109],"properties":[110],"over":[111],"exposed":[116],"through":[117],"prototype.":[120],"assists":[123],"integration":[125],"validation":[126],"detecting":[128],"bugs":[131,183],"both":[133],"Furthermore,":[137],"we":[138],"have":[139,170],"developed":[140],"three":[141],"key":[142],"techniques:":[143],"capture-on-write":[144],"policy,":[145],"partial":[146],"capture,":[147],"environmental":[149,166],"input":[150,167],"prediction,":[151],"address":[153],"major":[155,200],"challenges":[156],"scaling":[158],"framework:":[160],"capture":[162],"overhead":[163],"imprecise":[165],"simulation.":[168],"applied":[171],"this":[172],"approach":[173,198],"four":[175],"Ethernet":[176],"adapters,":[177],"discovering":[178],"12":[179],"serious":[180],"from":[184],"devices,":[186],"prototypes":[189],"The":[193],"results":[194],"demonstrate":[195],"that":[196],"our":[197],"has":[199],"potential":[201],"facilitating":[203],"co-validation.":[205]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}