{"id":"https://openalex.org/W2020285078","doi":"https://doi.org/10.1145/1289816.1289864","title":"ESL design and HW/SW co-verification of high-end software defined radio platforms","display_name":"ESL design and HW/SW co-verification of high-end software defined radio platforms","publication_year":2007,"publication_date":"2007-09-30","ids":{"openalex":"https://openalex.org/W2020285078","doi":"https://doi.org/10.1145/1289816.1289864","mag":"2020285078"},"language":"en","primary_location":{"id":"doi:10.1145/1289816.1289864","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1289816.1289864","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th IEEE/ACM 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/A5066187449","display_name":"A. C. H. Ng","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114974","display_name":"IMEC","ror":"https://ror.org/02kcbn207","country_code":"BE","type":"nonprofit","lineage":["https://openalex.org/I4210114974"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"A. C. H. Ng","raw_affiliation_strings":["IMEC, Leuven, Belgium","IMEC, Leuven, Belgium,"],"affiliations":[{"raw_affiliation_string":"IMEC, Leuven, Belgium","institution_ids":["https://openalex.org/I4210114974"]},{"raw_affiliation_string":"IMEC, Leuven, Belgium,","institution_ids":["https://openalex.org/I4210114974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051004323","display_name":"Jan-Willem Weijers","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114974","display_name":"IMEC","ror":"https://ror.org/02kcbn207","country_code":"BE","type":"nonprofit","lineage":["https://openalex.org/I4210114974"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"J. W. Weijers","raw_affiliation_strings":["IMEC, Leuven, Belgium","IMEC, Leuven, Belgium,"],"affiliations":[{"raw_affiliation_string":"IMEC, Leuven, Belgium","institution_ids":["https://openalex.org/I4210114974"]},{"raw_affiliation_string":"IMEC, Leuven, Belgium,","institution_ids":["https://openalex.org/I4210114974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023560997","display_name":"Miguel Glass\u00e9e","orcid":"https://orcid.org/0000-0003-0471-9760"},"institutions":[{"id":"https://openalex.org/I4210114974","display_name":"IMEC","ror":"https://ror.org/02kcbn207","country_code":"BE","type":"nonprofit","lineage":["https://openalex.org/I4210114974"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"M. Glassee","raw_affiliation_strings":["IMEC, Leuven, Belgium","IMEC, Leuven, Belgium,"],"affiliations":[{"raw_affiliation_string":"IMEC, Leuven, Belgium","institution_ids":["https://openalex.org/I4210114974"]},{"raw_affiliation_string":"IMEC, Leuven, Belgium,","institution_ids":["https://openalex.org/I4210114974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5022783625","display_name":"Thomas Schuster","orcid":"https://orcid.org/0000-0002-9539-1627"},"institutions":[{"id":"https://openalex.org/I4210114974","display_name":"IMEC","ror":"https://ror.org/02kcbn207","country_code":"BE","type":"nonprofit","lineage":["https://openalex.org/I4210114974"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"T. Schuster","raw_affiliation_strings":["IMEC, Leuven, Belgium","IMEC, Leuven, Belgium,"],"affiliations":[{"raw_affiliation_string":"IMEC, Leuven, Belgium","institution_ids":["https://openalex.org/I4210114974"]},{"raw_affiliation_string":"IMEC, Leuven, Belgium,","institution_ids":["https://openalex.org/I4210114974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087295309","display_name":"Bruno Bougard","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114974","display_name":"IMEC","ror":"https://ror.org/02kcbn207","country_code":"BE","type":"nonprofit","lineage":["https://openalex.org/I4210114974"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"B. Bougard","raw_affiliation_strings":["IMEC, Leuven, Belgium","IMEC, Leuven, Belgium,"],"affiliations":[{"raw_affiliation_string":"IMEC, Leuven, Belgium","institution_ids":["https://openalex.org/I4210114974"]},{"raw_affiliation_string":"IMEC, Leuven, Belgium,","institution_ids":["https://openalex.org/I4210114974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5016605260","display_name":"Liesbet Van der Perre","orcid":"https://orcid.org/0000-0002-9158-9628"},"institutions":[{"id":"https://openalex.org/I4210114974","display_name":"IMEC","ror":"https://ror.org/02kcbn207","country_code":"BE","type":"nonprofit","lineage":["https://openalex.org/I4210114974"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"L. Van der Perre","raw_affiliation_strings":["IMEC, Leuven, Belgium","IMEC, Leuven, Belgium,"],"affiliations":[{"raw_affiliation_string":"IMEC, Leuven, Belgium","institution_ids":["https://openalex.org/I4210114974"]},{"raw_affiliation_string":"IMEC, Leuven, Belgium,","institution_ids":["https://openalex.org/I4210114974"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5066187449"],"corresponding_institution_ids":["https://openalex.org/I4210114974"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.07625012,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"191","last_page":"196"},"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9994000196456909,"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/T10363","display_name":"Low-power high-performance VLSI design","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/embedded-system","display_name":"Embedded system","score":0.7288960218429565},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7158212661743164},{"id":"https://openalex.org/keywords/emulation","display_name":"Emulation","score":0.6998982429504395},{"id":"https://openalex.org/keywords/mpsoc","display_name":"MPSoC","score":0.666476845741272},{"id":"https://openalex.org/keywords/software-defined-radio","display_name":"Software-defined radio","score":0.5584506988525391},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.557693362236023},{"id":"https://openalex.org/keywords/electronic-system-level-design-and-verification","display_name":"Electronic system-level design and verification","score":0.5550209879875183},{"id":"https://openalex.org/keywords/design-flow","display_name":"Design flow","score":0.5281617045402527},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5163482427597046},{"id":"https://openalex.org/keywords/system-on-a-chip","display_name":"System on a chip","score":0.49263983964920044},{"id":"https://openalex.org/keywords/application-specific-integrated-circuit","display_name":"Application-specific integrated circuit","score":0.4362146258354187},{"id":"https://openalex.org/keywords/design-space-exploration","display_name":"Design space exploration","score":0.4274784028530121},{"id":"https://openalex.org/keywords/embedded-software","display_name":"Embedded software","score":0.4257866144180298},{"id":"https://openalex.org/keywords/computer-hardware","display_name":"Computer hardware","score":0.36680281162261963},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2333591878414154},{"id":"https://openalex.org/keywords/telecommunications","display_name":"Telecommunications","score":0.1361355483531952}],"concepts":[{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.7288960218429565},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7158212661743164},{"id":"https://openalex.org/C149810388","wikidata":"https://www.wikidata.org/wiki/Q5374873","display_name":"Emulation","level":2,"score":0.6998982429504395},{"id":"https://openalex.org/C2777187653","wikidata":"https://www.wikidata.org/wiki/Q975106","display_name":"MPSoC","level":3,"score":0.666476845741272},{"id":"https://openalex.org/C171115542","wikidata":"https://www.wikidata.org/wiki/Q1331892","display_name":"Software-defined radio","level":2,"score":0.5584506988525391},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.557693362236023},{"id":"https://openalex.org/C77495112","wikidata":"https://www.wikidata.org/wiki/Q5358436","display_name":"Electronic system-level design and verification","level":2,"score":0.5550209879875183},{"id":"https://openalex.org/C37135326","wikidata":"https://www.wikidata.org/wiki/Q931942","display_name":"Design flow","level":2,"score":0.5281617045402527},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5163482427597046},{"id":"https://openalex.org/C118021083","wikidata":"https://www.wikidata.org/wiki/Q610398","display_name":"System on a chip","level":2,"score":0.49263983964920044},{"id":"https://openalex.org/C77390884","wikidata":"https://www.wikidata.org/wiki/Q217302","display_name":"Application-specific integrated circuit","level":2,"score":0.4362146258354187},{"id":"https://openalex.org/C2776221188","wikidata":"https://www.wikidata.org/wiki/Q21072556","display_name":"Design space exploration","level":2,"score":0.4274784028530121},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.4257866144180298},{"id":"https://openalex.org/C9390403","wikidata":"https://www.wikidata.org/wiki/Q3966","display_name":"Computer hardware","level":1,"score":0.36680281162261963},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2333591878414154},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.1361355483531952},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1289816.1289864","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1289816.1289864","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.380.8358","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.8358","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cecs.uci.edu/~papers/esweek07/codes/p191.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.44999998807907104,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W105105684","https://openalex.org/W2113989678","https://openalex.org/W2120992498"],"related_works":["https://openalex.org/W1973069902","https://openalex.org/W2576551918","https://openalex.org/W2169248084","https://openalex.org/W2336368137","https://openalex.org/W2133408453","https://openalex.org/W4250379102","https://openalex.org/W2002682434","https://openalex.org/W2292393553","https://openalex.org/W2099748200","https://openalex.org/W2269990635"],"abstract_inverted_index":{"Multiple":[0],"wireless":[1],"technologies":[2],"are":[3,48],"converging":[4],"to":[5,16,27,37,95,114],"run":[6],"on":[7,42,91,130],"personal":[8],"handhelds.":[9,100],"The":[10],"plethora":[11],"of":[12,20,31,75,107,118],"communication":[13],"standards":[14],"next":[15],"the":[17,73,103],"cost":[18],"issues":[19],"deeper":[21],"submicron":[22],"processing":[23,55,70],"require":[24],"handheld":[25],"platforms":[26,98],"shift":[28],"from":[29,105],"sets":[30],"multiple":[32],"application":[33],"specific":[34],"ICs":[35],"(ASICs)":[36],"multi-purpose":[38],"Multi-Processor":[39],"System-on-Chip":[40],"(MPSoC)":[41],"which":[43],"Software":[44],"Defined":[45],"Radios":[46],"(SDR)":[47],"run.":[49],"SDR":[50,62,97],"design":[51,80,88,96],"faces":[52],"hard":[53],"real-time":[54,69],"and":[56,68,132],"data":[57],"transfer":[58],"latency":[59],"constraints.":[60],"Designing":[61],"under":[63],"stringent":[64],"time-to-market":[65],"(cost),":[66],"energy":[67],"constraints":[71],"requires":[72],"help":[74],"advanced":[76,92],"Electronic":[77],"System-Level":[78],"(ESL)":[79],"methodologies.":[81],"This":[82],"paper":[83],"demonstrates":[84],"an":[85],"integrated":[86],"ESL":[87,93],"flow":[89],"built":[90],"tools":[94],"for":[99],"We":[101],"share":[102],"experience":[104],"creation":[106],"a":[108,119],"high-level":[109],"virtual":[110],"platform":[111],"model":[112],"down":[113],"hardware/software":[115],"(HW/SW)":[116],"co-verification":[117],"large":[120],"scale":[121],"SoC":[122],"(5":[123],"million":[124],"gates+).":[125],"Incremental":[126],"RTL":[127],"verification":[128],"based":[129],"co-simulation":[131],"co-emulation":[133],"is":[134],"also":[135],"presented.":[136]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}