热搜关键词: 电路基础ADC数字信号处理封装库PLC

pdf

systemc verification

  • 1星
  • 2015-09-27
  • 13.4MB
  • 需要5积分
  • 0次下载
标签: SystemC

SystemC

SystemC  Verification

文档内容节选

Contents Foreword Preface Chapter 1 A SystemC Based System On Chip Modelling and Design Methodology Yves Vanderperren Marc Pauwels Wim Dehaene Ates Berna Fatma zdemir 11 12 13 14 15 16 Introduction An Overview of the Methodology Requirements Capture and Use Case Analysis Modelling Strategies Iterative Development Model Refinement and Verification Conclusions Chapter 2 Using Transactional Level Models in a SoC Design Flow Alain Clouard Kshitiz Jain Frank Ghenassia Laurent MailletContoz JeanPhilip......

Contents
Foreword
Preface
Chapter
1
A SystemC Based System On Chip Modelling
and Design Methodology
Yves Vanderperren, Marc Pauwels, Wim Dehaene, Ates Berna, Fatma Özdemir
1.1.
Introduction
An Overview of the Methodology
1.2.
Requirements Capture and Use Case Analysis
1.3.
Modelling Strategies
1.4.
Iterative Development, Model Refinement and Verification
1.5.
Conclusions
1.6.
Chapter
2
Using Transactional Level Models in a SoC Design Flow
Alain Clouard, Kshitiz Jain, Frank Ghenassia, Laurent Maillet-Contoz,
Jean-Philippe Strassen
2.1.
Introduction
Overview of the System to RTL Design Flow
2.2.
TLM, a Complementary View for the Design Flow
2.3.
2.4.
TLM Modeling API
Standard Usage of the SystemC API
2.5.
Advanced TLM API Usages
2.6.
Example of a Multimedia Platform
2.7.
Example of ARM Processor Subsystem
2.8.
Conclusions
2.9.
Chapter
3
Refining a High Level SystemC Model
Bernhard Niemann, Frank Mayer, Francisco Javier, Rabano Rubio,
Martin Speitel
3.1.
Introduction and Motivation
The OFDM Demodulator
3.2.
High Level SystemC Model
3.3.
3.4.
Refinement to ANSI C
Further Refinement — Operator Grouping
3.5.
Summary
3.6.
Conclusions
3.7.
ix
xiii
1
1
2
3
5
20
25
29
29
31
33
44
49
51
52
58
63
65
65
66
68
79
87
93
95
vi
Chapter
4
An ASM Based SystemC Simulation Semantics
Wolfgang Müller, Jürgen Ruf, Wolfgang Rosenstiel
4.1.
Introduction
4.2.
Related Works
4.3.
Abstract State Machines
4.4.
SystemC Basic Concepts
SystemC Operations
4.5.
SystemC Scheduler
4.6.
4.7.
Example
Conclusions
4.8.
Chapter
5
SystemC as a Complete Design and Validation Environment
Alessandro Fin, Franco Fummi, Graziano Pravadelli
Introduction
5.1.
5.2.
Methodology Overview
5.3.
Design Error Modeling
5.4.
High Level Validation of SystemC Design
5.5.
Efficient Fault Simulation of a SystemC Design
5.6.
Experimental Results
Concluding Remarks
5.7.
Chapter
6
System Level Performance Estimation
Nuria Pazos, Winthir Brunnbauer, Jürgen Foag, Thomas Wild
6.1.
Introduction
6.2.
State of the Art
Methodology
6.3.
6.4.
Implementation Procedure
6.5.
Methodology Verification
6.6.
Case Study. Results and Evaluation
6.7.
Conclusions and Outlook
Chapter
7
Design of Protocol Dominated Digital Systems
Robert Siegmund, Uwe Proß, Dietmar Müller
Introduction
7.1.
7.2.
Specification of Data Communication Protocols
7.3.
An SVE Model of the USB 2.0 Protocol
7.4.
Synthesis from SVE Protocol Specifications
7.5.
Summary
Chapter
8
Object Oriented Hardware Design and Synthesis Based on SystemC 2.0
Eike Grimpe, Wolfgang Nebel, Frank Oppenheimer, Thorsten Schubert
Introduction
8.1.
8.2.
Related Work
8.3.
High Level Hardware Modeling with SystemC
97
97
98
99
101
106
113
118
126
127
127
128
129
136
144
151
155
157
157
160
161
173
184
186
189
191
191
193
203
213
215
217
217
219
220
Contents
vii
The SystemC Plus Approach
Hardware Synthesis from Object Oriented Models
Conclusions and Outlook
222
233
245
247
247
253
259
267
268
270
272
273
274
275
282
292
296
299
299
301
305
310
316
320
325
343
8.4.
8.5.
8.6.
Chapter
9
Embedded Software Generation from SystemC for Platform Based Design
Fernando Herrera, Víctor Fernández, Pablo Sánchez, Eugenio Villar
Introduction
9.1.
System Specification Methodology
9.2.
SW Generation
9.3.
SW/SW Communication and Driver Generation
9.4.
Example of Software Generation in SystemC 2.0
9.5.
Impact of SystemC 3.0 Release
9.6.
Conclusions
9.7.
Chapter
10
SystemC-AMS: Rationales, State of the Art, and Examples
Karsten Einwich, Peter Schwarz, Christoph Grimm, Christian Meise
10.1.
Introduction
10.2.
Modeling and Simulation of Analog Circuits and Systems
10.3.
Problem Specific Simulation Techniques
10.4.
Overview of SystemC-AMS Extensions
10.5.
Conclusions
Chapter
11
Modeling and Refinement of Mixed-Signal Systems with SystemC
Christoph Grimm
11.1.
Introduction
11.2.
Basic Methods and Definitions
11.3.
Implementation in SystemC 2.0
11.4.
Refinement of Signal Processing Systems
11.5.
A Simple Example for Modeling and Refinement
11.6.
Conclusions
References
Index
Foreword
SystemC started with a vision of being more than a language definition. It
also embraced the idea of a community of system level designers and modellers,
sharing their ideas and models, and contributing to the evolution of both the
language and the methodologies of how to use it. While the Open System C
Initiative (OSCI) organisation is able to drive the language definition forward, it
is the user community that is making strong contributions to SystemC modelling
approaches and methodologies.
When we wrote our book on SystemC
1
in 2001–2, this user community was
clearly emerging, with a number of very interesting presentations being made
by a wide variety of industrial and academic users in major design and design
automation conferences, and user group meetings. Most notable among these
was the very strong European presence, especially as represented at the very
active European Users group organised by Professor Wolfgang Rosenstiel of the
University of Tübingen. This group has been holding twice–yearly meetings
since early 2000.
This book,
SystemC – Methodologies and Applications,
represents the state
of the art in system level design methods and modelling approaches for using
SystemC in answering key design questions. The editors of the book, Wolfgang
Müller, Wolfgang Rosenstiel and Jürgen Ruf, have done an excellent job in
pulling together contributions from leading European groups into the volume.
When we consider what is needed to turn a language such as SystemC into
an everyday part of system modelling and design practice, we come up with
several requirements:
Design methodologies for complex systems, involving combinations of
hardware and software
Modelling abstractions to allow creation of more effective system level
verification
Thorsten Grötker, Stan Liao, Grant Martin and Stuart Swan, System Design with SystemC, Kluwer Aca-
demic Publishers, 2002.
ix
1
展开预览

猜您喜欢

评论

登录/注册

意见反馈

求资源

回顶部

推荐内容

热门活动

热门器件

随便看看

 
EEWorld订阅号

 
EEWorld服务号

 
汽车开发圈

电子工程世界版权所有 京B2-20211791 京ICP备10001474号-1 电信业务审批[2006]字第258号函 京公网安备 11010802033920号 Copyright © 2005-2024 EEWORLD.com.cn, Inc. All rights reserved
×