Learn More
The goal of this paper is to investigate the state-of-the-art in specification-modeling methodol-ogies applicable to reactive-system design. By combining the specification requirements of a reac-tive system and the desirable characteristics of a specification-modeling methodology, we develop a unified framework for evaluating any specification-modeling(More)
A system-design methodology based on the synergistic integration of the specification modeling and the performance modeling design stages is presented. This synergy is supported by: 1) a novel technique that dynamically and automatically incorporates delay information into an exe-cutable specification from the corresponding performance model, and 2) a novel(More)
Parallel programs are complex, especially when the communication, synchronization, and scheduling issues must be managed by the programmer. Considerable amounts of time and effort are put into developing a parallel program for a particular application, yet once written for one architecture, it may be prohibitively difficult to port the code to another(More)
In this papel; we discuss bringing two early stages of digital system design-operational specijcation modeling and pelformance modeling-under the same simulation environment. This unijication is possible by integrating the operational specijkation model and the performance model for a given system under design, so that the two models can be simultaneously(More)
  • 1