{"id":"https://openalex.org/W1992364842","doi":"https://doi.org/10.1155/2011/406857","title":"High-Level Synthesis of In-Circuit Assertions for Verification, Debugging, and Timing Analysis","display_name":"High-Level Synthesis of In-Circuit Assertions for Verification, Debugging, and Timing Analysis","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W1992364842","doi":"https://doi.org/10.1155/2011/406857","mag":"1992364842"},"language":"en","primary_location":{"id":"doi:10.1155/2011/406857","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2011/406857","pdf_url":"https://downloads.hindawi.com/journals/ijrc/2011/406857.pdf","source":{"id":"https://openalex.org/S194867674","display_name":"International Journal of Reconfigurable Computing","issn_l":"1687-7195","issn":["1687-7195","1687-7209"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Reconfigurable Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://downloads.hindawi.com/journals/ijrc/2011/406857.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037652483","display_name":"John Curreri","orcid":null},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"John Curreri","raw_affiliation_strings":["NSF Center for High-Performance Reconfigurable Computing (CHREC), ECE Department, University of Florida, Gainesville, FL 32611-6200, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"NSF Center for High-Performance Reconfigurable Computing (CHREC), ECE Department, University of Florida, Gainesville, FL 32611-6200, USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088031457","display_name":"Greg Stitt","orcid":"https://orcid.org/0000-0001-7159-7439"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Greg Stitt","raw_affiliation_strings":["NSF Center for High-Performance Reconfigurable Computing (CHREC), ECE Department, University of Florida, Gainesville, FL 32611-6200, USA"],"raw_orcid":"https://orcid.org/0000-0001-7159-7439","affiliations":[{"raw_affiliation_string":"NSF Center for High-Performance Reconfigurable Computing (CHREC), ECE Department, University of Florida, Gainesville, FL 32611-6200, USA","institution_ids":["https://openalex.org/I33213144"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082898376","display_name":"Alan D. George","orcid":"https://orcid.org/0000-0001-9665-2879"},"institutions":[{"id":"https://openalex.org/I33213144","display_name":"University of Florida","ror":"https://ror.org/02y3ad647","country_code":"US","type":"education","lineage":["https://openalex.org/I33213144"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alan D. George","raw_affiliation_strings":["NSF Center for High-Performance Reconfigurable Computing (CHREC), ECE Department, University of Florida, Gainesville, FL 32611-6200, USA"],"raw_orcid":"https://orcid.org/0000-0001-9665-2879","affiliations":[{"raw_affiliation_string":"NSF Center for High-Performance Reconfigurable Computing (CHREC), ECE Department, University of Florida, Gainesville, FL 32611-6200, USA","institution_ids":["https://openalex.org/I33213144"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5037652483"],"corresponding_institution_ids":["https://openalex.org/I33213144"],"apc_list":{"value":900,"currency":"USD","value_usd":900},"apc_paid":{"value":900,"currency":"USD","value_usd":900},"fwci":2.0607,"has_fulltext":true,"cited_by_count":20,"citation_normalized_percentile":{"value":0.87166268,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"2011","issue":null,"first_page":"1","last_page":"17"},"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9998999834060669,"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/T11032","display_name":"VLSI and Analog Circuit Testing","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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8660953044891357},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7891244888305664},{"id":"https://openalex.org/keywords/stratix","display_name":"Stratix","score":0.6901857852935791},{"id":"https://openalex.org/keywords/field-programmable-gate-array","display_name":"Field-programmable gate array","score":0.6506987810134888},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5454850196838379},{"id":"https://openalex.org/keywords/high-level-synthesis","display_name":"High-level synthesis","score":0.5337292551994324},{"id":"https://openalex.org/keywords/static-timing-analysis","display_name":"Static timing analysis","score":0.4891281723976135},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.4592234492301941},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.44546735286712646},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3365213871002197},{"id":"https://openalex.org/keywords/computer-engineering","display_name":"Computer engineering","score":0.3359520435333252},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21221160888671875}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8660953044891357},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7891244888305664},{"id":"https://openalex.org/C2776277307","wikidata":"https://www.wikidata.org/wiki/Q22074755","display_name":"Stratix","level":3,"score":0.6901857852935791},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.6506987810134888},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5454850196838379},{"id":"https://openalex.org/C58013763","wikidata":"https://www.wikidata.org/wiki/Q5754574","display_name":"High-level synthesis","level":3,"score":0.5337292551994324},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.4891281723976135},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.4592234492301941},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.44546735286712646},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3365213871002197},{"id":"https://openalex.org/C113775141","wikidata":"https://www.wikidata.org/wiki/Q428691","display_name":"Computer engineering","level":1,"score":0.3359520435333252},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21221160888671875}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1155/2011/406857","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2011/406857","pdf_url":"https://downloads.hindawi.com/journals/ijrc/2011/406857.pdf","source":{"id":"https://openalex.org/S194867674","display_name":"International Journal of Reconfigurable Computing","issn_l":"1687-7195","issn":["1687-7195","1687-7209"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Reconfigurable Computing","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:54ac8c3f9bd54e51b3fca9f8cb877f3f","is_oa":true,"landing_page_url":"https://doaj.org/article/54ac8c3f9bd54e51b3fca9f8cb877f3f","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","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":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Journal of Reconfigurable Computing, Vol 2011 (2011)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1155/2011/406857","is_oa":true,"landing_page_url":"https://doi.org/10.1155/2011/406857","pdf_url":"https://downloads.hindawi.com/journals/ijrc/2011/406857.pdf","source":{"id":"https://openalex.org/S194867674","display_name":"International Journal of Reconfigurable Computing","issn_l":"1687-7195","issn":["1687-7195","1687-7209"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319869","host_organization_name":"Hindawi Publishing Corporation","host_organization_lineage":["https://openalex.org/P4310319869"],"host_organization_lineage_names":["Hindawi Publishing Corporation"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Reconfigurable Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3425669830","display_name":null,"funder_award_id":"EEC-0642422","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5344181579","display_name":"NSF Center for High-Performance Reconfigurable Computing (CHREC) at Florida","funder_award_id":"0642422","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320310094","display_name":"University of Washington","ror":"https://ror.org/00cvxb145"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1992364842.pdf","grobid_xml":"https://content.openalex.org/works/W1992364842.grobid-xml"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W1527905812","https://openalex.org/W1543657314","https://openalex.org/W1560055425","https://openalex.org/W1784406605","https://openalex.org/W1797377815","https://openalex.org/W1845687154","https://openalex.org/W1998778168","https://openalex.org/W2098178883","https://openalex.org/W2121851099","https://openalex.org/W2129183345","https://openalex.org/W2145125458","https://openalex.org/W2146399815","https://openalex.org/W2147910407"],"related_works":["https://openalex.org/W2029459574","https://openalex.org/W2123535323","https://openalex.org/W2122042448","https://openalex.org/W2120935739","https://openalex.org/W2101075828","https://openalex.org/W4254448570","https://openalex.org/W2142474790","https://openalex.org/W2005854230","https://openalex.org/W622253553","https://openalex.org/W2789072850"],"abstract_inverted_index":{"Despite":[0],"significant":[1],"performance":[2,198],"and":[3,35,79,147,160,179,195],"power":[4],"advantages":[5],"compared":[6,204],"to":[7,53,67,124,134,143,205],"microprocessors,":[8],"widespread":[9],"usage":[10],"of":[11,81,111,117],"FPGAs":[12],"has":[13],"been":[14],"limited":[15,30],"by":[16,156,165,190,199],"increased":[17],"design":[18,26],"complexity.":[19],"High-level":[20],"synthesis":[21],"(HLS)":[22],"tools":[23,39],"have":[24],"reduced":[25,187],"complexity":[27],"but":[28],"provide":[29,126],"support":[31,108],"for":[32,109,114,150,169],"verification,":[33],"debugging,":[34],"timing":[36,101,122,149],"analysis.":[37],"Such":[38],"generally":[40],"rely":[41],"on":[42,174],"inaccurate":[43],"software":[44,54,141],"simulation":[45],"or":[46,167],"lengthy":[47],"register-transfer-level":[48],"simulations,":[49],"which":[50],"are":[51],"unattractive":[52],"developers.":[55],"In":[56],"this":[57],"paper,":[58],"we":[59,103,120],"introduce":[60],"HLS":[61,85],"techniques":[62,139,186],"that":[63,96,129],"allow":[64],"application":[65,171],"designers":[66],"efficiently":[68],"synthesize":[69],"commonly":[70],"used":[71],"ANSI-C":[72],"assertions":[73,123],"into":[74],"FPGA":[75,92,151,162],"circuits,":[76],"enabling":[77],"verification":[78],"debugging":[80],"circuits":[82,98],"generated":[83],"from":[84],"tools,":[86],"while":[87,153],"executing":[88],"in":[89],"the":[90,105,175],"actual":[91],"environment.":[93],"To":[94],"verify":[95],"HLS-generated":[97],"meet":[99],"execution":[100],"constraints,":[102],"extend":[104],"in-circuit":[106,207],"assertion":[107,197],"testing":[110],"elapsed":[112],"time":[113],"arbitrary":[115],"regions":[116],"code.":[118,136],"Furthermore,":[119],"generalize":[121],"transparently":[125],"hang":[127,132],"detection":[128],"back":[130],"annotates":[131],"occurrences":[133],"source":[135],"The":[137,184],"presented":[138,185],"enable":[140],"developers":[142],"rapidly":[144],"verify,":[145],"debug,":[146],"analyze":[148],"applications,":[152],"reducing":[154],"frequency":[155],"less":[157,168],"than":[158],"3%":[159],"increasing":[161],"resource":[163],"utilization":[164],"0.7%":[166],"several":[170],"case":[172],"studies":[173],"Altera":[176],"Stratix-II":[177],"EP2S180":[178],"Stratix-III":[180],"EP3SE260":[181],"using":[182],"Impulse-C.":[183],"area":[188],"overhead":[189],"as":[191,193,200,202],"much":[192,201],"3x":[194],"improved":[196],"100%":[203],"unoptimized":[206],"assertions.":[208]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":4},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}