Software verification support program, recording medium recording the program, software verification support apparatus, and software verification support method

摘要

PROBLEM TO BE SOLVED: To achieve the automatic generation of a hardware model into which an assertion for verifying software operating on a CPU is inserted.;SOLUTION: Information necessary for assertion is added to register specification information as the design source of a hardware model so that it is possible for a hardware model developer who does not understand the details of software to describe the assertion. Thus, it is possible to execute hardware model development in parallel with software development, and to shorten the development period of a whole hardware/software coexisting system.;COPYRIGHT: (C)2009,JPO&INPIT