{"id":"https://openalex.org/W2096205327","doi":"https://doi.org/10.3217/jucs-013-13-1972","title":"Hardware/Software Co-design and Verification Methodology from System Level Based on System Dependence Graph","display_name":"Hardware/Software Co-design and Verification Methodology from System Level Based on System Dependence Graph","publication_year":2020,"publication_date":"2020-04-07","ids":{"openalex":"https://openalex.org/W2096205327","doi":"https://doi.org/10.3217/jucs-013-13-1972","mag":"2096205327"},"language":"en","primary_location":{"id":"pmh:oai:zenodo.org:7000038","is_oa":true,"landing_page_url":"https://zenodo.org/record/7000038","pdf_url":"https://zenodo.org/record/7000038","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 13((13)) 1972-2001","raw_type":"info:eu-repo/semantics/article"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/7000038","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113540499","display_name":"Daisuke Ando","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":"Daisuke Ando","raw_affiliation_strings":["University of Tokyo, Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027837299","display_name":"Masahiro Fujita","orcid":"https://orcid.org/0000-0002-6516-4175"},"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":"Masahiro Fujita","raw_affiliation_strings":["University of Tokyo, Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014504548","display_name":"Shunsuke Sasaki","orcid":"https://orcid.org/0000-0002-7513-8149"},"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":"Shunsuke Sasaki","raw_affiliation_strings":["University of Tokyo, Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025475799","display_name":"Tasuku Nishihara","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":"Tasuku Nishihara","raw_affiliation_strings":["University of Tokyo, Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Tokyo, Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I74801974"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.00310585,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9997000098228455,"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.9975000023841858,"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/computer-science","display_name":"Computer science","score":0.6114184260368347},{"id":"https://openalex.org/keywords/electronic-system-level-design-and-verification","display_name":"Electronic system-level design and verification","score":0.5256360769271851},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4889327585697174},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4557464122772217},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3419839143753052},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3007082939147949},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2572920620441437}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6114184260368347},{"id":"https://openalex.org/C77495112","wikidata":"https://www.wikidata.org/wiki/Q5358436","display_name":"Electronic system-level design and verification","level":2,"score":0.5256360769271851},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4889327585697174},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4557464122772217},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3419839143753052},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3007082939147949},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2572920620441437}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:zenodo.org:7000038","is_oa":true,"landing_page_url":"https://zenodo.org/record/7000038","pdf_url":"https://zenodo.org/record/7000038","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 13((13)) 1972-2001","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.538.2317","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.538.2317","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.jucs.org/jucs_13_13/hardware_software_codesign_and/jucs_13_13_1972_2001_sasaki.pdf","raw_type":"text"},{"id":"doi:10.3217/jucs-013-13-1972","is_oa":true,"landing_page_url":"https://doi.org/10.3217/jucs-013-13-1972","pdf_url":null,"source":{"id":"https://openalex.org/S4306400660","display_name":"TUGraz OPEN Library (Graz University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4092182","host_organization_name":"Graz University of Technology","host_organization_lineage":["https://openalex.org/I4092182"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"DataPaper"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:7000038","is_oa":true,"landing_page_url":"https://zenodo.org/record/7000038","pdf_url":"https://zenodo.org/record/7000038","source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"JUCS - Journal of Universal Computer Science 13((13)) 1972-2001","raw_type":"info:eu-repo/semantics/article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2096205327.pdf"},"referenced_works_count":24,"referenced_works":["https://openalex.org/W1485597611","https://openalex.org/W1489391022","https://openalex.org/W1517173520","https://openalex.org/W1531082202","https://openalex.org/W1552692008","https://openalex.org/W1559507652","https://openalex.org/W1578592046","https://openalex.org/W1584298845","https://openalex.org/W1787074469","https://openalex.org/W1857527848","https://openalex.org/W1873191171","https://openalex.org/W1974556957","https://openalex.org/W2095520380","https://openalex.org/W2096620499","https://openalex.org/W2097697841","https://openalex.org/W2105063618","https://openalex.org/W2117120663","https://openalex.org/W2117189826","https://openalex.org/W2137035823","https://openalex.org/W2144344516","https://openalex.org/W2169163007","https://openalex.org/W2171999426","https://openalex.org/W2293624369","https://openalex.org/W2345711131"],"related_works":["https://openalex.org/W598950423","https://openalex.org/W323219885","https://openalex.org/W1589342014","https://openalex.org/W4256673449","https://openalex.org/W4292559016","https://openalex.org/W2143331802","https://openalex.org/W2063928587","https://openalex.org/W1480341462","https://openalex.org/W2973651642","https://openalex.org/W2160964171"],"abstract_inverted_index":{"Abstract:":[0],"System":[1],"Dependence":[2],"Graph":[3],"(SDG)":[4],"is":[5,44],"a":[6,17,24],"graph":[7],"representation":[8],"which":[9],"shows":[10],"dependencies":[11],"among":[12],"statements":[13],"/":[14,39,41],"expressions":[15],"in":[16,146],"design.":[18],"In":[19,32,94],"this":[20,95],"paper,":[21],"we":[22],"propose":[23],"new":[25],"HW/SW":[26,111],"co-design":[27],"methodology":[28],"based":[29],"on":[30],"SDG.":[31,75],"our":[33,202],"method,":[34],"any":[35],"combination":[36],"of":[37,201],"C":[38],"C++":[40],"SpecC":[42],"descriptions":[43,60,80,124,134,145,177],"acceptable":[45],"as":[46],"input":[47,59],"designs":[48,86],"so":[49],"that":[50,151],"design":[51,166],"functions":[52],"can":[53,81,171],"be":[54,82,160,172],"specified":[55],"flexibly.":[56],"First,":[57],"the":[58,105,131,137,143,199],"are":[61,87,98,116,140,153],"analyzed":[62],"and":[63,91,107,119,185],"verified":[64],"with":[65,136,163,194],"static":[66],"but":[67],"partially":[68],"dynamic":[69],"program":[70],"checking":[71],"methods":[72],"by":[73,125,174],"traversing":[74],"With":[76],"those":[77,85,176],"methods,":[78],"large":[79],"processed.":[83],"Next,":[84],"divided":[88],"into":[89,104,122,178],"HW":[90,114],"SW":[92,138],"parts.":[93],"step,":[96],"SDGs":[97],"fully":[99],"utilized":[100],"to":[101,142,148,197],"insert":[102],"parallelism":[103],"designs,":[106],"it":[108],"enables":[109],"flexible":[110],"partitioning.":[112],"The":[113],"parts":[115,139],"further":[117],"optimized":[118],"then":[120],"converted":[121],"RTL":[123,133],"existing":[126,186],"behavioral":[127],"synthesis":[128],"tools.":[129],"Finally,":[130],"generated":[132],"together":[135],"compared":[141],"original":[144],"order":[147],"make":[149],"sure":[150],"they":[152],"logically":[154],"equivalent.":[155],"Also,":[156],"designer-specified":[157],"properties":[158],"may":[159],"model":[161],"checked":[162],"these":[164],"final":[165],"descriptions.":[167],"Such":[168],"formal":[169,187],"verifications":[170],"realized":[173],"translating":[175],"Finite":[179],"State":[180],"Machine":[181],"(FSM)":[182],"type":[183],"representations":[184],"verifiers.":[188],"We":[189],"show":[190],"two":[191],"case":[192],"studies":[193],"practical":[195],"examples":[196],"demonstrate":[198],"usefulness":[200],"approach.":[203]},"counts_by_year":[{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-17T05:52:16.776730","created_date":"2025-10-10T00:00:00"}