Data processing: structural design – modeling – simulation – and em – Simulating electronic device or electrical system – Software program
Reexamination Certificate
2002-04-25
2009-12-15
Rodriguez, Paul L (Department: 2123)
Data processing: structural design, modeling, simulation, and em
Simulating electronic device or electrical system
Software program
C716S030000, C716S030000
Reexamination Certificate
active
07634396
ABSTRACT:
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.
REFERENCES:
patent: 5599659 (1997-02-01), Brasile et al.
patent: 5787008 (1998-07-01), Pullela et al.
patent: 5946177 (1999-08-01), Miller et al.
patent: 5966306 (1999-10-01), Nodine et al.
patent: 6009251 (1999-12-01), Ho et al.
patent: 6442514 (2002-08-01), Le
patent: 6571204 (2003-05-01), Meyer
patent: 0 697 757 (1996-02-01), None
patent: 2119188 (1998-09-01), None
patent: WO 03/081742 (2003-10-01), None
Luc Semeria, Abhijit Ghosh, “Methodology for Hardware/Software Co-verification in C/C++” IEEE ISBN 0-7803-5974-7, 2000, pp. 405-408.
Chonnad, Shivakumar et al.; “A Layered Approach to Behavioral Modeling of Bus Protocols”; IEEE; 2000; pp. 170-173; IEEE.
Korotkov Sergey
Kruzhkov Oleg
Makhlushev Igor
Nekrasov Alexander
Selin Ivan
Chiu Joanna G.
Craig Dwin M
Freescale Semiconductor Inc.
Rodriguez Paul L
LandOfFree
Method and computer program product for generation of bus... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and computer program product for generation of bus..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and computer program product for generation of bus... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4107755