EE382V: Embedded System Design and Modeling

EE382V: Embedded Sys Dsgn and Modeling

Lecture 10

EE382V: Embedded System Design and Modeling

Lecture 10 ? Computation Modeling & Refinement

Andreas Gerstlauer

Electrical and Computer Engineering University of Texas at Austin

gerstl@ece.utexas.edu

Lecture 10: Outline

? Processor layers ? Application ? Task/OS ? Firmware ? Hardware

? Processor synthesis ? Software synthesis ? Hardware synthesis

EE382V: Embedded Sys Dsgn and Modeling, Lecture 10

? 2014 A. Gerstlauer

2

? 2014 A. Gerstlauer

1

EE382V: Embedded Sys Dsgn and Modeling

Lecture 10

System-On-Chip Environment (SCE)

Design Decisions

RTL DB

Specification

CPU

Spec

System Design

(Specify-Explore-Refine)

PE/CE/Bus Models

TLTMLTMnLnMi

System models

Hardware Synthesis

Software Synthesis

SW DB

B1 B2

Computation

HAL

OS

Drv

ISR

CPU

B1 B2

Coren Coren

Coren

Coren

Core1 Coren

OS + Drv CPU Bus

C1

modeling and refinement

Mem

v1 v2

C2

C3

DSP B3

OS + Drv DSP Bus

C4

Bridge

AArTcrLchhMn nn

B4 HW

B5 IP

HHWHWnW.nv.nv.v

RRTRTLTLnLn n

ISISSISSnSn n

Implementation Model

CCPCPUPUn.Unb.nibn.ibnin

ImImIpmplnplnln

EE382V: Embedded Sys Dsgn and Modeling, Lecture 10

? 2014 A. Gerstlauer

3

General Processor Micro-Architecture

? Basic computation component is a processor (PE) ? Programmable, general-purpose software processor (CPU) ? Programmable special-purpose processor (e.g. DSPs) ? Application-specific instruction set processor (ASIP) ? Custom hardware processor

PE

Bus interface

CLK

Controller

Status lines

Datapath

t

Control signals

Functionality and timing (and power and ...)

EE382V: Embedded Sys Dsgn and Modeling, Lecture 10

? 2014 A. Gerstlauer

4

? 2014 A. Gerstlauer

2

EE382V: Embedded Sys Dsgn and Modeling

Lecture 10

Computation Modeling (1)

? Structural RTL models

CPU

Controller

PC Fetch

IR

Decode

Load/store unit

CLK

Memory (data & progr.)

Datapath

Register file

ALU

HW

Controller

Next state logic

State

Output logic

Bus interface

CLK

Datapath

Register file

Memory

FU1

Software processor Sub-cycle accurate

Hardware processor

EE382V: Embedded Sys Dsgn and Modeling, Lecture 10

? 2014 A. Gerstlauer

5

Computation Modeling (2)

? Behavioral RTL models (FSMD) ? Instruction-set simulation (ISS) models

? Purely functional or micro-architectural

Binary

App. RTOS HAL

ISS

CPU

HW

CPU_CLK

Instruction set simulation (ISS) Cycle or timing accurate

HW_CLK

FSMD

EE382V: Embedded Sys Dsgn and Modeling, Lecture 10

? 2014 A. Gerstlauer

6

? 2014 A. Gerstlauer

3

EE382V: Embedded Sys Dsgn and Modeling

Lecture 10

Computation Modeling (3)

? Host-compiled models

? Source-level application model

? Back-annotate timing and other metrics

? Abstract OS and processor models

? Transaction-level model (TLM) backplane

? C-based discrete-event simulation kernel [SpecC,SystemC]

Fast and accurate full-system simulation

Source: A. Gerstlauer. "Host-Compiled Simulation of Multi-Core Platforms," RSP10.

EE382V: Embedded Sys Dsgn and Modeling, Lecture 10

? 2014 A. Gerstlauer

7

Host-Compiled Computation Layers

CPU

Process B1() {

... waitfor(15000); ... waitfor(25000); ... };

P1 P2

OS HAL Drv ISR

Bus

Interrupts

? Application ? Process execution (C code) ? Execution timing

? OS & processor ? Operating system

? Real-time multi-tasking (RTOS model) ? Bus drivers (C code)

? Hardware abstraction layer (HAL)

? Interrupt handlers ? Media accesses

? Processor hardware

? Bus interfaces (I/O state machines) ? Interrupt suspension and timing

EE382V: Embedded Sys Dsgn and Modeling, Lecture 10

? 2014 A. Gerstlauer

8

? 2014 A. Gerstlauer

4

EE382V: Embedded Sys Dsgn and Modeling

Application Layer

? High-level, abstract programming model

? Hierarchical process graph

...

? ANSI C leaf processes ? Parallel-serial composition

CPU B1

... ...

? Abstract, typed inter-process

communication

B2

C1

B3

? Channels

C2

? Shared variables

Timed simulation of application functionality (SLDL)

? Back-annotate timing

? Estimation or measurement (trace, ISS)

Logical time

? Function or basic block level granularity

? Execute natively on simulation host

...

0 5 10

void f() {

waitfor(5);

...

? Discrete event simulator

}

? Fast, native compiled simulation

...

EE382V: Embedded Sys Dsgn and Modeling, Lecture 10

? 2014 A. Gerstlauer

9

Lecture 10

Retargetable Back-Annotation

? Back-annotation flow ? Intermediate representation (IR)

a=b=c=0; if(a ................
................

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

Google Online Preview   Download