Design support system and method therefor

Abstract

A design support system for executing logic verification so as to perform work management, progress state management and logic quality management efficiently in a logic verification process and so as to improve the man-hour for development and the throughput of computer resources. For every verification item to be executed, management information including a verification item number for identifying a verification item, confirmation information for indicating the fact that no failure has been confirmed in the verification item, a prerequisite verification item number for identifying another verification item required to be confirmed as a prerequisite for the verification item is stored in a memory of the system. Before execution of logic simulation which is performed by giving test data for logic verification of the design data to the design data as a subject of logic verification, data in the memory are searched so that logic simulation is executed in the case where all verification items as prerequisites for verification items to be executed have been already confirmed.