Information processing method capable of detecting redundant circuits and displaying redundant circuits in the circuit design process

An information processor, comprising:

• a storage unit for storing circuit operation information in which operations of circuits are described using a hardware description language and a library for performing a logic synthesis of said circuit operation information and converting to a net list that comprises information of circuit patterns;
• a display unit for displaying information showing redundant circuits;
• and
• a data processor for hierarchically arranging statement by statement said circuit operation information that is stored in said storage unit, and then referring to said library, performing a logic synthesis of the hierarchically arranged circuit operation information and converting to a net list, detecting redundant fault sites that are logically redundant sites from said net list, and displaying on said display unit information that shows said redundant circuits that include the redundant fault sites.

A computer readable medium comprising a program for causing a computer to detect redundant circuits said program causing said computer to execute processes comprising the steps of:

• hierarchically arranging statement by statement circuit operation information in which the operation of circuits is described using a hardware description language that is stored in a storage unit;
• referring to a library;
• performing a logic synthesis of hierarchically arranged said circuit operation information;
• converting the hierarchal circuits operation information to a net list;
• detecting redundant fault sites that are sites that are logically redundant from said net list;
• and
• displaying information that shows said redundant circuits that contain said redundant fault sites.