FUNCTION VERIFICATION DESCRIPTION GENERATION DEVICE, FUNCTION VERIFICATION DESCRIPTION GENERATION METHOD AND FUNCTION VERIFICATION DESCRIPTION GENERATION PROGRAM

摘要

PPROBLEM TO BE SOLVED: To allow even a person not having knowledge related to a preparation method for function verification description to prepare the function verification description regardless of a language used for the preparation of the function verification description or a design of a finite state machine when preparing the function verification description for verifying a simulation result of the finite state machine. PSOLUTION: This function verification description generation device has: an extraction part 21 extracting information related to operation of a target of simulation from specification information of the finite state machine; a holding part 10 holding description templates 11-15 of the function verification description about the operation of the simulation; a selection part 22 selecting the description template 11-15 about the operation of the target of the simulation from the holding part 10; and a preparation part 23 substituting the information extracted by the extraction part 21 for the description template 11-15 selected by the selection part 22 to prepare the function verification description. PCOPYRIGHT: (C)2007,JPO&INPIT