Download presentation

Presentation is loading. Please wait.

Published bySonia Padfield Modified over 2 years ago

1
C2 Part 4: VLSI CAD Tools Problems and Algorithms Marcelo Johann EAMTA 2006

2
EAMTA 2006 - Marcelo Johann - C21.2Outline THIRD PART Layout Compaction Logic Synthesis, BDDs Technology Mapping Simmulation vs Formal Verification Voltage Drop by Random Walks FOURTH PART High-Level Synthesis CDFG, Allocation, Scheduling, Generation

3
EAMTA 2006 - Marcelo Johann - C21.3 Function representations Truth Tables Lists the output for every input combination For n variables, 2 n lines Formulas F=x1.x2.~x5 + ~x3(x2.x4.x5 + ~x2) + x2.x3 Not Canonical in general, canonical is large BDDs A graph that packs a truth table Average sized, powerful representation

4
EAMTA 2006 - Marcelo Johann - C21.4BDDs Source: Wikipedia

5
EAMTA 2006 - Marcelo Johann - C21.5 BDD - good ordering BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a good variable ordering

6
EAMTA 2006 - Marcelo Johann - C21.6 BDD - bad ordering BDD graph for the Boolean formula x1 * x2 + x3 * x4 + x5 * x6 + x7 * x8 using a bad variable ordering

7
EAMTA 2006 - Marcelo Johann - C21.7 Random Walks

8
EAMTA 2006 - Marcelo Johann - C21.8 Random Walks

9
EAMTA 2006 - Marcelo Johann - C21.9 IR Drop

10
EAMTA 2006 - Marcelo Johann - C21.10 Random Walk

11
EAMTA 2006 - Marcelo Johann - C21.11 The Algorithm Initialize Compute conductance, p x,i, m x For each node in the circuit Loop n times according to accuracy Loop until reaching Supply –Add this node’s cost –Random select the next move Make this node a new supply Print the result

12
EAMTA 2006 - Marcelo Johann - C21.12Accuracy 15876 VDD nodes 15625 GND nodes 1.2V Linux 2.8GHz CPU Delta controls error such that 99% of the nodes have less then Error Margin

13
EAMTA 2006 - Marcelo Johann - C21.13 VLSI System Design Part V : High-Level Synthesis Lecturer : Tsuyoshi Isshiki VLSI Design and Education Center, The University of Tokyo Dept. Communication and Integrated Systems, Tokyo Institute of Technology isshiki@vlsi.ss.titech.ac.jp http://www.vlsi.ss.titech.ac.jp/~isshiki/VLSISystemDesign/top.html Jump to…

14
C2: VLSI CAD Tools Problems and Algorithms EAMTA 2006 Marcelo Johann johann@inf.ufrgs.br www.inf.ufrgs.br/~johann Thank you!

Similar presentations

OK

Representing Boolean Functions for Symbolic Model Checking Supratik Chakraborty IIT Bombay.

Representing Boolean Functions for Symbolic Model Checking Supratik Chakraborty IIT Bombay.

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google

Ppt on ancient indian mathematicians and their contributions Ppt on central limit theorem in statistics Ppt on female foeticide Ppt on solar system for grade 5 Ppt on domain and range of functions Ppt on power generation by speed breaker road Ppt on object oriented programming language Ppt on renewable energy resources in india Download ppt on heating effect of electric current Tough times never last but tough people do ppt online