{"id":"https://openalex.org/W2128188823","doi":"https://doi.org/10.1109/isqed.2013.6523660","title":"Efficient translation validation of high-level synthesis","display_name":"Efficient translation validation of high-level synthesis","publication_year":2013,"publication_date":"2013-03-01","ids":{"openalex":"https://openalex.org/W2128188823","doi":"https://doi.org/10.1109/isqed.2013.6523660","mag":"2128188823"},"language":"en","primary_location":{"id":"doi:10.1109/isqed.2013.6523660","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isqed.2013.6523660","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Symposium on Quality Electronic Design (ISQED)","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/A5101612110","display_name":"Tun Li","orcid":"https://orcid.org/0000-0001-7498-3909"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Tun Li","raw_affiliation_strings":["School of Computer, National University of Defense Technology, China","School of Computer, National University of Defense Technology; Changsha, China"],"affiliations":[{"raw_affiliation_string":"School of Computer, National University of Defense Technology, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"School of Computer, National University of Defense Technology; Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5115592004","display_name":"Yang Guo","orcid":"https://orcid.org/0009-0005-6622-8483"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yang Guo","raw_affiliation_strings":["School of Computer, National University of Defense Technology, China","School of Computer, National University of Defense Technology; Changsha, China"],"affiliations":[{"raw_affiliation_string":"School of Computer, National University of Defense Technology, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"School of Computer, National University of Defense Technology; Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082329778","display_name":"Wanwei Liu","orcid":"https://orcid.org/0000-0002-2315-1704"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wanwei Liu","raw_affiliation_strings":["School of Computer, National University of Defense Technology, China","School of Computer, National University of Defense Technology; Changsha, China"],"affiliations":[{"raw_affiliation_string":"School of Computer, National University of Defense Technology, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"School of Computer, National University of Defense Technology; Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041010870","display_name":"Chiyuan Ma","orcid":"https://orcid.org/0000-0002-1710-5955"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chiyuan Ma","raw_affiliation_strings":["School of Computer, National University of Defense Technology, China","School of Computer, National University of Defense Technology; Changsha, China"],"affiliations":[{"raw_affiliation_string":"School of Computer, National University of Defense Technology, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"School of Computer, National University of Defense Technology; Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5101612110"],"corresponding_institution_ids":["https://openalex.org/I170215575"],"apc_list":null,"apc_paid":null,"fwci":1.5761,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.84269262,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"9","issue":null,"first_page":"516","last_page":"523"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9993000030517578,"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.9993000030517578,"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.7612580060958862},{"id":"https://openalex.org/keywords/high-level-synthesis","display_name":"High-level synthesis","score":0.7153488397598267},{"id":"https://openalex.org/keywords/formal-equivalence-checking","display_name":"Formal equivalence checking","score":0.6415278911590576},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5566450357437134},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.5233927369117737},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.48535576462745667},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.4679749310016632},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.4144821763038635},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.35130804777145386},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.3503280580043793},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.33838963508605957},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.33050137758255005},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.26183974742889404},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.18432405591011047},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09163644909858704},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.08969563245773315}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7612580060958862},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.7153488397598267},{"id":"https://openalex.org/C96654402","wikidata":"https://www.wikidata.org/wiki/Q5469962","display_name":"Formal equivalence checking","level":3,"score":0.6415278911590576},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5566450357437134},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.5233927369117737},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.48535576462745667},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.4679749310016632},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4144821763038635},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.35130804777145386},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3503280580043793},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.33838963508605957},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.33050137758255005},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.26183974742889404},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.18432405591011047},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09163644909858704},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.08969563245773315},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/isqed.2013.6523660","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isqed.2013.6523660","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Symposium on Quality Electronic Design (ISQED)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth","score":0.6200000047683716}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1567363020","https://openalex.org/W1843703445","https://openalex.org/W1998504649","https://openalex.org/W2026880718","https://openalex.org/W2098293014","https://openalex.org/W2103581911","https://openalex.org/W2104074065","https://openalex.org/W2107475403","https://openalex.org/W2136097861","https://openalex.org/W2163437659","https://openalex.org/W2164804815","https://openalex.org/W2165304220","https://openalex.org/W2987907651","https://openalex.org/W3023384121","https://openalex.org/W3146075203","https://openalex.org/W3147121795","https://openalex.org/W4234848736","https://openalex.org/W4246977621","https://openalex.org/W4251912342","https://openalex.org/W6639034339","https://openalex.org/W6674637236","https://openalex.org/W6675365475"],"related_works":["https://openalex.org/W2152752131","https://openalex.org/W2122355433","https://openalex.org/W2106507440","https://openalex.org/W2105710452","https://openalex.org/W2162615969","https://openalex.org/W2096723742","https://openalex.org/W2035731992","https://openalex.org/W79857529","https://openalex.org/W1574742821","https://openalex.org/W2165304220"],"abstract_inverted_index":{"The":[0,158],"growing":[1],"design-productivity":[2],"gap":[3],"has":[4],"made":[5],"designers":[6],"shift":[7],"toward":[8],"using":[9,79],"high-level":[10,21,77],"synthesis":[11],"(HLS)":[12],"techniques":[13],"to":[14,35,68],"generate":[15],"register":[16],"transfer":[17],"level":[18],"design":[19],"from":[20],"languages":[22],"like":[23],"C/C++.":[24],"Unfortunately,":[25],"this":[26,61],"translation":[27,80,153],"process":[28],"is":[29,33,54,129],"very":[30],"complex":[31],"and":[32,52,88,147,164],"prone":[34],"introduce":[36],"bug":[37],"into":[38],"the":[39,58,70,75,85,99,102,108,121,162],"generated":[40],"design,":[41],"which":[42,116],"can":[43,105],"create":[44],"a":[45,49,90,151],"mismatch":[46],"between":[47],"what":[48,53],"designer":[50],"intends":[51],"actually":[55],"implemented":[56,143],"in":[57,118,124],"circuit.":[59],"In":[60],"paper,":[62],"we":[63],"present":[64],"an":[65],"efficient":[66],"approach":[67],"validate":[69],"result":[71],"of":[72,110,156,166],"HLS":[73],"against":[74],"initial":[76],"program":[78],"validation":[81,154],"techniques.":[82],"We":[83,141],"redefined":[84],"bisimulation":[86],"relation":[87],"proposed":[89,103],"novel":[91],"algorithm":[92],"based":[93],"on":[94],"it.":[95],"When":[96],"compared":[97,148],"with":[98,150],"existing":[100],"method,":[101],"method":[104,128,155],"dramatically":[106],"reduce":[107],"number":[109],"automated":[111],"theorem":[112],"prover":[113],"(ATP)":[114],"querying,":[115],"will":[117],"turn":[119],"improve":[120],"time":[122],"cost":[123],"equivalence":[125],"validation.":[126],"Our":[127],"suitable":[130],"for":[131],"structure-preserving":[132],"transformations":[133],"such":[134],"as":[135],"carried":[136],"out":[137],"by":[138],"Spark":[139],"synthesizer.":[140],"have":[142],"our":[144,167],"validating":[145],"technique":[146],"it":[149],"state-of-the-art":[152],"HLS.":[157],"promising":[159],"results":[160],"show":[161],"effectiveness":[163],"efficiency":[165],"method.":[168]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2013,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}