The Scarpaz.
The Scarpaz Site
:: Your unreliable online reference documentation on the Scarpaz. ::
:: Via malfidinda reta dokumento de referenco pri la Skarpac. ::
Counter image

Navigation: > [Home page] > [papers] > [SystemC] [Alphabetical Index]     [Tree View]


Articles:

Available article groups: [Unfiled]

Group: Unfiled
grammar

(last update: 2004 Dec 26)
grammar

Local contents:

 
00655976.pdf File : 00655976.pdf 16.8 kbytes 2003-10-13
Title: AGENDA: An Attribute Grammar Driven Environment for the Design Automation of Digital Systems
Authors: George Economakos, George Papakonstantinou and Panayotis Tsanakas
Abstract:

Attribute grammars have been used extensively in every phase of traditional compiler construction. Recently, it has been shown that they can also be effectively adopted to handle scheduling algorithms in high-level synthesis. Their main advantages are modularity and declarative notation in the development of design automation environments. In this paper, past results are further elaborated and more scheduling techniques are presented and implemented in a flexible environment for the design automation of digital systems. This novel approach can be proven valuable for fast evaluation of new algorithms and techniques in the field.

 
00835166.pdf File : 00835166.pdf 410 kbytes 2003-10-07
Title: SystemC Standard
 
00843697.pdf File : 00843697.pdf 439 kbytes 2003-10-07
 
00844536.pdf File : 00844536.pdf 93.0 kbytes 2003-10-13
Title: Interaction in Language Based System Level Design Using an Advanced Compiler Generator Environment
Abstract:

Computer-aided synthesis of digital circuits from behavioral level specifications offers an effective way to deal with the increasing complexity of digital hardware design. A high-level synthesis tool transforms an abstract algorithmic description into a detailed register transfer level implementation. Even though considerable research has taken place, regarding high-level synthesis, practical implementations are just emerging. This happens due to the fact that designers demand interaction at both the specification and implementation level. This paper describes an efficient implementation of an original idea, for the design of a grammar based interactive design environment, which allows designers supplement high-level synthesis optimizations and set constraints among the operators in the textual algorithmic description to meet their implementation preferences. The suggested methodology raises the feasibility for high level design space exploration by enabling synthesis results to be directly modifiable by the user.

 
00874663.pdf File : 00874663.pdf 44.6 kbytes 2003-10-07
Title: SystemC based Hardware Synthesis Becomes Reality
 
00914994.pdf File : 00914994.pdf 451 kbytes 2003-10-07
Title: A Methodology for Interfacing Open Source SystemC with a Third Party Software
 
00914995.pdf File : 00914995.pdf 389 kbytes 2003-10-13
Title: Behavioral Synthesis with SystemC
 
00915002.pdf File : 00915002.pdf 484 kbytes 2003-10-07
Title: The simulation semantics of SystemC
 
00954676.pdf File : 00954676.pdf 452 kbytes 2003-10-07
 
00957798.pdf File : 00957798.pdf 444 kbytes 2003-10-07
Title: Object-oriented high level synthesis based on SystemC
Authors: Eike Grimpe and Frank Oppenheimer
 
00957916.pdf File : 00957916.pdf 540 kbytes 2003-10-07
Title: SystemC - A modeling platform supporting multiple design abstractions
Authors: Preeti Ranjan Panda
 
00982488.pdf File : 00982488.pdf 215 kbytes 2003-10-07
 
00982679.pdf File : 00982679.pdf 348 kbytes 2003-10-07
 
00995562.pdf File : 00995562.pdf 460 kbytes 2003-10-07
 
00998382.pdf File : 00998382.pdf 320 kbytes 2003-10-07
 
01046269.pdf File : 01046269.pdf 530 kbytes 2003-10-07
Title: Automated SystemC to VHDL Translation in Hardware-Software Codesign
 
01115387.pdf File : 01115387.pdf 372 kbytes 2003-10-07
Title: Reachability Analysis for Formal Verification of SystemC
Authors: Rolf Drechsler Daniel Grosse
Abstract:

With ever increasing design sizes, verification becomes the bottleneck in modern design flows. Up to 80% of the overall costs are due to the verification task. Formal methods have been proposed to overcome the limitations of simulation approaches. But these techniques have mainly been applied to lower levels of abstraction. With more and more design complexity the need for hardware description languages with a high level of abstraction becomes obvious. We present a formal verification approach for circuits described in SystemC, an extension of C that allows the modeling of hardware. An algorithm for reachability analysis is proposed and a case study of a scalable bus arbiter cell is given.

 
01183482.pdf File : 01183482.pdf 301 kbytes 2003-10-07
Title: Getting High-Performance Silicon from System-Level Design
Authors: W. Rhett Davis
Abstract:

System-level design techniques promise a way to lessen the productivity gap between fabrication and design. Unfortunately, these techniques have been slow to catch on, in part because they do little to help designers optimize hardware. This paper presents a brief summary of three system-level design techniques, Platform-based design, SystemC, and Chip-in-a-day, in order to propose that more system-level abstraction of physical performance is needed to make these techniques more useful. An analysis of design-productivity for three chips designed with the Chip-in-a-Day flow is also presented.

 
01186667.pdf File : 01186667.pdf 341 kbytes 2003-10-07
Title: Transaction-Level Models for AMBA Bus Architecture Using SystemC 2.0
Authors: M. Caldari, M. Conti, M. Coppola, S. Curaba, L. Pieralisi, C. Turchetti
Abstract:

The concept of a SOC platform architecture introduces the concept of a communication infrastructure. In the transaction-level a finite set of architecture components (memories, arithmetic units, address generators, caches, etc) communicate among each other over shared resources (buses). Until recently, modeling architectures required pin-level hardware descriptions, typically coded in RTL. Great effort is required to design and verify the models, and simulation at this level of detail is tediously slow. Transaction level modeling is the solution. Transaction level models (TLMs) effectively create an executable platform model that simulates orders of magnitude faster than a RTL model. In this paper, we present a SystemC 2.0 TLM of the AMBA architecture developed by ARM, oriented to SOC platform architectures.

 
01186679.pdf File : 01186679.pdf 286 kbytes 2003-10-07
Title: SystemC-VHDL co-simulation and synthesis in the HW domain
Authors: Massimo Bombana, Francesco Bruschi
Abstract:

Embedded systems design requires the development of complex HW modules to cope with the most stringent timing constraints of the specifications. This implies the need to update and enrich HW design methodologies to face abstraction and novel requirements. Here we will present some results of design practice of HW modules in this context. Cosimulation and synthesis are combined in this approach to achieve higher abstraction levels in the design, to improve validation and re-use of previous designs and human experience. The proposed methodology is embedded in a SystemC based design flow. The SystemC-VHDL co-simulator tool is also based on a SystemC/C++ front-end developed to support the co-simulation between VHDL and SystemC. The prototypal state of the adopted tools increase the novelty and interest of the approach.

 
01213321.pdf File : 01213321.pdf 260 kbytes 2003-10-07
Title: System-Level Modeling of Dynamically Reconfigurable Hardware with SystemC
Authors: Antti Pelkonen, Kostas Masselos, Miroslav Cupak
Abstract:

To cope with the increasing demand for higher computational power and flexibility, dynamically reconfigurable blocks become an important part inside a system-on-chip. Several methods have been proposed to incorporate their reconfiguration aspects in to a design flow. They all lack either an interface to commercially available and industrially used tools or are restricted to a single vendor or technology environment. Therefore a methodology for modeling of dynamically re-configurable blocks at the system-level using SystemC 2.0 is presented. The high-level model is based on a multi-context representation of the different functionalities that will be mapped on the re-configurable block during different run-time periods. By specifying the estimated times of context-switching and active-running in the selected functionality modes, the methodology allows to do true design space exploration at the system-level, without the need to map the design first to an actual technology implementation.

 
01224423.pdf File : 01224423.pdf 550 kbytes 2003-10-07
 
01227168.pdf File : 01227168.pdf 528 kbytes 2003-10-07
Title: The Formal Execution Semantics of SpecC
Authors: Mueller, Doemer, Gerstlauer
 
01227183.pdf File : 01227183.pdf 513 kbytes 2003-10-07
Title: System-Level Abstraction Semantics
Authors: Gerstlauer, Gajski
 
01232796.pdf File : 01232796.pdf 175 kbytes 2003-10-07
 
01232807.pdf File : 01232807.pdf 188 kbytes 2003-10-07
Title: SystemC and the Future of Design Languages: Opportunities for Users and Research
Authors: Grant Martin
Abstract:

There has been a lot of discussion, and a lot of confusion, about the various existing and new design languages recently. SystemC, SystemVerilog, Verilog- 2005, e, Vera, PSL/Sugar, UML, Analogue and Mixed- Signal versions of Verilog and VHDL make the world a veritable alphabet soup. This paper briefly looks at the evolving world of design languages from a SystemC perspective. Although a design language war may seem imminent, there are strong prospects for peaceful coexistence between languages, and flows that connect them together. And such flows give tremendous opportunities for users of languages to significantly improve their methodologies. In addition, the needs of advanced system and System-on-Chip (SoC) design turn up a number of interesting research opportunities for those involved in language-based design. The paper will finish by covering some of these methodology and research possibilities, including those opened up by further evolution in SystemC to include SW task and OS scheduler modelling.

 
01232853.pdf File : 01232853.pdf 274 kbytes 2003-10-07
 
fdl2002.pdf File : fdl2002.pdf 147 kbytes 2003-10-14
Title: SystemC Object-Oriented Extensions and Synthesis Features
Authors: Eike Grimpe1, Bernd Timmermann, Tiemo Fandrey, Ramon Biniasch, Frank Oppenheimer
Abstract:

In this paper we present an overview about the object-oriented hardware description language SystemCPlus that is based on SystemC. First we discuss the chances lying in the application of object-oriented techniques for designing hardware. Afterwards we give an introduction into SystemC-Plus’ basic features and depict their use by means of some descriptive examples. And finally we will give a brief overview of the synthesis framework that is necessary to make hardware starting from object-oriented models.

Navigation: > [Home page] > [papers] > [SystemC] [Alphabetical Index]     [Tree View]

MajaMaja is powered by the Tcl Language. This page was last updated on 2004-12-26 at 18:22:50.
This site was automagically generated by MajaMaja, a simple and easy to use web content manager written in Tcl by scarpaz <scarpaz@scarpaz.com>.