E. A. Lee and A. Sangiovanni-Vincentelli, "A framework for comparing models of computation," IEEE Trans. Computer-Aided Design, vol. 17, pp. 1217--1229, Dec. 1998.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....the process construct. SystemC contains methods and threads that act as processes [SYC] Others have advocated the use of Java [GOS] which also employs threads to support concurrency. Theoretical discussions of hardware and system modeling also rely on a process mechanism to describe concurrency [KAH, LEE]. Thus, the process mechanism is fundamental to hardware and system modeling. Figure 1 shows a clocked process implemented in Verilog, VHDL, and SystemC, and a corresponding graph node representation. Verilog VHDL SystemC always (posedge clk) begin o = i; end process begin ....

....interconnect. We first advocated the use of PmGs as a way to structure the behavioral modeling process [A88, A00] We also found it useful for hierarchical test generation and timing distribution [GAD, CHO, RAO, WAR] Also, we have developed a PmG based behavioral modeling tool [A97] Recently, [LEE] introduced notation for describing process networks. We use some of that here, but add a graph theoretic approach for analyzing the network As an example of the use of the PmG for hardware software co design, consider the rate and delay annotated PmG shown above in Figure 2. Each arc label is ....

A. Lee and A. Sangiovanni-Vincentelli, " A Framework for Comparing Models of Computation", IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 17. No 12. December 1998, pp 1217-1229.

.... ff tt tt additional internal events p p p p p p p done ff ff ff tt ff ff ff tt tt ff ff tt mask 5 2 1 0 4 2 1 0 0 3 1 0 tick tt tt tt tt tt f lip ff ff tt tt tt tt ff ff tt ff tt tt 3 A model for polychronous systems Starting from the model of tagged signals of Lee and Sangiovani [19], we de ne a tagged model of polychronous signals. This yields a structure of polychronous processes that is used to give the formal trace semantics of core Signal. We then assess the generality and expressive power of the formal semantics and design model of core Signal by spelling out its ....

....tag chains. Each chain is in nite and countable. Hence, the set of tags in a process is at most countable. In the present model, a signal is a partial function from a set of tags T to a set of values V. An alternative approach would be to de ne it as a total function on T to V completed by . In [19], a more general de nition of process is given by considering an unordered set of tags and a set of value completed with a special mark to denote the absence of a value at a given time tag. This generality is not required to model synchronous processes. Synchronous structures [21] also ....

[Article contains additional citation context not shown here]

Lee, E. A., Sangiovanni-Vincentelli, A. A framework for comparing models of computation . In Ieee transactions on computer-aided design, v. 17, n. 12. Ieee Press, December 1998.

....have been proposed over the years (see e.g. 6] to capture one or more aspects of computation as needed in embedded system design. We have been able to compare the most important models of computations using a unifying theoretical framework introduced recently by Lee and Sangiovanni Vincentelli [5]. However, this denotational framework has only helped us to identify the sources of difficulties in combining different models of computation that are certainly needed when complex systems are being designed. In this case, the partition of the functionality of the design into different models of ....

....of the term is based on designating one or more unifying semantic domains. A unifying semantic domain is a (possibly parameterized) semantic domain that can be used to represent a variety of different computation paradigms. Examples of unifying semantic domains include the Tagged Signal Model [5] and the operational semantics underlying the Ptolemy II simulator [8] In this context, a model of computation is a way of encoding a computation paradigm in one of the unifying semantic domains. With this interpretation, it is common to distinguish different models of computations in terms of ....

A. L. S.-V. E. A. Lee. A framework for comparing models of computation. IEEE Trans. Comput.-Aided Design Integrated Circuits, 17(12):1217--1229, Dec. 1998.

No context found.

E.Lee, A.Sangiovanni-Vincentelli, "A Framework for Comparing Models of Computation", IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 17(12):1217-29, Dec 1998.

....of the main approaches. We refer the reader to [6] for a more complete account of related work. Several formal models have been proposed over the years [9] to capture one or more aspects of computation in embedded systems. Many models of computation can be encoded in the Tagged Signal Model [10]. In contrast, we describe a framework that is less restrictive in terms of what can be used to represent behaviors, and we concentrate on building relationships between the models that fit in the framework. Our work shares the basic principles of the Ptolemy project [8] of providing flexible ....

E. A. Lee and A. L. Sangiovanni-Vincentelli. A framework for comparing models of computation. IEEE Transactions on CAD, 17(12):1217--1229, Dec. 1998.

....is supposed to be in idle position. A detailed description of these three subsystems and of a hybrid model of a powertrain equipped with an N cylinder 4 stroke engine can be found in [11] That description follows the taggedsignal model (TSM) formalism proposed by Lee and Sangiovanni Vincentelli [12], which allows the authors to describe formally systems represented as interacting processes of heterogeneous models of computation. A combination of Finite State Machines (FSMs) Discrete Event Systems (DESs) and Continuous Time Systems (CTSs) is used to describe the behavior of the engine and ....

E. Lee and A. Sangiovanni-Vincentelli, "A framework for comparing models of computation," IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, vol. 17, no. 12, pp. 1217-1229, December 1998.

No context found.

E. A. Lee and A. L. Sangiovanni-Vincentelli. A framework for comparing models of computation. IEEE Trans. Comput.-Aided Design Integrated Circuits, 17#12#:1217#1229, Dec. 1998.

....in studying the properties of heterogeneous systems. II. RELATED WORK Several formal models have been proposed over the years (see e.g. 12] to capture one or more aspects of computation as needed in embedded system design. Many models of computation can be encoded in the Tagged Signal Model [16]. However, because encoding is necessary, the level of abstraction is effectively changed, so some of the advantages of the original model of computation may be lost. In this work, in contrast, we describe a framework that is less restrictive than the Tagged Signal Model in terms of what can be ....

E. A. Lee and A. L. Sangiovanni-Vincentelli. A framework for comparing models of computation. IEEE Trans. Comput.-Aided Design Integrated Circuits, 17(12):1217--1229, Dec. 1998.

....power train control based on hybrid models and we illustrated its effectiveness in addressing the synthesis of some control problems. To formally handle the interactions among the parts of different nature in the closed loop system, we use a modeling framework called the Tagged Signal Model (TSM) [6] that addresses explicitly time and partial orders among events, and is particularly suited to represent modality of interaction. The capability of reasoning about such a wide variety of mathematical models connected together allows us to take for the first time a holistic view to the problem of ....

....We use the theory behind the notion of models of computation to identify the role of the interfaces among the different components of closed loop systems described as hybrid systems. In particular, we adopted the tagged signal model (TSM) formalism proposed by Lee and Sangiovanni Vincentelli [6]. We recall here only some of the most important aspects of this for malism. The reader is referred to [6] for a detailed description. The TSM formalism defines a semantic framework within which models of computation can be studied and compared. It is abstract describing a particular model of ....

[Article contains additional citation context not shown here]

E. Lee and A. Sangiovanni-Vincentelli. A frame- work for comparing models of computation. IEEE Trans. on Computer-Aided Design of Integrated Cir- cuits and Systems, 17(12):1211229, December 1998.

....on the theory of latency insensitive protocols, which has been recently presented in literature [4] This theory can be summarized as follows. A latency insensitive protocol is a communication protocol governing the exchange of information in a patient system. According to the Tagged Signal Model [21] a system is a composition of processes communicating by exchanging signals, i.e. sequences of events, on a set of channels. A behavior of a system is unambiguously described by the set of signals which are exchanged among its processes. A patient system is a synchronous system whose functionality ....

E.A. Lee and A. Sangiovanni-Vincentelli. A Framework for Comparing Models of Computation. IEEE Transactions on Computer-AidedDesign, 17(12):1217 1229, December 1998.

No context found.

E. A. Lee and A. Sangiovanni-Vincentelli, "A framework for comparing models of computation," IEEE Trans. Computer-Aided Design, vol. 17, pp. 1217--1229, Dec. 1998.

No context found.

E. A. Lee and A. Sangiovanni-Vincentelli, "A Framework for Comparing Models of Computation," IEEE Trans. CAD, Vol. 17, No. 12, December 1998.

No context found.

E. A. Lee and A. Sangiovanni-Vincentelli. A framework for comparing models of computation. 24 of Integrated Circuits and Systems, 17(12):1217-- 1229, December 1998.

No context found.

E. Lee, A. Sangiovanni-Vincentelli, "A Framework for Comparing Models of Computation", IEEE Transactions on CADICS, vol. 17, no. 12, December, 1998, pp. 1217-1229.

No context found.

Lee E.A., and Sangiovanni-Vincentelli, A.:"A framework for comparing models of computation," IEEE Trans. CAD, vol. 17, pp. 1217--1229, Dec. 1998.

No context found.

E. A. Lee and A. Sangiovanni-Vincentelli. A framework for comparing models of computation. IEEE Trans. on CAD, Dec. 1998.

No context found.

E. A. Lee and A. Sangiovanni-Vincentelli, "A framework for comparing models of computation," IEEE Trans. on CAD of Integrated Circuits and Systems, vol. 17, pp. 1217-29, Dec. 1998.

No context found.

LEE, E. A., SANGIOVANNI-VINCENTELLI, A. "A framework for comparing models of computation". In IEEE transactions on computer-aided design, v. 17, n. 12. IEEE Press, December 1998.

No context found.

LEE, E., SANGIOVANNI-VINCENTELLI, A. "A framework for comparing models of computation". In IEEE transactions on computer-aided design, v. 17, n. 12. IEEE Press, December 1998.

No context found.

E. A. Lee et al., "A Framework for Comparing Models of Computation," IEEE Trans. on Compuetr-Aided Design of Design of Integrated Circuits and Systems, Wol. 17, No. 12, December 1998.

No context found.

E. Lee, A. Sangiovanni-Vincentelli, "A Framework for Comparing Models of Computation," IEEE Transactions on Computer-Aided Design of Circuits and Systems, vol. 17, no. 12, pp. 1217-1229, Dec. 1998.

No context found.

E. A. Lee and A. Sangiovanni-Vincentelli, "A Framework for Comparing Models of Computation, ", IEEE Transactions on CAD, Vol 17, No. 12, December 1998.

No context found.

E. A. Lee and A. Sangiovanni-Vincentelli, "A Framework for Comparing Models of Computation, ", March 12, 1998.

No context found.

Lee, E. A., Sangiovanni-Vincentelli, A. \A framework for comparing models of computation". In Ieee transactions on computer-aided design, v. 17, n. 12. Ieee Press, December 1998.

No context found.

A. Lee and A. Sangiovanni-Vincentelli, " A Framework for Comparing Models of Computation," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems , Vol. 17. No 12. December 1998, pp 12171229.

First 50 documents

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC