公开(公告)号：CN1950911A

公开(公告)日：2007-04-18

申请号：CN200580014317.X

申请日：2005-03-04

Applicant: 株式会社东芝

Inventor： 泉干雄 ,  林俊文 ,  垂水辉次 ,  小田中滋 ,  小田直敬 ,  伊藤敏明 ,  佐藤俊文 ,  北园秀亨 ,  前川立行

IPC: G21C17/00 ,  G01R31/28 ,  G21C17/108

CPC classification number: G21D3/04 ,  G21C17/00 ,  Y02E30/39

Abstract: 在用数字逻辑构筑的核反应堆的安全保护仪表系统中，通过预先验证相对输入的全部逻辑模式的输出逻辑模式的功能单元、及组合上述功能单元而构成的功能模块，来构成数字逻辑部分。

公开(公告)号：CN1950911B

公开(公告)日：2010-12-22

申请号：CN200580014317.X

申请日：2005-03-04

Applicant: 株式会社东芝

Inventor： 泉干雄 ,  林俊文 ,  垂水辉次 ,  小田中滋 ,  小田直敬 ,  伊藤敏明 ,  佐藤俊文 ,  北园秀亨 ,  前川立行

IPC: G21C17/00 ,  G01R31/28 ,  G21C17/108

CPC classification number: G21D3/04 ,  G21C17/00 ,  Y02E30/39

Abstract: 在用数字逻辑构筑的核反应堆的安全保护仪表系统中，通过预先验证相对输入的全部逻辑模式的输出逻辑模式的功能单元、及组合上述功能单元而构成的功能模块，来构成数字逻辑部分。

公开(公告)号：CN100454196C

公开(公告)日：2009-01-21

申请号：CN200610073974.8

申请日：2006-02-28

Applicant: 株式会社东芝

Inventor： 泉干雄 ,  林俊文 ,  小田中滋 ,  酒井宏隆 ,  小田直敬 ,  佐藤俊文 ,  伊藤敏明

IPC: G05B23/00

CPC classification number: G06F17/5027

Abstract: 提供了一种用于验证安全装置的验证方法，该安全装置包括具有多个功能元件的可编程逻辑器件。该验证方法包括以下步骤：在实际的硬件上穷举地验证多个功能元件；使用预定的硬件描述语言，生成与在实际的装置上验证过的功能元件之一相同的功能元件；将每个生成的功能元件独立地逻辑综合为多个第一网表；使用预定的硬件描述语言生成功能元件之间的连接功能；将生成的连接功能逻辑综合为对应于该连接功能的第二网表；将第一网表和第二网表进行综合以生成第三网表；基于第三网表将逻辑电路写入可编程逻辑器件；以及验证实际的可编程逻辑器件。

公开(公告)号：CN1900870A

公开(公告)日：2007-01-24

申请号：CN200610073974.8

申请日：2006-02-28

Applicant: 株式会社东芝

Inventor： 泉干雄 ,  林俊文 ,  小田中滋 ,  酒井宏隆 ,  小田直敬 ,  佐藤俊文 ,  伊藤敏明

IPC: G05B23/00

CPC classification number: G06F17/5027

Abstract: 提供了一种用于验证安全装置的验证方法，该安全装置包括具有多个功能元件的可编程逻辑器件。该验证方法包括以下步骤：在实际的硬件上穷举地验证多个功能元件；使用预定的硬件描述语言，生成与在实际的装置上验证过的功能元件之一相同的功能元件；将每个生成的功能元件独立地逻辑综合为多个第一网表；使用预定的硬件描述语言生成功能元件之间的连接功能；将生成的连接功能逻辑综合为对应于该连接功能的第二网表；将第一网表和第二网表进行综合以生成第三网表；基于第三网表将逻辑电路写入可编程逻辑器件；以及验证实际的可编程逻辑器件。