{"id":"https://openalex.org/W3033735869","doi":"https://doi.org/10.1016/j.procs.2020.04.304","title":"CoDeCoVe: A Novel System Level Co-Design & Co-Verification Framework","display_name":"CoDeCoVe: A Novel System Level Co-Design & Co-Verification Framework","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3033735869","doi":"https://doi.org/10.1016/j.procs.2020.04.304","mag":"3033735869"},"language":"en","primary_location":{"id":"doi:10.1016/j.procs.2020.04.304","doi":"https://doi.org/10.1016/j.procs.2020.04.304","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.procs.2020.04.304","pdf_url":"https://www.sciencedirect.com/science/article/pii/S1877050920312977/pdf","source":{"id":"https://openalex.org/S120348307","display_name":"Procedia Computer Science","issn_l":"1877-0509","issn":["1877-0509"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Procedia Computer Science","raw_type":"journal-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://www.sciencedirect.com/science/article/pii/S1877050920312977/pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5058728255","display_name":"Rabia Bakhteri","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I185261750","display_name":"University of Toronto","ror":"https://ror.org/03dbr7087","country_code":"CA","type":"education","lineage":["https://openalex.org/I185261750"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Rabia Bakhteri","raw_affiliation_strings":["Department of Computer Science, University of Toronto, M5S 2E4 Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Toronto, M5S 2E4 Canada","institution_ids":["https://openalex.org/I185261750"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5058728255"],"corresponding_institution_ids":["https://openalex.org/I185261750"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"171","issue":null,"first_page":"979","last_page":"988"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"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":1.0,"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/T13292","display_name":"Embedded Systems and FPGA Applications","score":0.0,"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/T11522","display_name":"VLSI and FPGA Design Techniques","score":0.0,"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/hardware-software-co-design","display_name":"hardware-software co-design","score":0.9139999747276306},{"id":"https://openalex.org/keywords/hardware-software-co-verification","display_name":"hardware/software co-verification","score":0.9020000100135803},{"id":"https://openalex.org/keywords/system-level-design","display_name":"system-level design","score":0.734000027179718},{"id":"https://openalex.org/keywords/high-level-synthesis","display_name":"high-level synthesis","score":0.7630000114440918},{"id":"https://openalex.org/keywords/levels-of-abstraction","display_name":"levels of abstraction","score":0.8040000200271606},{"id":"https://openalex.org/keywords/design-refinement","display_name":"design refinement","score":0.824999988079071},{"id":"https://openalex.org/keywords/testbench-generation","display_name":"testbench generation","score":0.7170000076293945},{"id":"https://openalex.org/keywords/system-on-chip","display_name":"system-on-chip","score":0.7879999876022339},{"id":"https://openalex.org/keywords/fuzzy-vault","display_name":"fuzzy vault","score":0.9190000295639038},{"id":"https://openalex.org/keywords/biometric-encryption","display_name":"biometric encryption","score":0.9980000257492065}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.872579038143158},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7723170518875122},{"id":"https://openalex.org/C77495112","wikidata":"https://www.wikidata.org/wiki/Q5358436","display_name":"Electronic system-level design and verification","level":2,"score":0.5929421186447144},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.5392261147499084},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.5042086839675903},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4994335174560547},{"id":"https://openalex.org/C147358964","wikidata":"https://www.wikidata.org/wiki/Q1200992","display_name":"Abstraction layer","level":3,"score":0.4301641881465912},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4266166687011719},{"id":"https://openalex.org/C118021083","wikidata":"https://www.wikidata.org/wiki/Q610398","display_name":"System on a chip","level":2,"score":0.41333910822868347},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.40723487734794617},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2997683882713318},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1016/j.procs.2020.04.304","doi":"https://doi.org/10.1016/j.procs.2020.04.304","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.procs.2020.04.304","pdf_url":"https://www.sciencedirect.com/science/article/pii/S1877050920312977/pdf","source":{"id":"https://openalex.org/S120348307","display_name":"Procedia Computer Science","issn_l":"1877-0509","issn":["1877-0509"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Procedia Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1016/j.procs.2020.04.304","doi":"https://doi.org/10.1016/j.procs.2020.04.304","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.procs.2020.04.304","pdf_url":"https://www.sciencedirect.com/science/article/pii/S1877050920312977/pdf","source":{"id":"https://openalex.org/S120348307","display_name":"Procedia Computer Science","issn_l":"1877-0509","issn":["1877-0509"],"is_oa":true,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","cwts-core","jufo-1","norway-1"],"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Procedia Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3033735869.pdf","grobid_xml":"https://content.openalex.org/works/W3033735869.grobid-xml"},"referenced_works_count":12,"referenced_works":["https://openalex.org/W1498455513","https://openalex.org/W1765381093","https://openalex.org/W1969603261","https://openalex.org/W2012262513","https://openalex.org/W2023777102","https://openalex.org/W2038904603","https://openalex.org/W2084310557","https://openalex.org/W2095761111","https://openalex.org/W2126877041","https://openalex.org/W2240386274","https://openalex.org/W4214839503","https://openalex.org/W4229861102"],"related_works":["https://openalex.org/W2377171497","https://openalex.org/W2128443489","https://openalex.org/W2072922398","https://openalex.org/W2162176082","https://openalex.org/W2145349039","https://openalex.org/W1985271980","https://openalex.org/W2041277225","https://openalex.org/W2003652004","https://openalex.org/W2402979134","https://openalex.org/W2355428260"],"abstract_inverted_index":{"The":[0,89,138,158],"challenge":[1],"of":[2,13,41,108,154,167],"designing":[3],"a":[4,47,75,147],"complex":[5,32],"System-on-Chip":[6],"(SoC)":[7],"lies":[8],"in":[9],"the":[10,14,36,56,84,96,106,109,113,123,135,152,155,165,168],"efficient":[11],"division":[12],"computation":[15,58],"blocks":[16],"between":[17,35],"hardware":[18],"and":[19,39,51,63,87,112,127,161],"software":[20],"implementation":[21],"depending":[22],"on":[23,83,130],"design":[24,73,79,90,104,125],"factors":[25],"such":[26],"as":[27,146],"computational":[28],"requirements":[29],"for":[30],"multiple":[31],"algorithms,":[33],"communication":[34],"various":[37],"sub-modules":[38],"frequency":[40],"memory":[42],"access.":[43],"This":[44],"paper":[45],"presents":[46],"novel":[48],"hardware-software":[49],"co-design":[50],"co-verification":[52],"framework":[53],"which":[54],"allows":[55],"SoC":[57],"modules":[59],"to":[60,98,150],"be":[61],"designed":[62],"verified":[64,117],"at":[65,122],"five":[66],"abstraction":[67,100],"levels.":[68,101],"Using":[69],"High-Level":[70],"Synthesis":[71],"(HLS)":[72],"methodology,":[74],"high":[76],"level":[77,126,132],"system":[78,85],"is":[80,92,144],"created":[81],"based":[82],"specification":[86],"requirements.":[88],"model":[91],"refined":[93],"repeatedly":[94],"from":[95],"higher":[97],"lower":[99],"At":[102],"each":[103,131],"level,":[105],"correctness":[107,166],"refinement":[110],"process":[111],"resulting":[114],"models":[115],"are":[116],"thoroughly":[118],"by":[119,133],"creating":[120],"testbenches":[121],"top":[124],"refining":[128],"them":[129],"using":[134],"CoDeCoVe":[136,156],"framework.":[137,157,170],"Fuzzy":[139],"Vault-based":[140],"Biometric":[141],"Encryption":[142],"System":[143],"used":[145],"case":[148],"study":[149],"evaluate":[151],"performance":[153],"theoretical":[159],"analysis":[160],"experimental":[162],"results":[163],"prove":[164],"proposed":[169]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2020-06-12T00:00:00"}