发明申请
US20070028203A1 Apparatus and method for creating function verification description, and computer-readable recording medium in which program for creating function verification description is recorded
审中-公开
用于创建功能验证描述的装置和方法,以及其中记录了用于创建功能验证描述的程序的计算机可读记录介质
- 专利标题: Apparatus and method for creating function verification description, and computer-readable recording medium in which program for creating function verification description is recorded
- 专利标题(中): 用于创建功能验证描述的装置和方法,以及其中记录了用于创建功能验证描述的程序的计算机可读记录介质
-
申请号: US11258176申请日: 2005-10-26
-
公开(公告)号: US20070028203A1公开(公告)日: 2007-02-01
- 发明人: Mitsuru Sato , Hiroji Takeyama , Yuki Kumon , Tomoki Kanemochi
- 申请人: Mitsuru Sato , Hiroji Takeyama , Yuki Kumon , Tomoki Kanemochi
- 申请人地址: JP Kawasaki
- 专利权人: Fujitsu Limited
- 当前专利权人: Fujitsu Limited
- 当前专利权人地址: JP Kawasaki
- 优先权: JP2005-219193 20050728
- 主分类号: G06F17/50
- IPC分类号: G06F17/50
摘要:
To create a function verification description, which is used for verifying a result of simulation performed on a finite state machine, irrespective of description languages of designing an FSM and creating the function verification description even by a person without knowledge of the language and the creation method of the function verification description, there is provided an apparatus including: an extracting section for extracting data concerning a performance that is a subject for the simulation from specification data of the FSM; a retaining section for retaining one or more description templates for function verification descriptions which are associated with one or more performances that are subjects for simulation; a selecting section for selecting a description template corresponding to the first performance; and a creating section for creating the function verifying description by substituting the data concerning the first performance into the particular description template selected.