Method, apparatus and program for determining the relationship of correspondence between register transfer level description and behavioral description

A program executed by a computer receiving the behavioral description including at least one conditional branch sentence and synthesis constraints to generate register transfer level description, including the state of a finite state machine, from said behavioral description and the synthesis constraints;

• said program allowing said computer to execute the following steps comprising:
• processing for generating an intermediate level description having states of said finite state machine and conditional branching in said behavioral description, based on the behavioral description and synthesis constraints, for generating a first table of correspondence correlating at least the nodes of said intermediate level description to corresponding portions of said behavioral description, and for storing said intermediate level description and the first table of correspondence in intermediate level description storage means and in first table of correspondence storage means;
• and
• RTL generating processing for generating register transfer level description including the state of the finite state machine, based on the intermediate level description stored in said intermediate level description storage means and said synthesis constraints, for generating a second table of correspondence correlating at least nodes of said register transfer level description to nodes of said intermediate level description by the states of said finite state machine and the information on said conditional branching, possessed by said intermediate level description, and for storing said register transfer level description and the intermediate level description in a register transfer level description storage unit and in a second table of correspondence storage unit, respectively.

A method for determining the relationship of correspondence between the register transfer level description and the behavioral description, carried out using a behavioral synthesis device and a circuit designing assisting device, said behavioral synthesis device generating, from the behavioral description having a conditional branching sentence, and from synthesis constraint, the register transfer level description including the state of a finite state machine, comprising:

• a step of said behavioral synthesis device storing and holding the relationship among the description on the side of the behavioral description, the description on the side of the register transfer level description, the state of the finite state machine, and the conditional branching in said behavioral description, in a relationship of correspondence storage unit;
• a step of said behavioral synthesis device, generating a table of correspondence showing at least the description on the side of the register, the state of the finite state machine, the information on said conditional branching and the description on the side of the behavioral description, using the information stored and held in said relationship of correspondence storage unit;
• and
• a step of said circuit designing assisting device outputting the relationship of correspondence between the register transfer level description and the behavioral description so that said relationship of correspondence will be uniquely determined by the state of said finite state machine and by the information on said conditional branching.