Computer readable storage medium having logic synthesis program, and logic synthesis method and apparatus
AssigneeMitsubishi Denki Kabushiki Kaisha
InventorMasaru Ozaki
Life of this patent
Estimating the term…
Loading patent…
AssigneeMitsubishi Denki Kabushiki Kaisha
InventorMasaru Ozaki
Estimating the term…
A computer readable storage medium has a logic synthesis code embodied therein. The logic synthesis code includes a standard design function for causing a computer to generate standard circuit information about target circuitry on which a logic synthesis function is to be performed, based on specifications of the target circuitry written in a hardware description language, the standard circuit information logically matching the specifications; a timing design function for causing the computer to generate modified circuit information by modifying the standard circuit information so that the standard circuit information satisfies both an ideal clock signal condition defining an ideal clock signal to be applied to one or more sequential circuits included in target circuitry, and at least either of a first ideal assertion period condition defining an ideal period of time during which each of one or more tristate buffers included in the target circuitry is asserted and a second ideal assertion period condition defining an ideal period of time during which each of one or more other sequential circuits for latching an output of a tristate buffer, which are included in the target circuitry is asserted; and an output function for outputting the modified circuit information from the timing design function.
A computer readable storage medium having logic synthesis code means embodied therein, said logic synthesis code means comprising:
A computer-implemented logic synthesis method for generating information about a constitution of target circuitry on which a logic synthesis function is to be performed based on specifications of the target circuitry written in a hardware description language, said method comprising the steps of:
A logic synthesis apparatus for generating information about a constitution of target circuitry based on specifications of the target circuitry written in a hardware description language, comprising:
Dependencies are inferred from the claim text.