a brief introduction to eda systems paolo prinetto politecnico di torino (italy) university of...

26
A brief A brief introduction to introduction to EDA systems EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) [email protected] [email protected] www.testgroup.polito.it Lecture 2.3

Upload: daniela-stafford

Post on 17-Jan-2016

216 views

Category:

Documents


1 download

TRANSCRIPT

Page 1: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

A brief A brief introduction to introduction to EDA systemsEDA systems

A brief A brief introduction to introduction to EDA systemsEDA systems

Paolo PRINETTOPolitecnico di Torino (Italy)

University of Illinois at Chicago, IL (USA)

[email protected] [email protected]

www.testgroup.polito.it

Lecture

2.3

Page 2: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

2 2.3

Goal

This lecture briefly introduces Electronic Design Automation (EDA) systems.

Page 3: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

3 2.3

Prerequisites

Lecture # 2.2

Page 4: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

4 2.3

Homework

Students are warmly invited to visit the home pages of major EDA system vendors, such as:

Mentor Graphics® at:

http://www.mentor.com/

synopsys® at:

http://www.synopsys.com/

LogicVision® at:

http://www.logicvision.com/

Avant!® at:

http://www.avanticorp.com/

Page 5: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

5 2.3

Further readings

No particular suggestion

Page 6: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

6 2.3

““If some one gave me eight If some one gave me eight hours to cut a tree, …hours to cut a tree, …

… … I would spend six hours I would spend six hours sharpening the axe!”sharpening the axe!”

[Abraham Lincoln]

Page 7: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

7 2.3

EDA SystemsEDA Systems

An Electronic Design Automation (EDA) system is a collection of integrated tools to support the overall product life-cycle.

Page 8: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

8 2.3

EDA SystemsEDA Systems

An Electronic Design Automation (EDA) system is a collection of integrated tools to support the overall product life-cycle.

Page 9: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

9 2.3

EDA SystemsEDA Systems

An Electronic Design Automation (EDA) system is a collection of integrated tools to support the overall product life-cycle.

Page 10: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

10 2.3

EDA SystemsEDA Systems

An Electronic Design Automation (EDA) system is a collection of integrated tools to support the overall product life-cycle.

Page 11: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

11 2.3

Design / SynthesisDesign / Synthesis

Page 12: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

12 2.3

Design / SynthesisDesign / Synthesis Validation & Validation &

VerificationVerification

Page 13: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

13 2.3

Design / SynthesisDesign / Synthesis Validation & Validation &

VerificationVerification

ManufacturingManufacturing

Page 14: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

14 2.3

Design / SynthesisDesign / Synthesis Validation & Validation &

VerificationVerification

ManufacturingManufacturing TestingTesting

Page 15: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

15 2.3

Design entryDesign entry

Verification & Verification & Validation Validation

Automatic Automatic SynthesisSynthesis

TestTestsupportsupport

Physical Physical designdesign

ProductionProductionsupportsupport

Libraries

DesignDesignData BaseData Base

Basic structure of EDA systems

Page 16: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

16 2.3

The Design Database

Is the kernel of Is the kernel of thethe EDA EDA systemsystem

Interfaces a large variety Interfaces a large variety of different toolsof different tools

Collects all the needed Collects all the needed information items.information items.

DesignDesignData BaseData Base

Page 17: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

17 2.3

Libraries

Libraries

Collection of Collection of modules and/or modules and/or blocks, available in blocks, available in the different design the different design phasesphases

Page 18: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

18 2.3

Libraries

Libraries

Collection of Collection of modules and/or modules and/or blocks, available in blocks, available in the different design the different design phasesphases

Provided by the Provided by the Silicon Foundries via Silicon Foundries via the EDA vendorsthe EDA vendors

Page 19: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

19 2.3

Design entry

Schematiceditors

HDLcompilers

DesignDesignData BaseData Base

Design entry

Page 20: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

20 2.3

Verification & ValidationVerification & Validation

Simulators

Formal verifi-cation tools

Modelcheckers

Verification & ValidationDesign rule

checkers

DesignDesignData BaseData Base

Page 21: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

21 2.3

Automatic SynthesisAutomatic Synthesis

Low levelsynthesis

RT levelsynthesis

Logic levelsynthesis

High levelsynthesis

Automatic Synthesis

DesignDesignData BaseData Base

Page 22: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

22 2.3

Physical DesignPhysical Design

Floorplanners

Design rulecheckers

Placers &routers

Symboliclayout tools

Physical design

DesignDesignData BaseData Base

Page 23: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

23 2.3

Testing support

Test patterngenerators

Faultsimulators

ATEinterfaces

Faultmanager

Testing support

DesignDesignData BaseData Base

Page 24: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

24 2.3

A little bit of history...

1978 Physical layout tools (Calma, Applicon)

1980 Schematic editors (Daisy, Mentor, Valid)

1985 Behavioral simulation (Gateway)

1988 Automated synthesis (synopsys)

1992 Test automation (Sunrise)

Page 25: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu

25 2.3

TestTestsupportsupport

Physical Physical designdesign

ProductionProductionsupportsupport

Libraries

DesignDesignData BaseData Base

EDA system structure for this course

Design entry

HDLcompilers

Automatic SynthesisAutomatic Synthesis

RT levelsynthesis

Verification & ValidationVerification & Validation

Simulators

Page 26: A brief introduction to EDA systems Paolo PRINETTO Politecnico di Torino (Italy) University of Illinois at Chicago, IL (USA) Paolo.Prinetto@polito.it Prinetto@uic.edu