{“id”：“https://openalex.org/W2128566620“，”doi“：”https://doi.org/10.109/icecs.2010.5724591“，”title“：”带选项的可证明正确的硬件合成“，”display_name“：”带有选项的可验证正确的硬件的合成“，“publication_year”：2010，”publication_date“：”2010-12-01“，”ids“：{”openalex“：”https://openalex.org/W2128566620“，”doi“：”https://doi.org/10.109/icecs.2010.5724591“，”mag“：”2128566620“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/icecs.2010.5724591“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：false，”oa_status“：”closed“，”oa_url”：null“，”any_repository_has_fulltext“：false}”，”authorships“：[{”author_position“：”first“，”作者“：{”id“：”https://openalex.org/A5081389746“，”display_name“：”Michael Dossis“，”orcid“：”https://orcid.org/0000-0002-1863-3119“}，”机构“：[]，”国家“：[[]，”is_corresponding“：true，”raw_author_name“：”Michael F.Dossis“，”raw _ afiliation_strings“：[”马其顿西马其顿高等技术教育学院“]，”从属关系“：[{”raw_ afiliation _string“：”马其顿西马其顿高等技术教育院“，”institution_ids“：[]}]，”countries_disticont_count“：0，”institutions_disticent_count”：0，“corresponding_author_ids”：[“https://openalex.org/A5081389746“]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：nully，”fwci“：null，”has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：0，”cited_by_percentile_year“：{”min“：0”max“：68}，”biblio“：{volume”：null、“issue”：null、“first_page”：null}，“is_retracted”：false，“is _paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：1.0，“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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：1.0，“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/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9995，”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/T11032“，”display_name“：”超大规模集成测试“，”score“：0.9991，”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/high-level-synthesis网站“，”display_name“：”高级合成“，”score“：0.541677｝，｛”id“：”https://openalex.org/keywords/performance-optimization网站“，”display_name“：”性能优化“，”score“：0.539221}，{”id“：”https://openalex.org/keywords/reconfigurable-computing网站“，”display_name“：”可重构计算“，”score“：0.539122}，{”id“：”https://openalex.org/keywords/embedded-cores网站“，”display_name“：”嵌入式内核“，”score“：0.522206}，{”id“：”https://openalex.org/keywords/hig-performance-computing（https://openalex.org/关键字/高性能计算）“，”display_name“：”高性能计算“，”score“：0.513492}]，”concepts“：[{”id“：”https://openalex.org/C2781198647，“wikidata”：https://www.wikidata.org/wiki/Q1633673“，”display_name“：”Datapath“，”level“：2，”score“：0.8867067}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8651004}，{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.6292457}，{”id“：”https://openalex.org/C58013763，“wikidata”：https://www.wikidata.org/wiki/Q5754574“，”display_name“：”高级合成“，”level“：3，”score“：0.5957955}，{”id“：”https://openalex.org/C169590947，“wikidata”：https://www.wikidata.org/wiki/Q47506“，”display_name“：”编译器“，”级别“：2，”分数“：0.59107614}，{”id“：”https://openalex.org/C133162039，“wikidata”：https://www.wikidata.org/wiki/Q1061077“，”display_name“：”代码生成“，”level“：3，”score“：0.47899458}，{”id“：”https://openalex.org/C2778000800网址，“wikidata”：https://www.wikidata.org/wiki/Q830043（网址：https://www.wikidata.org/wiki/Q830043）“，”display_name“：”握手“，”级别“：3，”分数“：0.43582976}，{”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.42894107}，{”id“：”https://openalex.org/C118524514，“wikidata”：https://www.wikidata.org/wiki/Q173212“，”display_name“：”计算机体系结构“，”level“：1，”score“：0.4277263}，{”id“：”https://openalex.org/C9390403，“wikidata”：https://www.wikidata.org/wiki/Q3966“，”display_name“：”计算机硬件“，”level“：1，”score“：0.4068691}，{”id“：”https://openalex.org/C149635348，“wikidata”：https://www.wikidata.org/wiki/Q193040“，”display_name“：”嵌入式系统“，”level“：1，”score“：0.39988282}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.34407574}，{”id“：”https://openalex.org/C42935608，“wikidata”：https://www.wikidata.org/wiki/Q190411“，”display_name“：”现场可编程门阵列“，”level“：2，”score“：0.24750632}，{”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.08709082}，{”id“：”https://openalex.org/C26517878，“wikidata”：https://www.wikidata.org/wiki/Q228039“，”display_name“：”Key（lock）“，”level“：2，”score“：0.0｝，｛”id“：”https://openalex.org/C2779960059，“wikidata”：https://www.wikidata.org/wiki/Q7113681“，”display_name“：”开销（工程）“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/icecs.2010.5724591“，”pdf_url“：null，”source“：null，”license“：null:”license_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：nul，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[]:”，“referenced_works_count”：18，“referrenced_works”：[”https://openalex.org/W1982480183","https://openalex.org/W2039719334","https://openalex.org/W2061935661","https://openalex.org/W2082085231","https://openalex.org/W2093842169","https://openalex.org/W2095672647","https://openalex.org/W2116361585","https://openalex.org/W2138092512","https://openalex.org/W2151103736","https://openalex.org/W2154773290","https://openalex.org/W2157588844","https://openalex.org/W2159314954","https://openalex.org/W2166653196","https://openalex.org/W3139990673","https://openalex.org/W3152040542","https://openalex.org/W4249596969","https://openalex.org/W4690661","https://openalex.org/W629862133“]，”related_works“：[”https://openalex.org/W650988184","https://openalex.org/W2166021916","https://openalex.org/W2162410319","https://openalex.org/W2137356287","https://openalex.org/W2135482679","https://openalex.org/W2084005807","https://openalex.org/W2004001588","https://openalex.org/W1994884893","https://openalex.org/W1903431847","https://openalex.org/W1839177134“]，”ngrams_url“：”https://api.openalex.org/works/W2128566620/ngrams“，”“abstract_inverted_index”：{“This”：[0]，“paper”：[1]，“describes”：[2]，“a”：[3115121]，“formal”：[4]，“highlevel”：[5]，“synthesis”：[6]，“framework”：%7111]，“that”：[8]，“is”：[9,38112]，“used”：[10]，“to”：[11]，“automatically”：[12,85]，“generate”：[13]，“provable-correct”：[14]，”硬件“：[15,381]6,89,93]，“来自”：[16]，“高级”，：[17]，“行为，”：[18]，“算法“：[19]，”程序“：[20]，”代码“：[21]，”with“：[22,97114]，”选项“：[23]，”of“：[24,33,43,60,71100107117]，”内存“：[25,54,78]，”use“：[26,42,70,99]，”and“：[27,45,77,80]，”target“：[28]，”FSM+数据路径“：[29,64]，”配置。“：[30]，”The“：[31,74,91105]，”corrective“：[32]，”The“：[34,41,69,88,98101108]，”generated“：[35,86,92]，”accelerators“：[37]，”assured“：[39]，”by“：[40,87]，”compiler-generator“：[44]，”logic“：[46]，”programming“：[47]，”technologies。“：[48]，“内部”，“：[49]，“片上”：[50]，“或”：[51,62]，“外部”，：[52]，“共享”：[53]，“使用”：[55]，“作为”：[56,58]，“well”：[57]，“生成”：[59]，“大规模并行”：[61]，“经典”：[63]，“可以”：[65]，“be”：[66]，“selected”：[67]，“via”：[68]，“编译”：[72]，“选项。“：[73]，”必需“：[75]，”I/O“：[76]，”接口“：[79]，”通信“：[81]，”握手“：[82]，”协议“：[83]，”是“：[84,95]，”编译器。“：[90]，”状态“：[94]，”优化“：[96]，”PARCS“：[102]，”（资源约束）“：[103]，”算法。“：[104]，“适用性”：[106]，“呈现”：[109]，“设计”：[110]，“证明”：[113]，“数字”：[116]，“测试”：[118]，“基准”：[119]，“包括”：[120]，“MPEG”：[122]，“视频”：[123]，“压缩”：[124]，“图案”。“：[125]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2128566620“，”counts_by_year“：[]，”updated_date“：”2024-06-27T02:40:23.904449“，”created_dates“：”2016-06-24“}“