EDA Introduction: Professor: Sci.D., Prof. Vazgen Melikyan
EDA Introduction: Professor: Sci.D., Prof. Vazgen Melikyan
Introduction
1 lecture
IC Design Data Formats and Tools
4 lectures
Electronic Design Methodology
4 lectures
IC Synthesis
2 lectures
Databases for EDA
3 lectures
IC Design Approaches and Flows
3 lectures
EDA Tools
3 lectures
Overview of Synopsys EDA Tools
3 lectures
Product Data
Management Implementation of
Model project operations
generation
System Software
Solution of general
mathematical problems
EDA Tools
Circuit Design
Verification
Tools Tools
IC design companies
Code Coverage
RTL
RTLSynthesis Gate Level
Simulators
Static Timing
Analysis
Logic Synthesis and Gate-Level
Mapping Hardware
Accelerators
Behavioral
RTL
Testbench Simulation
Gate Level
(post-synthesis,
pre-layout)
Gate Level
Goal is to use the same testbench for all levels of
(post-synthesis,
simulation abstraction, and mix different levels post-layout)
process information,
Design Flow cell abstracts
Abstract Generation
Circuit Simulation
characterization
Digital cell library
Characterization information
design
Design
Specification Standard Cell Library
Most of the work including layout was manual; polygons were cut
out for mask making.
Berkeley Spice was introduced in 1975; laid the foundation for EDA
tools - easier optimization; boost in efficiency for user.
Polygon data for layouts was entered into computers / Design rule
checks still a burden of the user.
Formal verification
Verify by constructing original function from synthesized circuit
(compare result from different abstraction levels)
Static timing analysis
Calculate the gate delays along signal path to verify timing
The maximum and minimum delays are considered for further
analysis
Automatic test pattern generation
Not detached from logic synthesis
Synthesize in a way that the circuit is testable
C, C++
SystemC, SystemVerilog
A modeling platform supports different levels of
abstraction
A simulation kernel
Matlab
VCS (Synopsys)
Faster when it comes to RTL simulation
Direct C kernel interface
Code coverage embedded
Better integration with VERA and other Synopsys
tools.
Incisive (Cadence)
Multi-language simulator
Event Driven
Today about 70% of design Formal
Verification
cost and effort is spent on Functional Code
verification. Verification Coverage
Verification teams are often Assertion
Based
almost twice as large as the Emulation
RTL designers at companies Analog Mixed
Signal
developing ICs. Simulation
Verification/ Timing
Traditionally, chip design Validation Verification
verification focuses on
simulation. Testing
(DFT)
However, new verification
techniques are emerging Physical
Verification
Synopsys University Courseware
Copyright © 2017 Synopsys, Inc. All rights reserved.
EDA Introduction
Lecture - 7
40 Developed By: Vazgen Melikyan
Design Management Tools