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)
No part of this work covered by the copyright hereon may be reproduced or used in any form or by any means-graphic, electronic, or mechanical, including photocopying, recording, taping, or information storage and retrieval systems-without the prior written approval of Open Verilog International. Additional copies of this manual may be purchased by(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)
Notices Accellera Standards documents are developed within Accellera and the Technical Committees of Accellera Organization, Inc. Accellera develops its standards through a consensus development process, approved by its members and board of directors, which brings together volunteers representing varied viewpoints and interests to achieve the final product.(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)
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