11. The computer readable storage device having a program stored thereon according to claim 9 , wherein said stored program further comprises processing for determining a method to convert a pointer variable into a specific circuit entity based on the result of the analysis.
9. A computer readable storage device having a program stored thereon for causing a computer to execute a behavioral synthesizing method for generating a circuit description at low abstractness from a behavioral-level description, said stored program comprising: processing for analyzing the behavioral-level description entered thereinto for conversion into an internal representation for behavioral synthesis, and generating an internal representation indicative of a correspondence relationship between a pointer variable and a specific circuit entity when the pointer variable is converted into a specific circuit entity, based on a pointer type specification within the behavioral-level description; processing for converting a pointer variable in the internal representation into a set of a terminal and a condition section, based on a conversion rule; and processing for performing behavioral synthesis processing for the internal representation from which the pointer variable has been removed to generate and supply a circuit description at low abstractness; wherein the behavioral synthesis processing includes providing a design flow which allows a caller function to be completely independent of the implementation of a callee function upon synthesis of the caller function.