Loading patent…
AssigneeRenesas Electronics Corporation
InventorsTadaaki Tanimoto, Shintaro Imamura
Estimating the term…
Specific characteristics of a branch structure between a behavioral description and a hardware description, a structural dependence relation therebetween, and the like are extracted and used to shorten the time of processing for equivalence checking, thereby contributing to the shortening of a processing time required for equivalence checking for a high-level description and a behavioral synthesis result. Upon checking of the equivalence of a high-level description and a synthesis result obtained by performing a behavior synthesis on the high-level description according to a behavioral synthesis restriction, correspondence information between flip-flops with a feedback loop in the synthesis result and variables associated therewith with a backward data dependence relation in a high-level description is generated and used.
A method of checking the equivalence of a high-level description taken as a behavioral description, and a hardware description obtained based on the high-level description, using a computer, said equivalence checking method comprising the steps of:
A non-transitory computer readable medium storing an executable equivalence checking program for causing a computer to check the equivalence of a high-level description taken as a behavioral description, and a hardware description obtained based on the high-level description, said equivalence checking program causing the computer to execute a step for generating as support information for equivalence checking, correlation information related to a backward data dependence between flip-flops with a feedback loop in the hardware description and variables associated therewith in a high-level description, and a step for performing checking for the equivalence using the correlation information related to the backward data dependence.
An equivalence checking device which checks by a program process, the equivalence of a high-level description taken as a behavioral description, and a hardware description obtained based on the high-level description, said equivalence checking device comprising:
Dependencies are inferred from the claim text.