{"id":"https://openalex.org/W2057685376","doi":"https://doi.org/10.1109/asicon.2013.6812056","title":"A universal framework of dual-use model for both performance and functionality based on the abstract state machine","display_name":"A universal framework of dual-use model for both performance and functionality based on the abstract state machine","publication_year":2013,"publication_date":"2013-10-01","ids":{"openalex":"https://openalex.org/W2057685376","doi":"https://doi.org/10.1109/asicon.2013.6812056","mag":"2057685376"},"language":"en","primary_location":{"id":"doi:10.1109/asicon.2013.6812056","is_oa":false,"landing_page_url":"https://doi.org/10.1109/asicon.2013.6812056","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE 10th International Conference on ASIC","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/A5047765511","display_name":"Zheng Xie","orcid":"https://orcid.org/0000-0003-0391-8725"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zheng Xie","raw_affiliation_strings":["Key Lab of Integrated Micro System Science Engineering and Application, Shenzhen Graduate School of Peking University, Shenzhen, China","Key Lab of Integrated Micro System Science Engineering and Application, Shenzhen Graduate School of Peking University, 518055, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Lab of Integrated Micro System Science Engineering and Application, Shenzhen Graduate School of Peking University, Shenzhen, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Key Lab of Integrated Micro System Science Engineering and Application, Shenzhen Graduate School of Peking University, 518055, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102009435","display_name":"Xin\u2019an Wang","orcid":"https://orcid.org/0000-0002-9712-8531"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xin'an Wang","raw_affiliation_strings":["Key Lab of Integrated Micro System Science Engineering and Application, Shenzhen Graduate School of Peking University, Shenzhen, China","Key Lab of Integrated Micro System Science Engineering and Application, Shenzhen Graduate School of Peking University, 518055, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Lab of Integrated Micro System Science Engineering and Application, Shenzhen Graduate School of Peking University, Shenzhen, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Key Lab of Integrated Micro System Science Engineering and Application, Shenzhen Graduate School of Peking University, 518055, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051175285","display_name":"Zhibin Lian","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zhibin Lian","raw_affiliation_strings":["Be One Lab Inc., Toronto, Ontario, Canada","Be One Lab Inc. Toronto, Ontario, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Be One Lab Inc., Toronto, Ontario, Canada","institution_ids":[]},{"raw_affiliation_string":"Be One Lab Inc. Toronto, Ontario, Canada","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101686521","display_name":"Qiuping Li","orcid":"https://orcid.org/0000-0001-9562-0138"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qiuping Li","raw_affiliation_strings":["Key Lab of Integrated Micro System Science Engineering and Application, Shenzhen Graduate School of Peking University, Shenzhen, China","Key Lab of Integrated Micro System Science Engineering and Application, Shenzhen Graduate School of Peking University, 518055, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Lab of Integrated Micro System Science Engineering and Application, Shenzhen Graduate School of Peking University, Shenzhen, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Key Lab of Integrated Micro System Science Engineering and Application, Shenzhen Graduate School of Peking University, 518055, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079563395","display_name":"Shanshan Yong","orcid":"https://orcid.org/0000-0002-8700-3196"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shanshan Yong","raw_affiliation_strings":["Key Lab of Integrated Micro System Science Engineering and Application, Shenzhen Graduate School of Peking University, Shenzhen, China","Key Lab of Integrated Micro System Science Engineering and Application, Shenzhen Graduate School of Peking University, 518055, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Key Lab of Integrated Micro System Science Engineering and Application, Shenzhen Graduate School of Peking University, Shenzhen, China","institution_ids":["https://openalex.org/I20231570"]},{"raw_affiliation_string":"Key Lab of Integrated Micro System Science Engineering and Application, Shenzhen Graduate School of Peking University, 518055, China","institution_ids":["https://openalex.org/I20231570"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3172,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.6131588,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"6","issue":null,"first_page":"1","last_page":"4"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9987999796867371,"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.9987999796867371,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9979000091552734,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.8195294141769409},{"id":"https://openalex.org/keywords/bottleneck","display_name":"Bottleneck","score":0.6952909827232361},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.6580849885940552},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.5819867253303528},{"id":"https://openalex.org/keywords/toolbox","display_name":"Toolbox","score":0.5605195164680481},{"id":"https://openalex.org/keywords/abstract-state-machines","display_name":"Abstract state machines","score":0.45839202404022217},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.45383408665657043},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.45345446467399597},{"id":"https://openalex.org/keywords/interface","display_name":"Interface (matter)","score":0.45319804549217224},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4472813308238983},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4419260621070862},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.432712197303772},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4277190566062927},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.41385096311569214},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.38344377279281616},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.34343206882476807},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.3228171765804291},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2825542688369751},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.23494106531143188},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08681538701057434}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8195294141769409},{"id":"https://openalex.org/C2780513914","wikidata":"https://www.wikidata.org/wiki/Q18210350","display_name":"Bottleneck","level":2,"score":0.6952909827232361},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.6580849885940552},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.5819867253303528},{"id":"https://openalex.org/C2777655017","wikidata":"https://www.wikidata.org/wiki/Q1501161","display_name":"Toolbox","level":2,"score":0.5605195164680481},{"id":"https://openalex.org/C145243422","wikidata":"https://www.wikidata.org/wiki/Q333385","display_name":"Abstract state machines","level":3,"score":0.45839202404022217},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.45383408665657043},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.45345446467399597},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.45319804549217224},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4472813308238983},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4419260621070862},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.432712197303772},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4277190566062927},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.41385096311569214},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.38344377279281616},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.34343206882476807},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.3228171765804291},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2825542688369751},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.23494106531143188},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08681538701057434},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C157915830","wikidata":"https://www.wikidata.org/wiki/Q2928001","display_name":"Bubble","level":2,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C129307140","wikidata":"https://www.wikidata.org/wiki/Q6795880","display_name":"Maximum bubble pressure method","level":3,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C548081761","wikidata":"https://www.wikidata.org/wiki/Q180388","display_name":"Waste management","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/asicon.2013.6812056","is_oa":false,"landing_page_url":"https://doi.org/10.1109/asicon.2013.6812056","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE 10th International Conference on ASIC","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4699999988079071,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W1971104420","https://openalex.org/W2001295197","https://openalex.org/W2011859951","https://openalex.org/W2105273466","https://openalex.org/W2113916958","https://openalex.org/W2132213263","https://openalex.org/W2135704596","https://openalex.org/W2144444190","https://openalex.org/W2156739347","https://openalex.org/W2318651816","https://openalex.org/W4229756444","https://openalex.org/W4231156508","https://openalex.org/W4235728633","https://openalex.org/W4248796439","https://openalex.org/W4289256978","https://openalex.org/W4300880552","https://openalex.org/W4365806396","https://openalex.org/W4400526806"],"related_works":["https://openalex.org/W2098353690","https://openalex.org/W4251237796","https://openalex.org/W2105593427","https://openalex.org/W3120172095","https://openalex.org/W2118572231","https://openalex.org/W2106507440","https://openalex.org/W2371707945","https://openalex.org/W3209085687","https://openalex.org/W2348641362","https://openalex.org/W2906490231"],"abstract_inverted_index":{"Confronted":[0],"with":[1,107],"ever":[2],"increasing":[3],"design":[4,18],"complexity,":[5],"modeling":[6],"system":[7,48],"architectures":[8],"for":[9,32,59],"early":[10],"performance":[11,61,73],"evaluation":[12],"and":[13,62],"fast":[14],"exploration":[15],"of":[16,38,47,56,83],"the":[17,39,45,66,72,81,100,108,111,118],"space":[19],"will":[20,42],"be":[21],"a":[22,30,53],"necessary":[23],"process.":[24],"Meanwhile,":[25],"function":[26,90,109],"verification":[27],"has":[28],"been":[29],"bottleneck":[31],"time":[33],"to":[34,70,79,99,128],"market.":[35],"The":[36,85],"sharing":[37],"two":[40],"processes":[41],"greatly":[43],"enhance":[44],"efficiency":[46],"development.":[49],"This":[50],"paper":[51],"presents":[52],"universal":[54],"framework":[55],"dual-use":[57,101],"model":[58,74,78],"both":[60],"functionality":[63],"based":[64,92],"on":[65,93],"abstract":[67,112],"state":[68,113,119],"machine,":[69],"reuse":[71],"in":[75,122],"building":[76],"reference":[77],"reduce":[80],"cycle":[82],"verification.":[84],"Application":[86],"Program":[87],"Interface":[88],"(API)":[89],"library":[91],"Universal":[94],"Verification":[95,123],"Methodology":[96],"(UVM),":[97],"corresponding":[98],"model,":[102],"is":[103,115],"provided":[104],"simultaneously.":[105],"Associated":[106],"library,":[110],"machine":[114,120],"recorded":[116],"by":[117],"component":[121],"Expert":[124],"System":[125],"(VES)":[126],"toolbox":[127],"generate":[129],"specific":[130],"code":[131],"automatically.":[132]},"counts_by_year":[{"year":2014,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}