BEHAVIORAL SYNTHESIZER SYSTEM, OPERATION SYNTHESIZING METHOD AND PROGRAM

A behavioral synthesis system which synthesizes behavior without inline expansion of a callee function, even one which has a pointer as an argument during the synthesis of a caller function. There is also a language analyzer that analyzes the behavior level description for conversion into an internal representation for behavioral synthesis and one which represents a correspondence relationship between a pointer variable and a circuit entity. There is also a pointer-terminal converter that converts a pointer into a set of a terminal and condition in the internal representation generated by the language analyzer. Further, there is a behavioral synthesizer that processes the internal representation from which the pointer variable has been removed by the pointer terminal converter to generate a circuit description at low abstractness.