CprE 588 Embedded Computer Systems

CprE 588 Embedded Computer Systems

Prof. Joseph Zambreno Department of Electrical and Computer Engineering Iowa State University

Lecture #4 ? Introduction to SpecC

Introduction

? System-on-Chip (SOC) design ? Increase of design complexity ? Move to higher levels of abstraction

Level

Number of components

Abstraction Accuracy

1E0

SSyysstetemmlelevveel l

1E1

Algorithm

1E2

1E3

RTL

1E4

Gate

1E5

1E6

Transistor

1E7

R. Domer, The SpecC System-Level Design Language and Methodology, Center for Embedded Systems, University of California-Irvine, 2001.

Feb 3-5, 2009

CprE 588 ? Embedded Computer Systems

Lect-04.2

The SpecC Model

? Traditional model

P1 s1

s2

s3

? Processes and signals ? Mixture of computation and communication ? Automatic replacement impossible

? SpecC model

C1 B1

v1

v2

v3

? Behaviors and channels

? Separation of computation and communication

? Plug-and-play

Feb 3-5, 2009

CprE 588 ? Embedded Computer Systems

P2 B2

Lect-04.3

The SpecC Model (cont.)

C1

? Specification model

B1

v1

? Exploration model

v2

v3

? Computation in behaviors ? Communication in channels

? Implementation model

B1

v1

v2

v3

? Channel disappears

? Communication inlined into behaviors

? Wires exposed

Feb 3-5, 2009

CprE 588 ? Embedded Computer Systems

B2 B2

Lect-04.4

System-Level Language Goals

? Executability

? Validation through simulation

? Synthesizability

? Implementation in HW and/or SW ? Support for IP reuse

? Modularity

? Hierarchical composition ? Separation of concepts

? Completeness

? Support for all concepts found in embedded systems

? Orthogonality

? Orthogonal constructs for orthogonal concepts

? Minimality

? Simplicity

Feb 3-5, 2009

CprE 588 ? Embedded Computer Systems

Lect-04.5

 ................
................

In order to avoid copyright disputes, this page is only a partial summary.

Google Online Preview   Download