摘要 |
<P>PROBLEM TO BE SOLVED: To provide a model transforming device, a model transforming method, and a program which are capable of mutually transforming an interface model for simulation and an interface model for behavioral synthesis while maintaining equivalence without taking complex labor and time. <P>SOLUTION: A model transforming device includes a processing section configured to modify respective algebra expressions of an interface model for simulation in a fixed description style and an interface model for behavioral synthesis in a fixed description style, and when both of the algebra expressions after being modified match each other, determine that the models have mathematical equivalence, and perform mutual transformation of the models. The processing section performs mutual equivalent transformation of hierarchical channel and integration channel model transformation by following three operations a, b, and c maintaining algebraic equivalence: a: mutual equivalent transformation by payload disclosure and payload concealment operation, b: interface and channel decomposition and interface and channel integration, and c: process remapping operation. <P>COPYRIGHT: (C)2013,JPO&INPIT |