Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Topics n High-level synthesis. n Architectures for low power. n Testability and architecture.

Slides:



Advertisements
Similar presentations
Digital Integrated Circuits© Prentice Hall 1995 Design Methodologies Design for Test.
Advertisements

ECE 667 Synthesis and Verification of Digital Circuits
Register Transfer Level
1 ECE734 VLSI Arrays for Digital Signal Processing Chapter 3 Parallel and Pipelined Processing.
Control path Recall that the control path is the physical entity in a processor which: fetches instructions, fetches operands, decodes instructions, schedules.
Copyright 2001, Agrawal & BushnellVLSI Test: Lecture 261 Lecture 26 Logic BIST Architectures n Motivation n Built-in Logic Block Observer (BILBO) n Test.
Give qualifications of instructors: DAP
Modern VLSI Design 4e: Chapter 5 Copyright  2008 Wayne Wolf Topics n Performance analysis of sequential machines.
Modern VLSI Design 4e: Chapter 5 Copyright  2008 Wayne Wolf Topics n State assignment. n Power optimization of sequential machines. n Design validation.
FPGA-Based System Design: Chapter 5 Copyright  2004 Prentice Hall PTR Clocking disciplines Flip-flops. Latches.
Introduction to Data Flow Graphs and their Scheduling Sources: Gang Quan.
Modern VLSI Design 4e: Chapter 8 Copyright  2008 Wayne Wolf Topics High-level synthesis. Architectures for low power. GALS design.
High Performance Embedded Computing © 2007 Elsevier Chapter 7, part 1: Hardware/Software Co-Design High Performance Embedded Computing Wayne Wolf.
FPGA-Based System Design: Chapter 6 Copyright  2004 Prentice Hall PTR Register-transfer Design n Basics of register-transfer design: –data paths and controllers.
Modern VLSI Design 3e: Chapter 10 Copyright  2002 Prentice Hall Adapted by Yunsi Fei ECE 300 Advanced VLSI Design Fall 2006 Lecture 24: CAD Systems &
Prof. John Nestor ECE Department Lafayette College Easton, Pennsylvania ECE VLSI Circuit Design Lecture 17 - Sequential.
FPGA-Based System Design: Chapter 3 Copyright  2004 Prentice Hall PTR SRAM-based FPGA n SRAM-based LE –Registers in logic elements –LUT-based logic element.
Modern VLSI Design 2e: Chapter 5 Copyright  1998 Prentice Hall PTR Topics n Sequential machine implementation: –clocking. n Sequential machine design.
Compiler Challenges, Introduction to Data Dependences Allen and Kennedy, Chapter 1, 2.
The Control Unit: Sequencing the Processor Control Unit: –provides control signals that activate the various microoperations in the datapath the select.
Modern VLSI Design 2e: Chapter4 Copyright  1998 Prentice Hall PTR.
Modern VLSI Design 2e: Chapter 6 Copyright  1998 Prentice Hall PTR Topics n Shifters. n Adders and ALUs.
Modern VLSI Design 2e: Chapter 5 Copyright  1998 Prentice Hall PTR Topics n Memory elements. n Basics of sequential machines.
Modern VLSI Design 2e: Chapter 5 Copyright  1998 Prentice Hall PTR Topics n State assignment. n Power optimization of sequential machines. n Design validation.
ICS 252 Introduction to Computer Design
ELEN 468 Lecture 251 ELEN 468 Advanced Logic Design Lecture 25 Built-in Self Test.
VLSI DSP 2008Y.T. Hwang3-1 Chapter 3 Algorithm Representation & Iteration Bound.
TOPIC - BIST architectures I
Spring 07, Jan 30 ELEC 7770: Advanced VLSI Design (Agrawal) 1 ELEC 7770 Advanced VLSI Design Spring 2007 SOC Test Scheduling Vishwani D. Agrawal James.
Introduction to Data Flow Graphs and their Scheduling Sources: Gang Quan.
Lecture 10 Topics: Sequential circuits Basic concepts Clocks
FPGA-Based System Design: Chapter 5 Copyright  2004 Prentice Hall PTR Topics n Basics of sequential machines. n Sequential machine specification. n Sequential.
Sub-expression elimination Logic expressions: –Performed by logic optimization. –Kernel-based methods. Arithmetic expressions: –Search isomorphic patterns.
Modern VLSI Design 4e: Chapter 8 Copyright  2008 Wayne Wolf Topics Testability and architecture. Design methodologies. Multiprocessor system-on-chip.
Modern VLSI Design 3e: Chapter 5,6 Copyright  2002 Prentice Hall PTR Adapted by Yunsi Fei Topics n Sequential machine (§5.2, §5.3) n FSM construction.
Section 10: Advanced Topics 1 M. Balakrishnan Dept. of Comp. Sci. & Engg. I.I.T. Delhi.
FPGA-Based System Design: Chapter 3 Copyright  2004 Prentice Hall PTR Topics n FPGA fabric architecture concepts.
Modern VLSI Design 3e: Chapter 4 Copyright  1998, 2002 Prentice Hall PTR Topics n Combinational network delay. n Logic optimization.
EKT 221/4 DIGITAL ELECTRONICS II  Registers, Micro-operations and Implementations - Part3.
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTEMS
L11: Lower Power High Level Synthesis(2) 성균관대학교 조 준 동 교수
European Test Symposium, May 28, 2008 Nuno Alves, Jennifer Dworak, and R. Iris Bahar Division of Engineering Brown University Providence, RI Kundan.
Modern VLSI Design 4e: Chapter 8 Copyright  2008 Wayne Wolf Topics Basics of register-transfer design: –data paths and controllers; –ASM charts. Pipelining.
Topics Design methodologies. Kitchen timer example.
Computer Organization & Programming Chapter 5 Synchronous Components.
Modern VLSI Design 4e: Chapter 8 Copyright  2008 Wayne Wolf Topics VHDL register-transfer modeling: –basics using traffic light controller; –synthesis.
Modern VLSI Design 3e: Chapter 8 Copyright  1998, 2002 Prentice Hall PTR Topics n Modeling with hardware description languages (HDLs).
1 Copyright  2001 Pao-Ann Hsiung SW HW Module Outline l Introduction l Unified HW/SW Representations l HW/SW Partitioning Techniques l Integrated HW/SW.
L12 : Lower Power High Level Synthesis(3) 성균관대학교 조 준 동 교수
Introduction to ASIC flow and Verilog HDL
Modern VLSI Design 3e: Chapter 8 Copyright  1998, 2002 Prentice Hall PTR Topics n Basics of register-transfer design: –data paths and controllers; –ASM.
FPGA-Based System Design: Chapter 6 Copyright  2004 Prentice Hall PTR Topics n Low power design. n Pipelining.
FPGA-Based System Design Copyright  2004 Prentice Hall PTR Topics n Modeling with hardware description languages (HDLs).
Sept. 2005EE37E Adv. Digital Electronics Lesson 4 Synchronous Design Architectures: Control Unit Design (part three)
Chapter 11: System Design Methodology Digital System Designs and Practices Using Verilog HDL and 2008, John Wiley11-1 Chapter 11: System Design.
ECE 448 Lecture 6 Finite State Machines State Diagrams vs. Algorithmic State Machine (ASM) Charts.
High Performance Embedded Computing © 2007 Elsevier Lecture 4: Models of Computation Embedded Computing Systems Mikko Lipasti, adapted from M. Schulte.
System-on-Chip Design Analysis of Control Data Flow
FPGA-Based System Design: Chapter 3 Copyright  2004 Prentice Hall PTR Topics n FPGA fabric architecture concepts.
COMBINATIONAL AND SEQUENTIAL CIRCUITS Guided By: Prof. P. B. Swadas Prepared By: BIRLA VISHVAKARMA MAHAVDYALAYA.
Chapter 3 Boolean Algebra and Digital Logic T103: Computer architecture, logic and information processing.
1 Modeling Synchronous Logic Circuits Debdeep Mukhopadhyay Associate Professor Dept of Computer Science and Engineering NYU Shanghai and IIT Kharagpur.
Lecture 5: Design for Testability. CMOS VLSI DesignCMOS VLSI Design 4th Ed. 12: Design for Testability2 Outline  Testing –Logic Verification –Silicon.
Modern VLSI Design 3e: Chapter 8 Copyright  1998, 2002 Prentice Hall PTR Topics n Verilog register-transfer modeling: –basics using traffic light controller;
Hardware Testing and Designing for Testability
Definition Partial-scan architecture Historical background
Lesson 4 Synchronous Design Architectures: Data Path and High-level Synthesis (part two) Sept EE37E Adv. Digital Electronics.
Sungho Kang Yonsei University
Lecture 26 Logic BIST Architectures
Presentation transcript:

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Topics n High-level synthesis. n Architectures for low power. n Testability and architecture.

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR High-level synthesis n Sequential operation is not the most abstract description of behavior. n We can describe behavior without assigning operations to particular clock cycles. n High-level synthesis (behavioral synthesis) transforms an unscheduled behavior into a register-transfer behavior.

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Tasks in high-level synthesis n Scheduling: determines clock cycle on which each operation will occur. n Binding (allocation): chooses which function units will execute which operations.

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Functional modeling code in VHDL o1 <= i1 or i2; if i3 = ‘0’ then o1 <= ‘1’; o2 <= a + b; else o1 <= ‘0’ end if; clock cycle boundary can be moved to design different register transfers

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Data dependencies n Data dependencies describe relationships between operations: –x <= a + b ; value of x depends on a, b n High-level synthesis must preserve data dependencies.

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Data flow graph n Data flow graph (DFG) models data dependencies. n Does not require that operations be performed in a particular order. n Models operations in a basic block of a functional model -no conditionals. n Requires single-assignment form.

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Data flow graph construction original code: x <= a + b; y <= a * c; z <= x + d; x <= y - d; x <= x + c; single-assignment form: x1 <= a + b; y <= a * c; z <= x1 + d; x2 <= y - d; x3 <= x2 + c;

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Data flow graph construction, cont’d Data flow forms directed acyclic graph (DAG):

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Goals of scheduling and allocation n Preserve behavior - at end of execution, should have received all outputs, be in proper state (ignoring exact times of events). n Utilize hardware efficiently. n Obtain acceptable performance.

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Data flow to data path-controller One feasible schedule for last DFG:

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Binding values to registers registers fall on clock cycle boundaries

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Choosing function units muxes allow function units to be shared for several operations

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Building the sequencer sequencer requires three states, even with no conditionals

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Choices during high-level synthesis n Scheduling determines number of clock cycles required; binding determines area, cycle time. n Area tradeoffs must consider shared function units vs. multiplexers, control. n Delay tradeoffs must consider cycle time vs. number of cycles.

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Finding schedules n Two simple schedules: –As-soon-as-possible (ASAP) schedule puts every operation as early in time as possible. –As-late-as-possible (ALAP) schedule puts every operation as late in schedule as possible. n Many schedules exist between ALAP and ASAP extremes.

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR ASAP and ALAP schedules ASAP ALAP

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Critical path of schedule Longest path through data flow determines minimum schedule length:

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Operator chaining n May execute several operations in sequence in one cycle - operator chaining. n Delay through function units may not be additive, such as through several adders.

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Control implementation n Clock cycles are also known as control steps. n Longer schedule means more states in controller. n Cost of controller may be hard to judge from casual inspection of state transition graph.

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Controllers and scheduling functional model: x <= a + b; y <= c + d; one state two states

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Distributed control one centralized controller two distributed controllers

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Synchronized communication between FSMs To pass values between two machines, must schedule output of one machine to coincide with input expected by the other:

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Hardwired vs. microcoded control n Hardwired control has a state register and “random logic.” n A microcoded machine has a state register which points into a microcode memory. n Styles are equivalent; choice depends on implementation considerations.

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Data path-controller delay Watch out for long delay paths created by combination of data path and controller:

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Architectures for low power n Two important methods: –architecture-driven voltage scaling –power-down modes

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Architecture-driven voltage scaling n Add extra logic to increase parallelism so that system can run at lower rate. n Power improvement for n parallel units over Vref: –P n (n) = [1 + C i (n)/nC ref + C x (n)/C ref ](V/V ref )

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Power-down modes n CMOS doesn consume power when not transitioning. Many systems can incorporate power-down modes: –condition the clock on power-down mode; –add state to control for power-down mode; –modify the control logic to ensure that power- down/power-up don corrupt control state.

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Architecture testing n Want to make system as testable as possible with minimum cost in hardware, testing time. n Can use knowledge of architecture to help choose testability points. n May want to modify architecture to improve testability.

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Some scan latches are more useful than others n Acyclic register-transfer graphs are easy to test. n Register-transfers with feedback are harder to test - state becomes contaminated during test. n When choosing partial scan registers, choose feedback paths first.

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Identifying partial scan opportunities n Construct register graph, which shows connections between registers: –nodes are registers; –edge between two nodes if there is a combinational path between them. n Sequential depth is distance from primary input to a node.

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Register graph example machine register graph

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Analyzing register graphs n High sequential depth implies that the register is harder to test. n Registers contained register-graph cycles (FF2-FF3) are hard to test (although self- loops are not hard). n Add partial scan registers to effectively reduce sequential depth of node and its neighbors.

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Built-in self test (BIST) n Includes on-chip machine responsible for: –generating tests; –evaluating correctness of tests. n Allows many tests to be applied. n Can’t afford large memory for test results - rely on compression and statistical analysis.

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR Generating vectors Use a linear-feedback shift register to generate a pseudo-random sequence of bit vectors:

Modern VLSI Design 2e: Chapter 8 Copyright  1998 Prentice Hall PTR BIST architecutre n One LFSR to generates test sequence. n Another LFSR captures/compresses results. n Can store a small number of signatures which contain expected compressed result for valid system.