Specification and Design of Embedded Systems.pdf

SPECIFICATION AND DESIGN
OF
EMBEDDED SYSTEMS
by
Daniel D. Gajski
Frank Vahid
Sanjiv Narayan
Jie Gong
University of California at Irvine
Department puter Science
Irvine, CA 92715-3425
1 of 214 Copyright (c) 1994 Daniel D. Gajski, Frank Vahid, Sanjiv Narayan, and Jie Gong UC Irvine
Design representations
  Behavioral
Represents functionality but not implementation
  Structural
Represents connectivity but not dimensionality
  Physical
Represents dimensionality but not functionality
Introduction 2 of 214 Copyright (c) 1994 Daniel D. Gajski, Frank Vahid, Sanjiv Narayan, and Jie Gong UC Irvine
Levels of abstraction
Structural
Levels Behavioral Physical
ponents objects
Differential eq., Transistors,
Transistor current−voltage resistors, Analog and
diagrams capacitors digital cells
Gate Boolean equations, Gates, Modules,
finite−state machines flip−flops units
Algorithms, Adders, comparators,
Register flowcharts, registers, counters, Microchips,
instruction sets, register files, queues ASICs
generalized FSM
Processor Executable spec., Processors, controllers, PCBs,
programs memories, ASICs MCMs
Introduction 3 of 214 Copyright (c) 1994 Daniel D. Gajski, Frank Vahid, Sanjiv Narayan, and Jie Gong UC Irvine
Design methodologies
  Capture-and-simulate
Schematic capture
Simulation
  Describe-and-synthesize
Hardware description language
Behavioral synthesis
Logic synthesis
  Specify-explore-re
ne
Executable speci
cation
Software and hardware partitioning
Estimation and exploration
Speci
cation re
nement
Introduction 4 of 214 Copyright (c) 1994 Daniel D. Gajski, Frank Vahid, Sanjiv Narayan, and Jie Gong UC Irvine
Motivation
Executable System
specification implementation
Processor Memory
if (x = 0) then
y = a * b / 2
Video ASIC I/O
accelerator
Partitioning
Models pilation Physical design
Estimation Behavioral synthesis Test generation
Languages
Refinement Logic synthesi