METHOD AND COMPUTER PROGRAM PRODUCT FOR GENERATION OF BUS FUNCTIONAL MODELS

In accordance with the present invention, there is provided a method for creating a Bus Functional Model of an Integrated Circuit. The method comprises the following steps: providing (102) a detailed specification of said Integrated Circuit, defining (104) an architecture for said Bus Functional Model. In the following step data contained in the detailed specification of the Integrated Circuit are mapped (106) between the specification and the predefined BFM architecture. The BFM architecture contains at least one of the following constructs: Interface Tasks (202), Internal Data Elements (204), Processes (208), Finite State Machines (210), Conditions (206), Actions (212) and Signals (214). In the following step (110) the formal description of Bus Functional Model in Formal Description Language is created.