ASIC

Design Methodology
(Fall 2016)

Lecture 1

Osman Hasan

Outline
IntroducCon
Instructor
Students
ASICs

Course Outline
IntroducCon to ASICs

Instructor: Osman Hasan

Joined SEECS in September 2009
Contact:
osman.hasan@seecs.nust.edu.pk
Phone: 9085.2137
Faculty Block A 307
Office Hours: By appointment
hJp://ohasan.seecs.nust.edu.pk

SAVE @ SEECS
Established in March 2010
hJp://save.seecs.nust.edu.pk/
Students
5 PhD
9 Masters
11 UG

External Collaborators

Funding
Automated Tele-Micromanipulator Cell InjecCon System (2016-1019)
ICTR&D Fund, Ministry of InformaCon Technology, Pakistan
38.5 million Rs.

FormalizaCon of InformaCon Theories and ApplicaCon in Safety-criCcal

Engineering Systems (2013-16)
Qatar NaConal Research Fund

0.922 million US$

Formal vericaCon of Distributed Thermal and Resource Management

Algorithms for MulCcore Architectures (2014-16)
DAAD, Germany

6.5 Million Rs.

Tele-surgical Robot and Simulator (2011-14)

ICTR&D Fund, Ministry of InformaCon Technology, Pakistan

40 million Rs.

Formal System Analysis and VericaCon (2010 13)

Higher EducaCon Commission, Pakistan
4 million Rs.

Research Outcomes - PublicaCons

Book/Chapters: 7
Journal Papers: 30
Conference Papers: >100
Masters Thesis: 18
2015
Accepted: 5 Journals,11Conference papers, 3
Book chapters
Springer LNCS, IEEE RoboCcs and AutomaCon Society
(RAS), IEEE Circuits and Systems (CAS) Society

Osman Hasan

Formal Methods

Outline
IntroducCon
Instructor
Students
ASICs

Course Outline

Students
Name
EducaCon
Work History
Research Interests/Project
What are ASICs?
Your expectaCons from the course

Outline
IntroducCon
Instructor
Students
ASICs

Course Outline

10

ASIC
Application Specific Integrated Circuit
An Integrated circuit designed for a specific purpose
Examples
chip designed for a satellite
chip designed for a car

11

EvoluCon of ICs
Small-scale IntegraCon (SSI)
Few (1-10) Gates
Single FuncConality (NAND/NOR gates)

Medium-scale IntegraCon (MSI)

Larger scale logic funcCons (Counters etc.)

Large-scale IntegraCon (LSI)

Microprocessors on a chip

Very Large-scale IntegraCon (VLSI)

64-bit microprocessors with cache memory and FP arithmeCc units
MulC-core Architectures
Over a Million gates
12

ASIC Design Process

SYSTEM

MODULE
+
GATE
CIRCUIT

DEVICE
G
S
n+

D
n+

13

ASIC Design Flow

Idea

Logic Design

Specification

RTL level
Verification

Physical Design

(CMOS)

Testing

Logical
Synthesis
Physical Synthesis

Chip

Floor Planning
Verification
Placement
Verification
Routing
Verification
Extraction
Verification

Course
Contents

Gate Level
Verification
Test Insertion
Verification
14

Outline
IntroducCon
Instructor
Students
ASICs

Course Outline

15

Course Outline
Introduction to ASICs
CMOS Logic
ASIC Library Design
Synthesis
Verification
Simulation
Formal Verification
Testing
Physical Design
Floor Planning
Placement
Routing
16

Course Outline
Prerequisites
Basic Electronics
Digital Logic Design Fundamentals
Verilog/VHDL.

Text Book:
M.J.S. Smith, Application-Specific Integrated Circuits,
Addison-Wesley, ISBN 0-201-50022-1, 1997.

17

Course Outline
Reference Books:
Himanshu Bhatnagar, Advanced ASIC Chip Synthesis Using Synopsys
Design Compiler Physical Compiler and PrimeTime. 2001.
N. H. E. Weste and D. Harris, CMOS VLSI Design: A Circuits and
Systems Perspective, 3rd Edition , Addison-Wesley, 2004.
J. Rabaey , A. Chandrakasan , B. Nikolic , Digital Integrated Circuits: A
Design Perspective 2nd Edition, Prentice Hall, 2003.
W. Wolf, Modern VLSI Design: System-on-Chip Design, 3rd Edition,
Prentice Hall, 2002.
18

Grading Scheme
Quizzes
Assignments

05%
05%

Project

20%

OHTs
Final

30%
40%

19