Issues in ATM Network Control - Engineering School Class Web Sites

Download Report

Transcript Issues in ATM Network Control - Engineering School Class Web Sites

CSE 460: Switching Theory
David M. Zar
Computer Science and Engineering
Washington University
Spring 2010
[email protected]
http://classes.engineering.wustl.edu/cse460/index.php
Read
HS 1-58
HS 1-58
Inroduction
 Administrivia
» Meet Monday/Wednesday 2:30-4:00 p.m. in Cupples II
202
» Final Exam Date: Monday May 10 6:00-8:00 p.m.
» Class web site
http://classes.engineering.wustl.edu/cse460/inex.php/
» Text book Logic Synthesis and Verification Algorithms by
Gary D. Hachtel and Fabio Somenzi, Kluwer 1996
 Who
am I?
» David M. Zar
» Bryan Hall 307C
» 314-935-4876
» [email protected]
1-‹#› - David Zar - 4/12/2016
Syllabus
 Combinational
Techniques
» Boolean Algebras
» Two-Level Logic Synthesis
» Heuristic Minimization
» Binary Decision Diagrams
 Fault
Analysis
 Sequential Techniques
» Models of Sequential Systems
» Synthesis and Verification
» Finite Automata
» Asynchronous Circuits
 Multi-Level
Logic Synthesis
 Other fun things like Testability, BIST, etc.
1-‹#› - David Zar - 4/12/2016
Grading and Reading
 So
you want a grade, huh?
» 20% Homework
» 25% Each of Two Midterm Exams
» 30% Final Exam
 READ!
» Reading assignments are not “graded” but the book is
very in depth and not reading will hurt (although you
may think that upon the first read, that hurts).
» Chapters 1 and 2 are some background and overview. We
will not cover the graph theory right now, but will do justin-time delivery of that material, later. Still, review it,
especially if you are rusty or have never seen it.
1-‹#› - David Zar - 4/12/2016
CoE260 and Moore’s Law
 CoE260
introduced fundamentals of digital logic
 Modern
digital systems can be huge by comparison
» Small numbers of inputs and outputs
» Small numbers of gates
» Synthesis performed manually
» In 1965, Gordon Moore
(http://www.intel.com/research/silicon/moorespaper.pdf)
predicted that the number of transistors per IC would
double every 18 months
» He predicted the trend would hold through 1975; It seems
to still be holding
» Often times many technological advances with
exponential growth are said to follow “Moore's Law”
1-‹#› - David Zar - 4/12/2016
VLSI Today
 Minimum
feature size has shrunk considerably:
Notes:
»
»
»
»
»
Xeon has 1 MB L3 cache
Pentium M is a low-power device
Itanium is a 64-bit processor with up to 6 MB L3 cache
P4 Extreme Edition has 512KB L2 cache, 2 MB L3 cache, 1066 MHz FSB.
Core2 Duo/Quad include 2MB/8MB L2 cache, 1066 Hz FSB
1-‹#› - David Zar - 4/12/2016
How about Transistors?
 The
following table comes from data on the Intel
web site:
1-‹#› - David Zar - 4/12/2016
Issues for Such Large Designs

Developing digital solutions of this magnitude involves serious challenges

As a result, some degree of automation is a necessity

Software exists to address many areas of digital logic designs including:

We will not consider the development of automation software but will
cover some fundamentals on which they are based

Most engineers in digital design will never author such software, but
understanding principles is extremely important for proper usage of any
tool
»
»
»
»
»
»
»
»
»
»
Large numbers of developers
Many degrees of freedom
Advance of technology makes for short product revenue life
High pressure to reduce time-to-market
Manual synthesis is infeasible due to large numbers of gates
Design management
Synthesis (i.e. HDL into logic)
Verification (i.e. simulation, test generation)
Optimization
Placement and Routing
1-‹#› - David Zar - 4/12/2016
VLSI Implementation Styles
 Metal
Oxide Semiconductor (MOS) processes are the
extremely popular for digital logic implementation
primarily because of low power consumption CMOS
(Complimentary MOS, utilizing n- and p-channel
transistors on the same chip) is dominant today
 MOS
transistor can be thought of as a
voltage controlled switch
» Switch between source and drain is closed
or opened depending on gate voltage
» n-channel transistor is “closed”
(conducting) when a high voltage is placed
on its gate and “opened” (non-conducting)
with a low gate voltage
1-‹#› - David Zar - 4/12/2016
More MOS Transistors…
» p-channel transistor is the opposite, closed
when a low voltage is placed on its gate and
opened with a high voltage
 Logic
gates can be realized by
interconnections of these transistors:
» An inverter opens the p-channel transistor
and closes the n-channel when the input is
high, and has the opposite affect when the
input is low
» In a NOR gate, the output path to high
voltage is present only when both A and B
are low; otherwise at least one path to
ground exists
1-‹#› - David Zar - 4/12/2016
Design Opportunities
 Design
components are commonly distinguished by
the level of customization required in the final
component:
» Full Custom Design: Every circuit in the component is
optimized for its purpose in this design
» Semi-Custom Design: Circuit is assembled from pre-designed
and pre-characterized subcircuits
» Programmed Design: Circuit is realized by programming a
standard part such as nonvolatile memory, PLA, or FPGA
1-‹#› - David Zar - 4/12/2016
Optimality Tradeoffs

A common goal is to achieve an optimal or near-optimal design

To achieve such a goal, we need some notion of what it means to be
“optimal”

A commonly used approach is to minimize some convex function of:
»
»
»
»
Area occupied by logic gates and interconnect
Critical Path Delay, the longest delay through the circuit
Degree of Testability, the percentage of faults covered by some number of input test vectors
Power consumed by the logic gates

This optimization is usually constrained by physical considerations
such as maximum area used, maximum power consumed, etc.

Generally these criteria are interrelated and cannot be simultaneously
optimized
1-‹#› - David Zar - 4/12/2016
Optimality Example

For example, the set of all possible
combinations of area A and delay  can
be divided into those that are achievable
(or feasible) with a given technology and
those that are unachievable (or impossible)

The curve that separates these two
regions and satisfies constraints is the
optimal tradeoff curve

Changes that cause the design point to move parallel to one axis and
toward the other are “tradeoff-free,” improving one criteria while not
affecting the other

Changes that move the design point along the tradeoff curve are optimal
tradeoffs, sacrificing on one criterion to gain on another
1-‹#› - David Zar - 4/12/2016