The Application of Software Process Precedence Relationship Formalisms to Concurrent Hardware Systems

In this paper, precedence constraint combination formalisms defined in the software domain are used to define the behavior of hardware systems. Specifically, AND-join and various types of OR-join semantics are used to describe hardware systems composed of concurrent, cooperating hardware components. It is shown that synthesizable VHDL specifications can be created that model the semantics of these constraint combination formalisms for hardware systems. Using common semantics for systems in both hardware and software domains will help to unify system description across domain boundaries and aid in developing implementation independent system descriptions.

[1]  B. Earl Wells,et al.  More Accurate Semantics Defining Constraint Combination for Software Systems Having Client-Server Relationships , 2003, Computers and Their Applications.

[2]  B. Earl Wells,et al.  A Survey and Analysis of Existing Constraint Combination Formalisms and Their Applications to Software Systems Having Client-Server Relationships , 2003, Computers and Their Applications.

[3]  Donald W. Gillies,et al.  Scheduling Tasks with AND/OR Precedence Constraints , 1995, SIAM J. Comput..

[4]  Ellis Horowitz,et al.  A framework for specification and design of software for advanced sensor systems , 1989, [1989] Proceedings. Real-Time Systems Symposium.

[5]  Mehdi Behzad,et al.  Graphs and Digraphs , 1981, The Mathematical Gazette.

[6]  M.C. McElvany,et al.  Guaranteeing deadlines in MAFT , 1988, Proceedings. Real-Time Systems Symposium.

[7]  Donald William Gillies,et al.  Algorithms to Schedule Tasks With And/or Precedence Constraints , 1993 .

[8]  Daniel Gajski,et al.  Features supporting system-level specification in HDLs , 1993, Proceedings of EURO-DAC 93 and EURO-VHDL 93- European Design Automation Conference.

[9]  Donald E. Thomas,et al.  The Verilog® Hardware Description Language , 1990 .

[10]  B. Earl Wells,et al.  A framework for the design and specification of hard real-time, hardware-in-the-loop simulations of large, avionic systems , 2002 .

[11]  Satish K. Tripathi,et al.  On Performance Prediction of Parallel Computations with Precedent Constraints , 2000, IEEE Trans. Parallel Distributed Syst..