11 citations found. Retrieving documents...
Open SystemC Initiative (OSCI), Functional Specification for SystemC 2.0, 2001. http://www.systemc.org.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Worst-Case Performance Analysis of Parallel.. - Siebenborn.. (2002)   (1 citation)  (Correct)

....abstraction levels, allowing the specification of both hardware and software. In addition to pure C C descriptions, SystemC allows the description of concurrency, communication and timing. The model can be executed to verify the system behavior. We will consider SystemC version 2. 0 specified in [8]. In SystemC concurrency is expressed by threads. For communication and synchronization SystemC provides events, interfaces and channels. Events are the basic synchronization primitives and are used to construct communication on higher levels. Events are triggered by the notify( method. Process ....

Open SystemC Initiative (OSCI). Functional Specification for SystemC 2.0. www.SystemC.org, January 2001.


Concurrent Execution Semantics and Sequential.. - Balarin, Lavagno, .. (2002)   (1 citation)  (Correct)

....same language. The actual simulation is then carried out in terms of the resulting language. This feature is important to co simulate designs captured in the meta model together with existing designs that have been already specified in other languages. We have tested this approach in SystemC 2. 0 [9, 10], Java[1] and C with a thread library. 1.1 Related Work There are many environments in which systems are described as networks of concurrent processes executing sequential code, including SpecC [5] SystemC [9] and Ptolemy [3] Many of these, attempt to resolve the concurrency uniquely, ....

....specified in other languages. We have tested this approach in SystemC 2.0 [9, 10] Java[1] and C with a thread library. 1. 1 Related Work There are many environments in which systems are described as networks of concurrent processes executing sequential code, including SpecC [5] SystemC [9], and Ptolemy [3] Many of these, attempt to resolve the concurrency uniquely, largely eliminating non determinism (at least from this source) This approach has some clear advantage for high level modeling, as simulation results are required to be identical across different simulator runs and ....

Open SystemC Initiative. Functional Specification for SystemC 2.0, September 2001. avaliable at www.systemc.org.


Microarchitectural Exploration with Liberty - Manish Vachharajani Neil   (Correct)

No context found.

Open SystemC Initiative (OSCI), Functional Specification for SystemC 2.0, 2001. http://www.systemc.org.


The Liberty Simulation Environment, Version 1.0 - Manish Vachharajani Neil   (Correct)

No context found.

Open SystemC Initiative (OSCI). Functional Specification for SystemC 2.0, 2001. http://www.systemc.org.


Facilitating Reuse in Hardware Models - Type   (Correct)

No context found.

OPEN SYSTEMC INITIATIVE (OSCI). Functional Specification for SystemC 2.0, 2001. http://www.systemc.org.


Microarchitecture Modeling for Design-Space Exploration.. - Vachharajani (2004)   (1 citation)  (Correct)

No context found.

Open SystemC Initiative (OSCI). Functional Specification for SystemC 2.0, 2001. http://www.systemc.org.


The Liberty Simulation Environment, Version 1.0 - Neil   (Correct)

No context found.

Open SystemC Initiative (OSCI). Functional Specification for SystemC 2.0, 2001. http://www.systemc.org.


A Comparison of Reuse in Object-oriented.. - Vachharajani..   (Correct)

No context found.

OPEN SYSTEMC INITIATIVE (OSCI). Functional Specification for SystemC 2.0, 2001. http://www.systemc.org.


The Liberty Structural Specification Language: A.. - Vachharajani.. (2004)   (Correct)

No context found.

OPEN SYSTEMC INITIATIVE (OSCI). Functional Specification for SystemC 2.0, 2001. http://www.systemc.org.


Microarchitectural Exploration with Liberty - Neil (2002)   (8 citations)  (Correct)

No context found.

Open SystemC Initiative (OSCI), Functional Specification for SystemC 2.0, 2001. http://www.systemc.org.


Formal Semantics of Synchronous SystemC - Salem (2003)   (Correct)

No context found.

Open SystemC Initiative, Functional Specification of SystemC, Version 2.0, www.systemc.org, 2001.

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