{“id”：“https://openalex.org/W4327930449“，”doi“：”https://doi.org/10.1145/3582016.3582058206“，”title“：“PipeSynth:自动合成微体系结构公理以实现内存一致性”，“display_name”：“Pipe Synth:Microarchitecture公理的自动合成以实现内存的一致性”、“publication_year”：2023，“publication_date”：“2023-03-25”，“ids”：{“openalex”：“https://openalex.org/W4327930449“，”doi“：”https://doi.org/10.1145/3582016.3582058206“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3582016.3582058206“，”pdf_url“：null，”source“：nul，”license“：null:”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”type“：”article“，”type_crossref“：“procesdings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oa_urlhttps://doi.org/10.1145/3582016.3582058206“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5002262801“，”display_name“：”Chase Norman“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I95457486“，”display_name“：”加州大学伯克利分校“，”ror“：”https://ror.org/01an7q238“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I95457486“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Chase Norman“，”raw _ afiliation_strings“：[“美国伯克利加州大学伯克利分校”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5051103119“，”display_name“：”Adwait Godbole“，”orcid“：”https://orcid.org/0000-0001-7704-304X}，“机构”：[{“id”：https://openalex.org/I95457486“，”display_name“：”加州大学伯克利分校“，”ror“：”https://ror.org/01an7q238“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I95457486“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Adwait Godbole“，”raw _ afiliation_strings“：[“美国伯克利加州大学伯克利分校”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5027050350“，”display_name“：”Yatin A.Manerkar“，”orcid“：”https://orcid.org/0000-0002-6954-2292}，“机构”：[{“id”：https://openalex.org/I27837315“，”display_name“：”密歇根大学\u2013Ann Arbor“，”ror“：”https://ror.org/00jmfr291“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I27837315“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Yatin A.Manerkar“，”raw _ afiliation_strings“：[“密歇根大学，美国”]}]“countries _ distinct_count”：1，”institutions _ disting_count“：2，”corresponding_author_ids“：[]，”correcponding_institution_ids cited_by_count“：0，”cited_by_percentile_year“：{“min”：0，“max”：78}，“biblio”：{卷：null，“问题”：nullhttps://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9996，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9996，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”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/T10904“，”“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/T11005“，”display_name“：”电子系统容错“，”score“：0.9986，”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/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.576876}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.53509｝，｛”id“：”https://openalex.org/keywords/error-detection（https://openalex.org/keywords/error-detection）“，”display_name“：”错误检测“，”score“：0.505328}]，”concepts“：[{”id“：”https://openalex.org/C55439883，“wikidata”：https://www.wikidata.org/wiki/Q360812“，”display_name“：”正确性“，”级别“：2，”分数“：0.828616}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8271134}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”正式验证“，”级别“：2，”分数“：0.7060776}，{”id“：”https://openalex.org/C75606506，“wikidata”：https://www.wikidata.org/wiki/Q1049183“，”display_name“：”形式方法“，”level“：2，”score“：0.56765485}，{”id“：”https://openalex.org/C2776436953，“wikidata”：https://www.wikidata.org/wiki/Q5163215“，”display_name“：”一致性（知识库）“，”level“：2，”score“：0.5079692}，{”id“：”https://openalex.org/C2779960059，“wikidata”：https://www.wikidata.org/wiki/Q7113681“，”display_name“：”开销（工程）“，”level“：2，”score“：0.4886046}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.4713896}，{”id“：”https://openalex.org/C3406870，“wikidata”：https://www.wikidata.org/wiki/Q6044160“，”display_name“：”智能验证“，”level“：5，”score“：0.46847337}，{”id“：”https://openalex.org/C26713055，“wikidata”：https://www.wikidata.org/wiki/Q245962“，”display_name“：”Implementation“，”level“：2，”score“：0.46258542}，{”id“：”https://openalex.org/C149635348，“wikidata”：https://www.wikidata.org/wiki/Q193040“，”display_name“：”嵌入式系统“，”level“：1，”score“：0.460011｝，｛”id“：”https://openalex.org/C62460635，“wikidata”：https://www.wikidata.org/wiki/Q5508853“，”display_name“：”功能验证“，”level“：3，”score“：0.44893795}，{”id“：”https://openalex.org/C116253237，“wikidata”：https://www.wikidata.org/wiki/Q1437424“，”display_name“：”正式规范“，”level“：2，”score“：0.41882318}，{”id“：”https://openalex.org/C118524514，“wikidata”：https://www.wikidata.org/wiki/Q173212“，”display_name“：”计算机体系结构“，”level“：1，”score“：0.37155163}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.17813763}，{”id“：”https://openalex.org/C529173508，“wikidata”：https://www.wikidata.org/wiki/Q638608“，”display_name“：”软件开发“，”level“：3，”score“：0.12568277}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.077982396}，{”id“：”https://openalex.org/C186846655，“wikidata”：https://www.wikidata.org/wiki/Q3398377“，”display_name“：”软件构造“，”level“：4，”score“：0.0}]，”mesh“：[]，”locations_count“：1，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1145/3582016.3582058206“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url”：“https://doi.org/10.1145/3582016.3582058206“，”pdf_url“：null，”source“：null，”license“：null.，”licence_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/9“，”score“：0.58，”display_name“：”Industry，innovation and infrastructure“｝]，”grants“：[]，”dataset“：[]，”versions“：[]，”referenced_works_count“：23，”referenced_works“：[”https://openalex.org/W1968283843网址","https://openalex.org/W2054739713","https://openalex.org/W2094878426","https://openalex.org/W2163490397","https://openalex.org/W2234646418","https://openalex.org/W2315915350","https://openalex.org/W2625764229","https://openalex.org/W2765586026","https://openalex.org/W2775415090","https://openalex.org/W2954479669","https://openalex.org/W3022427679","https://openalex.org/W3211084315","https://openalex.org/W4206557440网址","https://openalex.org/W4229675450","https://openalex.org/W4240322740","https://openalex.org/W4246338960","https://openalex.org/W4250289196","https://openalex.org/W4253550658","https://openalex.org/W4255319915","https://openalex.org/W4255365726","https://openalex.org/W4285717907","https://openalex.org/W4365806382","https://openalex.org/W4389708689“]，”related_works“：[”https://openalex.org/W3120172095","https://openalex.org/W3036403349","https://openalex.org/W2535719568","https://openalex.org/W2153955347","https://openalex.org/W2118572231","https://openalex.org/W2118549635","https://openalex.org/W2108860137","https://openalex.org/W2106507440","https://openalex.org/W2105593427","https://openalex.org/W1928822090“]，”ngrams_url“：”https://api.openalex.org/works/W4327930449/ngrams网站“，”“abstract_inverted_index”：{“Formal”：[0]，“verification”：[1,13,92102]，“can”：[2100]，“help”：[3]，“assure”：[4]，“the”：[5,18,60,82,88]，“correctivity”：[6]，“of”：[7,17,63,70,81,90]，“today\u2019s”：[8]，“processors。”：[9]，“Wheer，”：[10]，“such”：[11]，“Formal”：[12,45,64,91]，“要求“：[14]，”规范“：[16,24,66]，”处理器“：[19,71]，”存在“：[20]，”已证实的。“：[21]，”今天，“：[22]，”这些“：[23]，”是“：[25]，”大多数“：[26]，”写“：[27]，”由“：[28]，”手“：[29]，”其中“：[30]，”为“：[31]，”单调“：[32]，”和“：[33,37104]，”容易出错。“：[34]，”“此外，”：[35]，“架构师”：[36]，“硬件”：[38]，“工程师”：[39]，“一般”：[40]，“做”：[41]，“不”：[42]，“有”：[43]，“方法”：[45,58]，“经验”：[46]，“制造”：[47]，“it”：[48]，“偶数”：[49]，“更难”：[50]，“表示”：[51,59,72,93]，“他们”：[52]，“to”：[53]，“写入”：[54]，“规范。“：[56]，“现有”：[57]，“自动化”：[61]，“合成”：[62]，“微体系结构”：[65]，“利用”：[67]，“RTL”：[68，79]，“实现”：[69]，“它们的”：[73，76]，“合成”：[74]，“预防”：[75]，“使用”：[77]，“直到”：[78]，“实现”：[80]，“处理器”：[83]，“已经”：[84]，“完成。“：[85]，”This“：[86]，”hampers“：[87]，”efficiency“：[89]，”processors“：[94]，”as“：[95]，”catching“：[96]，”design“：[97]，”bugs“：[98]，”pre-RTL“：[99]，”reduce“：[101]，”overhead“：[103]，”overall“：[105]，”development“：[106]，”time“，”：“：减少”：[101]，“开销”：[103]。“：[107]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4327930449“，”counts_by_year“：[]，”updated_date“：”2024-05-31T07:06:45.567441“，”created_date:“2023-03-21”}“