System for synthesizing a circuit by re-writing signed variables into unsigned variables and sharing resources for identical operations having different timing

摘要

A circuit synthesizing method for synthesizing a desired circuit from a behavior description indicating the behavior of a design circuit that is created in a hardware description language stores in advance translation rules for re-writing operations using signed variables into operations using unsigned variables, detects operations using signed variables from a behavior description, extracts translation rules associated with the detected signed variables, re-writes said operations using signed variables into operations using unsigned variables according to the extracted translation rules, and based on said re-written behavior description, finds identical operations that do not behave in the same timing and carries out the process of sharing a functional unit.