验证安全装置的方法和由相同方法验证的安全装置
授权
摘要
提供了一种用于验证安全装置的验证方法，该安全装置包括具有多个功能元件的可编程逻辑器件。该验证方法包括以下步骤：在实际的硬件上穷举地验证多个功能元件；使用预定的硬件描述语言，生成与在实际的装置上验证过的功能元件之一相同的功能元件；将每个生成的功能元件独立地逻辑综合为多个第一网表；使用预定的硬件描述语言生成功能元件之间的连接功能；将生成的连接功能逻辑综合为对应于该连接功能的第二网表；将第一网表和第二网表进行综合以生成第三网表；基于第三网表将逻辑电路写入可编程逻辑器件；以及验证实际的可编程逻辑器件。
基本信息
专利标题 ：
验证安全装置的方法和由相同方法验证的安全装置
专利标题（英）：
暂无
公开（公告）号 ：
CN1900870A
申请号 ：
CN200610073974.8
公开（公告）日 ：
2007-01-24
申请日 ：
2006-02-28
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
泉干雄林俊文小田中滋酒井宏隆小田直敬佐藤俊文伊藤敏明
申请人 ：
株式会社东芝
申请人地址 ：
日本东京都
代理机构 ：
永新专利商标代理有限公司
代理人 ：
王英
优先权 ：
CN200610073974.8
主分类号 ：
G05B23/00
IPC分类号 ：
G05B23/00
IPC结构图谱
G
G部——物理
G05
控制；调节
G05B
一般的控制或调节系统；这种系统的功能单元；用于这种系统或单元的监视或测试装置
G05B23/00
控制系统或其部件的检验或监视
法律状态
2009-01-21 ：
授权
2007-03-21 ：
实质审查的生效
2007-01-24 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
