{“id”：“https://openalex.org/W1502854982网址“，”doi“：”https://doi.org/10.1007/978-3-540-70952-7_10“，”title“：”验证SMV中多时钟的VHDL设计“，”display_name“：”在SMV中验证多时钟的VLDL设计”，“publication_year”：2007，“publiation_date”：“2007-01-01”，“ids”：{“openalex”：“https://openalex.org/W1502854982“，”doi“：”https://doi.org/10.1007/978-3-540-70952-7_10“，”mag“：”1502854982“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-70952-7_10“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：网址：http://www.fit.vutbr.cz/~smrcka/pub/fmics06.pdf“，”any_repository_has_fulltext“：true}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5006588826“，”display_name“：”Ale\u0161 Smr\u010dka“，”orcid“：”https://orcid.org/0000-0002-3638-6916“}，”机构“：[]，”国家“：[”捷克“]，”is_corresponding“：false，”raw_author_name“：”A.Smr\u010dka“，”raw _ afiliation_strings“：[“FIT BUT，Brno，Czech Republic#TAB#”]，“affiliations”：[{“raw_affiliation_string”：“FIT BUT，Brno，Czench Republicy#TAB##”，“institution_ids”：[]}，{“author_position”：“middle”，“author”：{“id”“：”https://openalex.org/A5023843672“，”display_name“：”Vojt\u011bch\u0158eh\u00e1k“，”orcid“：”https://orcid.org/0000-0001-9185-7111“}，”机构“：[]，”国家“：[”CZ“]，”is_corresponding“：false，”raw_author_name“：”V.\u0158eh\u00e1k“，”raw _ afiliation_strings“：[“FI MU，Brno，Czech Republic#TAB#”]，”从属关系“：[{”raw _affiliation_strong“：”FI MU.Brno，捷克共和国#TAB##“，”机构id“：[]}，{”author_position“：”中间“，”作者“：{“id”：“https://openalex.org/A5086446392“，”display_name“：”Tom\u00e1\u0161 Vojnar“，”orcid“：”https://orcid.org/0000-0002-2746-8792“}，”机构“：[]，”国家“：[”CZ“]，”is_corresponding“：false，”raw_author_name“：”T.Vojnar“，”raw _ afiliation_strings“：[“FIT BUT，Brno，Czech Republic#TAB#”]，“affiliations”：[{“raw_affiliation_strong”：“FIT BUT，Brno（捷克共和国）#TAB##”，“institution_ids”：[]}，{“author_position”：“middle”，“author”：{“id”https://openalex.org/A5061586199“，”display_name“：”David\u0160afr\u00e1nek“，”orcid“：”https://orcid.org/0000-0002-0713-2431“}，”机构“：[]，”国家“：[”CZ“]，”is_corresponding“：false，”raw_author_name“：”D.\u0160afr \u00e1nek“，”raw _ afiliation_strings“：[“FI MU，Brno，Czech Republic#TAB#”]，”从属关系“：[{”raw _affiliation_strong“：”FI MU.Brno，捷克共和国#TAB##“，”institution_ids“：[]}，{”author_position“：”middle“，”author：{“id”：https://openalex.org/A5003268701“，”display_name“：”Petr Matou\u0161ek“，”orcid“：”https://orcid.org/0000-0003-4589-2041“}，”机构“：[]，”国家“：[”捷克“]，”is_corresponding“：false，”raw_author_name“：”P.Matou\u0161ek“，”raw _ afiliation_strings“：[“FIT BUT，Brno，Czech Republic#TAB#”]，“affiliations”：[{“raw_affiliation_string”：“FIT PUT，Brno，Czec Republicy#TAB##”，“institution_ids”：[]}，{“author_position”：“last”，“author”：{“id”“：”https://openalex.org/A5033638555“，”display_name“：”Zden\u011bk\u0158eh\u00e1k“，”orcid“：”https://orcid.org/0000-0001-9461-8909“}，”机构“：[]，”国家“：[”CZ“]，”is_corresponding“：false，”raw_author_name“：”Z.\u0158eh\u00e1k“，”raw _ afiliation_strings“：[“FI MU，Brno，Czech Republic#TAB#”]，“afliations”：[{“raw_affiliation_string”：“FI MU，Brno，Czench Republicy#TAB#”，“institution_ids”：[]}]，“instITION_assertions”：[]countries_disticont_count“：1，”institutions_distinct_count“：0，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：0.0，“has_fulltext”：false，“cited_by_count”：0，“citation_normalized_percentile”：{“value“0.0”，“is_in_top_1_percent”：假，“is_in_top_10_percent”：假}，“cited_by_percentile_year“：{“min”：0，“max”：63}，“biblio”：{”volume“：null，”issue“：nul，”first_page“：”148“，”last_page“：”164“}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：”{“id”：“https://openalex.org/T13292“，”display_name“：”嵌入式系统的设计与实现“，”score“：0.9989，”subfield“：{”id“：”https://openalex.org/subfields/2208“，”display_name“：”电气与电子工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T13292“，”display_name“：”嵌入式系统的设计与实现“，”score“：0.9989，”subfield“：{”id“：”https://openalex.org/subfields/2208“，”display_name“：”电气与电子工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11005“，”display_name“：”电子系统容错“，”score“：0.9984，”subfield“：{”id“：”https://openalex.org/subfields/2208“，”display_name“：”电气与电子工程“}，”字段“：{”id“：”https://openalex.org/fields/22“，”display_name“：”Engineering“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11032“，”display_name“：”超大规模集成测试“，”score“：0.9983，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”display_name“：”硬件和体系结构“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/vhdl-implementation（https://openalex.org/keywords/vhdl-implementation）“，”display_name“：”VHDL实现“，”score“：0.581381}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.87426406}，{”id“：”https://openalex.org/C36941000，“wikidata”：https://www.wikidata.org/wiki/Q209455“，”display_name“：”VHDL“，”level“：3，”score“：0.7509209}，{”id“：”https://openalex.org/C151319957，“wikidata”：https://www.wikidata.org/wiki/Q752739“，”display_name“：”异步通信“，”level“：2，”score“：0.7487524}，{”id“：”https://openalex.org/C110251889，“wikidata”：https://www.wikidata.org/wiki/Q1569697“，”display_name“：”模型检查“，”level“：2，”score“：0.714991}，{”id“：”https://openalex.org/C42935608，“wikidata”：https://www.wikidata.org/wiki/Q190411“，”display_name“：”现场可编程门阵列“，”level“：2，”score“：0.5851542｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.58508563}，{”id“：”https://openalex.org/C42143788，“wikidata”：https://www.wikidata.org/wiki/Q173341“，”display_name“：”硬件描述语言“，”level“：3，”score“：0.4898972}，{”id“：”https://openalex.org/C85847156，“wikidata”：https://www.wikidata.org/wiki/Q59015987“，”display_name“：”可验证秘密共享“，”level“：3，”score“：0.43071082}，{”id“：”https://openalex.org/C1185224514，“wikidata”：https://www.wikidata.org/wiki/Q173212“，”display_name“：”计算机体系结构“，”level“：1，”score“：0.3914039}，{”id“：”https://openalex.org/C149635348，“wikidata”：https://www.wikidata.org/wiki/Q193040“，”display_name“：”嵌入式系统“，”level“：1，”score“：0.38140225｝，｛”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”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}]，”mesh“：[]，”locations_count“：2.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-540-70952-7_10“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.88.69，“pdf_url”：网址：http://www.fit.vutbr.cz/~smrcka/pub/fmics06.pdf“，”源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.88.69，“pdf_url”：网址：http://www.fit.vutbr.cz/~smrcka/pub/fmics06.pdf“，”源“：{”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”display_name“：”工业、创新和基础设施“，”分数：0.46，“id”：“https://metadata.un.org/sdg/9“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：9，”referrenced_works“：【”https://openalex.org/W1541510538","https://openalex.org/W1553913027","https://openalex.org/W1822320350","https://openalex.org/W2123843480","https://openalex.org/W2160776998","https://openalex.org/W2561675875","https://openalex.org/W2626469852","https://openalex.org/W76555569","https://openalex.org/W92914641“]，”related_works“：[”https://openalex.org/W2911649771","https://openalex.org/W2548456620","https://openalex.org/W2384838054","https://openalex.org/W2376018793","https://openalex.org/W2148697719","https://openalex.org/W2139058049","https://openalex.org/W2110818533","https://openalex.org/W2075214143","https://openalex.org/W2070083638","https://openalex.org/W1917852300“]，”abstract_inverted_index“：{”The“：[0,64]，”paper“：[1,65]，”considers“：[2]，”The“：[3,21,49,58,73,90]，”problem“：[4]，”of“：[5,29,69,78,83]，”model“：[6,18,23,27]，”checking“：[7,28]，”real-life“：[8,80]，”VHDL-based“：[9]，”hardware“：[10]，”designs“：[11,33,47]，”via“：[12]，“他们的”：[13]，“自动化”：[14]，“转换”：[15]，“到”：[16,43,48]，“a”：[17]，“可验证“：[19]，”使用“：[20,72]，”SMV“：[22,50]，”检查程序。讨论了“：[24]，“In”：[25]，“special”：[26]，“asynchronous”：[30,45,81]，“designs”，“：[31]，“即”：[32]，“driven”：[34]，“by”：[35]，“multiple”：[36]，“clocks，”：[37]，“is”：[38]。“：[39]，“两个”：[40]，“原始”：[41]，“方法”：[42]，“编译”：[44]，“VHDL”：[46]，“语言”：[51]，“这样”：[52]，“那”：[53]，“错误”：[54]，“可能”：[55]，“产生”：[56]，“来自”：[57]，“异步”：[59]，“被”：[60,62]，“保留”：[61]，“提议”。“：[63]，”也“：[66]，”呈现“：[67]，”结果“：[68]，”实验“：[70]，”用“：[71]，”建议“：[74]，”方法“：[75]，”用于“：[76]，”验证“：[77]，”多个“：[79]，”组件“：[82]，”an“：[84]，”基于FPGA“：[85]，”路由器“：[86]，”正在“：[87]，”开发“：[88]，”在“：[89]，”Liberouter“：[91]，”项目。“：[92]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1502854982“，”counts_by_year“：[]，”updated_date“：”2024-09-19T20:42:00.897055“，”created_dates“：”2016-06-24“}“