{"id":"https://openalex.org/W2158267654","doi":"https://doi.org/10.1109/fpl.2008.4629993","title":"CVC: The C to RTL compiler for callback-based verification model","display_name":"CVC: The C to RTL compiler for callback-based verification model","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W2158267654","doi":"https://doi.org/10.1109/fpl.2008.4629993","mag":"2158267654"},"language":"en","primary_location":{"id":"doi:10.1109/fpl.2008.4629993","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fpl.2008.4629993","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 International Conference on Field Programmable Logic and Applications","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/A5101954007","display_name":"Yasuhiro Ito","orcid":"https://orcid.org/0000-0002-2069-4658"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Yasuhiro Ito","raw_affiliation_strings":["University of Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"University of Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070649314","display_name":"Yutaka Sugawara","orcid":"https://orcid.org/0000-0002-8116-5346"},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yutaka Sugawara","raw_affiliation_strings":["University of Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"University of Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110389490","display_name":"Mary Inaba","orcid":null},"institutions":[{"id":"https://openalex.org/I65143321","display_name":"Hitachi (Japan)","ror":"https://ror.org/02exqgm79","country_code":"JP","type":"company","lineage":["https://openalex.org/I65143321"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Mary Inaba","raw_affiliation_strings":["Central Research and Development Laboratory, Hitachi Limited, Japan"],"affiliations":[{"raw_affiliation_string":"Central Research and Development Laboratory, Hitachi Limited, Japan","institution_ids":["https://openalex.org/I65143321"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5112110720","display_name":"Kei Hiraki","orcid":null},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Kei Hiraki","raw_affiliation_strings":["University of Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"University of Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5101954007"],"corresponding_institution_ids":["https://openalex.org/I74801974"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.13010284,"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":"499","last_page":"502"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9939000010490417,"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.9939000010490417,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9927999973297119,"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/T10142","display_name":"Formal Methods in Verification","score":0.9839000105857849,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/callback","display_name":"Callback","score":0.9748449325561523},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8348598480224609},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5982846617698669},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.581676721572876},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.49837708473205566},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.4874041676521301},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4565335214138031},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.39853858947753906},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.37365686893463135}],"concepts":[{"id":"https://openalex.org/C204495577","wikidata":"https://www.wikidata.org/wiki/Q1205349","display_name":"Callback","level":2,"score":0.9748449325561523},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8348598480224609},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5982846617698669},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.581676721572876},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.49837708473205566},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4874041676521301},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4565335214138031},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.39853858947753906},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.37365686893463135},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/fpl.2008.4629993","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fpl.2008.4629993","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 International Conference on Field Programmable Logic and Applications","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W1536654648","https://openalex.org/W2159438346"],"related_works":["https://openalex.org/W2613684332","https://openalex.org/W2283761799","https://openalex.org/W2126556840","https://openalex.org/W4312733571","https://openalex.org/W2006962382","https://openalex.org/W2149716943","https://openalex.org/W4315606162","https://openalex.org/W2340807904","https://openalex.org/W1547517160","https://openalex.org/W1483297389"],"abstract_inverted_index":{"Model-based":[0],"verification":[1,58,67,83,123],"is":[2,64,128],"extensively":[3],"begin":[4],"used":[5,60,76],"for":[6,77],"accelerating":[7],"the":[8,30,35,45,90,101,110,117,122,125],"development":[9],"of":[10,37,89,124],"embedded":[11],"system.":[12],"However,":[13],"by":[14],"this":[15],"approach,":[16],"a":[17,65,74,81,87,95],"model":[18,59,84,127],"and":[19,40,71],"actual":[20,41],"RTL":[21,56,112,118],"are":[22],"required":[23,32],"to":[24,33,53,99,108],"be":[25],"implemented":[26],"separately,":[27],"which":[28,63],"increases":[29],"time":[31],"ensure":[34],"equivalence":[36],"virtual":[38],"models":[39],"hardware.":[42],"To":[43],"reduce":[44],"costs":[46],"incurred":[47],"in":[48,61,86,116],"separate":[49],"implementations,":[50],"we":[51,93],"propose":[52],"directly":[54],"generate":[55],"from":[57],"CoMET,":[62],"callback-based":[66,82,126],"environment.":[68],"We":[69],"design":[70],"implement":[72,109],"CVC,":[73],"compiler":[75],"generating":[78],"RTL,":[79],"using":[80],"described":[85],"subset":[88],"C":[91],"language;":[92],"impose":[94],"restriction":[96],"on":[97],"CVC":[98],"describe":[100],"callback":[102],"efficiently.":[103],"Our":[104],"method":[105],"enables":[106],"developers":[107],"complete":[111],"without":[113],"any":[114],"compromises":[115],"performance":[119],"just":[120],"after":[121],"completed.":[129]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}