Lec01 ESL Flow
-
Upload
mahdi-torabzadeh -
Category
Documents
-
view
227 -
download
0
Transcript of Lec01 ESL Flow
-
7/31/2019 Lec01 ESL Flow
1/13
Electronic System Level
Design
ESL Flow
Maziar Goudarzi
-
7/31/2019 Lec01 ESL Flow
2/13
2011 ESL Design 2
Today Program
Overview of topics in top-down ESL FlowSpecification and Modeling
Pre-Partitioning Analysis
Partitioning
Post-Partitioning Analysis and Debug
Post-Partitioning Verification
Hardware Implementation
Software Implementation
AcknowledgementsSlides partly from B. Bailey, G. Martin, A. Piziali,Electronic System Level Design and Verification
-
7/31/2019 Lec01 ESL Flow
3/13
ESL Design
Fundamental principle
Managing abstraction refinement and
complexity while preserving design intent
2011 ESL Design 3
-
7/31/2019 Lec01 ESL Flow
4/13
2011 ESL Design 4
ESL Flow
Design abstraction levelsProduct market requirements
Functional specification
Architectural model
Hardware and software design specifications
Hardware and software functional and behavioralmodels
RTL and software modelsCell-level model and embedded production software
Layout database
-
7/31/2019 Lec01 ESL Flow
5/13
2011 ESL Design 5
ESL Flow (contd)
Flows
Top-down flow
Realistic?
Platform-based (middle-out) flow
Bottom-up flow
Combinations of all
Real-world: (spiked) spiral flowComplex to capture=> resort to idealized top-down
flow
-
7/31/2019 Lec01 ESL Flow
6/13
2011ESL Design 6
The Flow
SoftwareImplementation
HardwareImplementation
Specification and Modeling
Post-Partitioning Verification
Post-Partitioning Analysis
Pre-Partitioning Analysis
Partitioning
Implementation Verification
-
7/31/2019 Lec01 ESL Flow
7/132011
ESL Design 7
Specification and Modeling
Use natural language specifications andexecutable specifications
Manage complexity
Track requirements with a tool
Choose a specification language
Consider model-based development
-
7/31/2019 Lec01 ESL Flow
8/13
2011 ESL Design 8
Specification & Modeling
Ambiguity vs. Implementation detailsAmbiguity and platform-based designHW vs. SW developmentGoal: concurrent developmentIdeal: SW first=>decide HW requirements
ESL domainsDataflow
Control flowProtocol stacksEmbedded (reactive) systems
-
7/31/2019 Lec01 ESL Flow
9/13
Specification & Modeling
(contd)
Executable specifications vs. natural languageExecutable Architecture specificationExecutable Design specificationTransaction Level Modeling for higher simulation speed
ESL languagesMATLAB M-code, SystemC, SystemVerilog, Specification and
Design Language (SDL), UML, eXtensible Markup Language(XML), BlueSpec
Model-based Development vs. traditional waterfall flow
2011 ESL Design 9
-
7/31/2019 Lec01 ESL Flow
10/13
2011ESL Design 10
Pre-Partitioning Analysis
Explore spectrum of algorithmic tradeoffs
Time, space, power, complexity, TTM
Dynamic analysis using executable specs Static analysis
Reliability, maintainability, usability andcriticality
Consider platform-based design
-
7/31/2019 Lec01 ESL Flow
11/13
2011 ESL Design 11
Pre-Partitioning Analysis
One approach
Static analysis
In absence of executable specification
ility analysis: reliability, maintainability, usability, criticality, etc.
Platform-based design
Reuse-intensive
Challenge: bias toward the legacy architecture
Dynamic analysis
Use executable specification
Algorithmic analysis
Estimate resource requirements (queue length, bit error rate)
-
7/31/2019 Lec01 ESL Flow
12/13
Pre-Partitioning Analysis
(contd)
Note: Executable specifications and theimplementation artifacts
Not always fully applied, so as to getmore quickly to partitioning
2011 ESL Design 12
-
7/31/2019 Lec01 ESL Flow
13/13
2011 ESL Design 13
Remaining items
Partitioning and Post-partitioning tasks in theESL flow
Reading Assignment
Chapters 5, 6, and 7 of ESL Design and Verificationbook