｛“id”：“https://openalex.org/W2100052271“，”doi“：”https://doi.org/10.109/iccd.1988.25770“，”title“：”高级硬件设计验证“，”display_name“：”更高级硬件设计检验“，”publication_year“：2003，”publiation_date“：”2003-01-06“，”ids“：{”openalex“：”https://openalex.org/W2100052271“，”doi“：”https://doi.org/10.109/iccd.1988.25770“，”mag“：”2100052271“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/iccd.1988.25770“，”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/A5023490205“，”display_name“：”Atsushi Takahara“，”orcid“：”https://orcid.org/0000-0002-0584-1525}，“机构”：[{“id”：https://openalex.org/I4210105847“，”display_name“：”NTT基础研究实验室“，”ror“：”https://ror.org/01m2pas06“，”“country_code”“：”JP“，”type“：”facility“，”lineage“：[”https://openalex.org/I4210105847“]}，{”id“：”https://openalex.org/I114531698“，”display_name“：”东京理工大学“，”ror“：”https://ror.org/0112mx960“，”country_code“：”JP“，”type“：“教育”，”世系“：[”https://openalex.org/I114531698“]}]，”国家“：[”JP“]，”is_corresponding“：false，”raw_author_name“：”A.Takahara“，”raw _affiliation_strings“：[“日本神奈川Atsugi NTT LSI实验室应用特定设计技术实验室”，“日本东京理工大学计算机科学系”]，”affiliations“：[{”raw _affiliation_string“：”日本神奈川Atsugi NTT LSI实验室应用特定设计技术实验室”，“institution_ids”：[“https://openalex.org/I4210105847“]}，{”raw_affiliation_string“：”日本东京理工大学计算机科学系“，”institution_ids“：[”https://openalex.org/I114531698“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5054960345“，”display_name“：”T.Nanya“，”orcid“：null}，”institutions“：[]，”countries“：[]，”is_corresponding“：false，”raw_author_name“:”T.Nanya“apc_payd”：空，“fwci”：0.345，“has_fulltext“：true，”fulltext_origin“：”ngrams“，”cited_by_count“：2，”cited_by_percentile_year“：{”min“：70，”max“：74}，”biblio“：{“volume”：null，”issue“：null”，“first_page”：null，“last_page”：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9999，“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.9999，“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.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.9984，”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/system-level-design网站“，”display_name“：”系统级设计“，”score“：0.5559}，{”id“：”https://openalex.org/keywords/hardware/software-codesign“，”display_name“：”硬件/软件代码签名“，”score“：0.546008}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.536546}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.519096}，{”id“：”https://openalex.org/keywords/platform-based-design网站“，”display_name“：”基于平台的设计“，”score“：0.503899}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.78319263}，{”id“：”https://openalex.org/C2776359362，“wikidata”：https://www.wikidata.org/wiki/Q2145286“，”display_name“：”Representation（politics）“，”level“：3，”score“：0.6252388}，{”id“：”https://openalex.org/C2777210771，“wikidata”：https://www.wikidata.org/wiki/Q4927124“，”display_name“：”Block（置换群论）“，”level“：2，”score“：0.6163702}，{”id“：”https://openalex.org/C187250869，“wikidata”：https://www.wikidata.org/wiki/Q5754573“，”display_name“：”高级验证“，”level“：5，”score“：0.6027507}，{”id“：”https://openalex.org/C34854456，“wikidata”：https://www.wikidata.org/wiki/Q1484552“，”display_name“：”寄存器传输级别“，”level“：4，”score“：0.53413105}，{”id“：”https://openalex.org/C3406870，“wikidata”：https://www.wikidata.org/wiki/Q6044160“，”display_name“：”智能验证“，”level“：5，”score“：0.5193492}，{”id“：”https://openalex.org/C62460635，“wikidata”：https://www.wikidata.org/wiki/Q5508853“，”display_name“：”功能验证“，”level“：3，”score“：0.49565494}，{”id“：”https://openalex.org/C9390403，“wikidata”：https://www.wikidata.org/wiki/Q3966“，”display_name“：”计算机硬件“，”level“：1，”score“：0.4841788}，{”id“：”https://openalex.org/C2776401178，“wikidata”：https://www.wikidata.org/wiki/Q12050496“，”display_name“：”Feature（语言学）“，”level“：2，”score“：0.48228934｝，｛”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.48002854}，{”id“：”https://openalex.org/C58013763，“wikidata”：https://www.wikidata.org/wiki/Q5754574“，”display_name“：”高级合成“，”level“：3，”score“：0.46944568}，{”id“：”https://openalex.org/C48103436，“wikidata”：https://www.wikidata.org/wiki/Q599031“，”display_name“：”State（computer science）“，”level“：2，”score“：0.43407845}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.42957005}，{”id“：”https://openalex.org/C113775141，“wikidata”：https://www.wikidata.org/wiki/Q428691“，”display_name“：”计算机工程“，”level“：1，”score“：0.37671024}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.33945182}，{”id“：”https://openalex.org/C157922185，“wikidata”：https://www.wikidata.org/wiki/Q173198“，”display_name“：”逻辑合成“，”level“：3，”score“：0.29468474}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.22973731}，{”id“：”https://openalex.org/C2777904410，“wikidata”：https://www.wikidata.org/wiki/Q7397“，”display_name“：”软件“，”级别“：2，”分数“：0.19078514}，{”id“：”https://openalex.org/C13117901，“wikidata”：https://www.wikidata.org/wiki/Q170451“，”display_name“：”逻辑门“，”level“：2，”score“：0.14303252}，{”id“：”https://openalex.org/C42935608，“wikidata”：https://www.wikidata.org/wiki/Q190411“，”display_name“：”现场可编程门阵列“，”level“：2，”score“：0.123408526}，{”id“：”https://openalex.org/C186846655，“wikidata”：https://www.wikidata.org/wiki/Q3398377“，”display_name“：”软件构造“，”level“：4，”score“：0.0}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C94625758，“wikidata”：https://www.wikidata.org/wiki/Q7163“，”display_name“：”政治“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C149091818，“wikidata”：https://www.wikidata.org/wiki/Q2429814“，”display_name“：”软件系统“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442“，”display_name“：”政治学“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C199539241，“wikidata”：https://www.wikidata.org/wiki/Q7748“，”display_name“：”Law“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/iccd.1988.25770“，”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”：8，“referrenced_works”：[”https://openalex.org/W2012284435","https://openalex.org/W2056386379","https://openalex.org/W2109103805","https://openalex.org/W2137865376","https://openalex.org/W2167163830","https://openalex.org/W2609715704","https://openalex.org/W4233147043","https://openalex.org/W4250650403“]，”related_works“：[”https://openalex.org/W4379116333","https://openalex.org/W4205300843","https://openalex.org/W3155012083","https://openalex.org/W3120172095","https://openalex.org/W3097333598","https://openalex.org/W2929969821","https://openalex.org/W2392047570","https://openalex.org/W2361881307","https://openalex.org/W2354470518","https://openalex.org/W2120231722“]，”ngrams_url“：”https://api.openalex.org/works/W2100052271/ngrams网站“，”abstract_inverted_index“：{”A“：[0]，”novel“：[1]，”approach“：[2]，”to“：[3]，”formal“：[4]，”验证“：[5,24101121]，”of“：[6,14,28,38,96122]，”计算机“：[7]，”硬件“：[8,69,81]，”设计“：[9]，”at“：[10]，”A“：[11,29,52,68123]，”更高“：[12]，”级别“：[13,19]，“表示”：[15,71]，“than”：[16]，“the”：[17,26,35,39,45,55,80,84,97108112]，“寄存器传输“：[18]”是“：[20,32,86,90]”。“：[21]，“In”：[22]，“this”：[23]，“method”，“：[25]，“specification”：[2]，“digital”：[30]，“system”：[3]，“defined”：[33]，“as”：[34]，“input/output”：[36105]，“behavior”：[37]，“external”：%40]，“systems”：[41]，“that”：[42]，“communicate”：[43]，“with”：44]，“target”：[46]，“系统”。“：[47,99]，”The“：[48]，”description“：[50,57,64110]，”called“：[51,58]，”cospecification“：[P3109]，”and“：[54,72111]，”implementation“：[56128]，”an“：[59]，”FBL“：[60113]，”（functional“：[61]，”block“：[62]，”level）“：[63]，”are“：65]，”transformed“：[66]，”into“：[67]，”model“：[70]，”composited“：[73]，“by”：[74,92]，“connecting”：[75]，“their”：[76]，“related”：[77]，“端口”：[78]，“在”：[79126]，“型号。“：[82]，“是否”：[83]，“设计”：[85125]，“正确”：[87]，“或”：[88]，“否”：[89131]，“已验证”：[91]，“生产”：[93]，“状态”：[94]，“转换”：[95]，“复合”：[98]，“此”：[100115]，“方法”：[102]，“需要”：[103]，“仅”：[104]，“关系”：[106]，“介于”：[107]，“描述”。“：[114]，”特征“：[116]，”制造“：[117]，”it“：[118]，”合适“：[119]，”for“：[120]，”higher level“：[124]，”which“：[127]，”details“：[129]，”may“：[130]，”be“：[132]，”explicit<":[133],">“：[136]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2100052271“，”counts_by_year“：[]，”updated_date“：”2024-06-21T19:44:47.163963“，”创建日期“：”2016-06-24“}