摘要 |
The present invention is intended to realize a behavioral synthesis system which can synthesize behavioral without inline-expanding a callee function even if a pointer is passed to the callee function during a behavioral synthesis of a caller function. The behavioral synthesis system comprises language analyzing means for analyzing the behavioral-level description entered thereinto for conversion into an internal representation for behavioral synthesis, and for generating an internal representation indicative of a correspondence relationship between a pointer variable and a specific circuit entity when a pointer variable is converted into a specific circuit entity, based on a pointer type specification within the behavioral-level description, pointer-terminal converting means for converting a pointer variable in the internal representation generated by the language analyzing means into a set of a terminal and a condition section, based on a predefined conversion rule, and behavioral synthesizing means for performing behavioral synthesis processing for the internal representation from which the pointer variable has been removed by the pointer-terminal converting means to generate and supply a circuit description at low abstractness.
|