Design environment and a design method for hardware/software co-design

• US 5,870,588 A
• Filed: 10/23/1996
• Issued: 02/09/1999
• Est. Priority Date: 10/23/1995
• Status: Expired due to Term

• Current Assignee: Interuniversitair Micro-Electronica Centrum VZW (IMEC International)
• Original Assignee: Interuniversitair Micro-Electronica Centrum VZW (IMEC International)
• Inventors: Rompaey, Karl Van, Vanhoof, Jan, Lin, Bill, Verkest, Diederik, De Man, Hugo, Bolsens, Ivo
• Primary Examiner(s): Teska, Kevin J.
• Assistant Examiner(s): PHAN, THAI Q
• Application Number:
  US08/735,681
• Time in Patent Office: 839 Days
• Field of Search: 364/489, 364/490, 364/578, 395/500, 395/680, 395/682, 395/683, 395/684, 395/705, 395/707, 395/823, 395/831, 395/828
• US Class Current: 703/13
• CPC Class Codes: G06F 30/30 Circuit design
• CPC Class Codes: G06F 30/33 Design verification, e.g. functional simulation or model checking
• CPC Class Codes: G06F 30/3308 using simulation

Abstract

A hardware and software co-design environment and design methodology based on a data-model that allows one to specify, simulate, and synthesize heterogeneous hardware and software architectures from a heterogeneous specification. The environment and methodology of the invention allow for the interactive synthesis of hardware and software interfaces. The environment defines primitive objects to represent a specification of an essentially digital system. The primitive objects are defined by describing the specification of the system in one or more processes, each process representing a functional aspect of the system. Further, each of the processes have ports which are connected to ports of other processes with a channel. The ports structure communication between the processes.

Claims

1. A database compiled on a computer environment, adapted for access by executable programs on said environment for generating the implementation of an heterogeneous essentially digital system, comprising:

a plurality of objects representing aspects of said digital system wherein said objects comprise primitive objects representing the specification of said digital system and hierarchical objects being created by said executable programs while generating the implementation of said digital system, said primitive objects comprising ports, protocols, and channels, at least one primitive port having at least one primitive protocol, said hierarchical objects being successive refinements in a chain of refinements of said primitive objects, having more detail and preserving any one or all of said aspects to thereby generate said implementation of said digital system;

relations in between said primitive objects and in between said hierarchical objects and between said primitive objects and said hierarchical objects; and

functions for manipulating said objects and said relations.

2. The database as recited in claim 1 wherein said implementation is a simulation of said digital system.

3. The database as recited in claim 2 wherein said simulation is a multi-abstraction level simulation, said multi-abstraction level simulation comprising substantially simultaneous low-level and high-level simulation.

4. The database as recited in claim 2 wherein said simulation is a multi-platform simulation being executed on a plurality of computers.

5. The database as recited in claim 2 wherein said simulation is a hybrid simulation comprising substantially simultaneous hardware implementations and computer simulations.

6. The database as recited in claim 1 wherein said implementation is a heterogeneous implementation comprising hardware subsystems and software subsystems, said software subsystems being executed on one or more of said hardware subsystems.

7. The database as recited in claim 6 wherein said hardware subsystems comprise any one or more of processor cores, off-the-shelf components, custom components, ASICs, processors, and boards.

8. The database as recited in claim 7 wherein said software subsystems comprise machine instructions for said hardware subsystems.

9. The database as recited in claim 1 wherein said specification is a heterogeneous specification comprising a plurality of behavioral and structural languages.

10. The database as recited in claim 1 wherein said aspects comprise any one or more of functional, communication, concurrency and structural aspects of said digital system.

11. The database as recited in claim 10 wherein said objects representing said functional aspects comprise any one or more of host language encapsulations, threads, and context.

12. The database as recited in claim 10 wherein said objects representing said communication aspects comprise any one or more of ports, protocols, channels, and context.

13. The database as recited in claim 10 wherein said objects representing said concurrency aspects comprise host language encapsulations and threads.

14. The database as recited in claim 10 wherein said objects representing said structural aspects comprise any one or more of host language encapsulations, ports, channels, and instances.

15. The database as recited in claim 10 wherein said functional aspects and said communication aspects of said specification are split into first primitive objects representing said functional aspects and second primitive objects representing said communication aspects.

16. The database as recited in claim 15 wherein said first primitive objects are host language encapsulations and wherein said second primitive objects comprise said ports, said protocols, and said channels, one port having one protocol.

17. The database as recited in claim 16 wherein said ports are connected by channels, the communication between said ports over said channels being conducted according to remote-procedure-call semantics.

18. The database as recited in claim 15 wherein said second primitive objects are refined into second hierarchical objects for adding implementation detail to the communication behavior of said second primitive objects.

19. The database as recited in claim 15 wherein said concurrency aspects are inter-process concurrency aspects and intra-process concurrency aspects.

20. The database as recited in claim 15 wherein said communication aspects are intra-process communication aspects, inter-process communication aspects with remote-procedure-call semantics, and inter-process communication aspects with a hierarchical protocol.

21. The database as recited in claim 20 wherein said intra-process communication occurs between threads of a single process by shared variables in the context.

22. The database as recited in claim 20 wherein said inter-process communication with remote-procedure-call semantics occurs between a slave thread of a first process and a thread of a second process according to remote-procedure-call semantics.

23. The database as recited in claim 22 further comprising process merging functionality whereby the inter-process communication with remote-procedure-call semantics between a plurality of processes is removed by merging said plurality of processes.

24. The database as recited in claim 20 wherein said inter-process communication with a hierarchical protocol occurs between a thread of a first process and a thread of a second process according to the semantics of said hierarchical protocol.

25. The database as recited in claim 1, wherein said refinements are individual refinements.

26. The method as recited in claim 1, wherein each primitive port has at least one primitive protocol.

27. A design environment, compiled on a computer environment, for implementing an heterogeneous essentially digital system, comprising:

a database compiled on said computer, adapted for access by executable programs on said computer for generating the implementation of said heterogeneous essentially digital system, comprising a plurality of objects representing aspects of said digital system wherein said objects comprise primitive objects representing the specification of said digital system and hierarchical objects being created by said executable programs while generating the implementation of said digital system, said hierarchical objects being refinements of said primitive objects, having more detail and preserving any one or all of said aspects to thereby generate said implementation of said digital system; and

further comprising relations in between said primitive objects and in between said hierarchical objects and between said primitive objects and said hierarchical objects; and

further comprising functions for manipulating said objects and said relations;

means for specifying said heterogeneous digital system comprising a plurality of behavioral and structural languages;

means for simulating said heterogeneous digital system comprising a plurality of simulators for said behavioral and structural languages;

means for implementing said heterogeneous digital system comprising a plurality of compilers for said behavioral and structural languages;

means for allocating hardware components for an implementation of said heterogeneous digital system;

means for assigning hardware subsystems and software subsystems of said heterogeneous digital system to said hardware components;

means for implementing the communication between said software subsystems and said hardware subsystems, one of the aspects of said communication being represented by ports; and

means for encapsulating said simulators, said compilers, said hardware components, said hardware subsystems and said software subsystems, thereby creating a consistent communication between said encapsulated simulators, compilers, hardware components, hardware subsystems and software subsystems.

28. A design environment as recited in claim 27 further comprising means for creating processor models of said hardware components as objects in said database, said models comprising software models representing the software views on said hardware components and hardware models representing the hardware views on said hardware components.

29. The design environment as recited in claim 28 further comprising means for creating I/O scenario models of said ports as objects in said database, said I/O scenario models representing the implementation of said ports on said hardware components, said implementation comprising software subsystems, hardware subsystems, and processor models with connections therebetween.

30. The design environment as recited in claim 29 wherein the implementation of the communication between a first software subsystem and a first hardware subsystem results in said first software subsystem with a first port being replaced by a second hardware subsystem with a second port, said first port and said second port representing an essentially identical communication.

31. The design environment as recited in claim 30 further comprising:

means for selecting I/O scenario models for the ports of said first software subsystem;

means for combining the software subsystems of said selected I/O scenarios; and

means for combining the hardware subsystems of said selected I/O scenarios.

32. The design environment as recited in claim 31 wherein a first I/O scenario model represents the connection of said first port to said second port, said connection comprising a connection of said first port to said software subsystems of said I/O scenario model, connections of said software subsystems of said I/O scenario model to said software model, connections of said hardware model to said hardware subsystems of said I/O scenario model, and a connection of said hardware subsystems of said I/O scenario model to said second port.

33. The design environment as recited in claim 32 wherein I/O scenario models comprise any one or more of memory mapped I/O scenarios, instruction programmed I/O scenarios, and interrupt based I/O scenarios.

34. A method of making an implementation of an heterogeneous essentially digital system, comprising the steps of:

defining a first set of primitive objects representing the specification of said digital system, comprising the steps of;

describing the specification of said system in one or more processes, each process representing a functional aspect of said system, said processes being primitive objects;

defining ports and connecting said ports with channels, said ports structuring communication between said processes, said ports and said channels being primitive objects, one process having one or more ports, at least one port having at least one protocol;

defining communication semantics of said ports by a protocol, said protocol being a primitive object;

and thereafter

creating hierarchical objects by successive refinements in a chain of refinements of said primitive objects and having more detail, while preserving aspects of said communication semantics.

35. The method as recited in claim 34 further comprising the step of simulating said system.

36. The method as recited in claim 34 wherein said implementation comprises hardware and software subsystems of said system, said software subsystems being executed on one or more of said hardware subsystems.

37. The method as recited in claim 36 wherein said hardware subsystems comprise any one or more of processor cores, off-the-shelf components, custom components, ASICs, processors, and boards.

38. The method as recited in claim 37 further comprising the step of generating a net list comprising the layout information of said implementation.

39. The method as recited in claim 34 further comprising the steps of:

allocating one or more hardware components, said components comprising programmable processors and non-programmable processors; and

assigning said processes to said hardware components, the processes being assigned to a programmable processor being a software subsystem, the other processes being hardware subsystems.

40. The method as recited in claim 39 further comprising the step of selecting I/O scenario models for the ports of said software subsystem thereby connecting said ports to the interface of said programmable processor and connecting the interface of said programmable processor to second ports, said second ports representing an essentially identical communication as said ports.

41. The method as recited in claim 40 further comprising the step of refining the channel in between a first and a second port of respectively a first and a second hardware component, said first and said second port having an incompatible protocol, thereby creating a hierarchical channel, said hierarchical channel converting the first protocol into the second protocol.

42. The method as recited in claim 40 further comprising the step of refining the channels in between incompatible ports of hardware components, thereby creating hierarchical channels.

43. The method as recited in claim 42 wherein said hardware subsystems comprise any one or more of processor cores, off-the-shelf components, custom components, ASICs, processors, and boards.

44. The method as recited in claim 43 further comprising the step of generating a net list comprising the layout information of said implementation.

45. The method as recited in claim 34, wherein said refinements are individual refinements.

46. The method as recited in claim 34, wherein each port has at least one protocol.