Lec01 ESL Flow

download Lec01 ESL Flow

of 13

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