FV_Summer_School2011__HW_Verif

FV_Summer_School2011 - Template release Oct 02 For the latest go to Presentation Central on w3 Indications in black = Optional elements IB be to wa

Info iconThis preview shows pages 1–7. Sign up to view the full content.

View Full Document Right Arrow Icon
102 s • Confidentiality/date line: 13pt Arial Regular, white • IB M be m to , wa y e um • Copyright: 10pt Arial Template release: Oct 02 For the latest, go to Presentation Central on w3 May 2011 Fo r pre cli e go Indications in black = Optional elements Jason Baumgartner www.research.ibm.com/sixthsense IBM Corporation Hardware Verification Foundations
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
• IB M be m to, o an y • Title/subtitle/confidentiality line: 10pt Arial Regular, white 5 s e 102 um Indications in black = Optional elements • Copyright: 10pt Arial Template release: Oct 02 For the latest, go to http://w3.ibm.com/ibm/presentations Optional slide number: 2 Outline Class 1: Hardware Verification Foundations Hardware and Hardware Modeling Hardware Verification and Specification Methods Algorithms for Reasoning about Hardware Class 2: Hardware Verification Challenges and Solutions Moore’s Law v. Verification Complexity Coping with Verification Complexity via Transformations Class 3: Industrial Hardware Verification In Practice Evolution of Model Checking Testbench Authoring Concepts Case Studies
Background image of page 2
• IB M be m to, o an y • Title/subtitle/confidentiality line: 10pt Arial Regular, white 5 s e 102 um Indications in black = Optional elements • Copyright: 10pt Arial Template release: Oct 02 For the latest, go to http://w3.ibm.com/ibm/presentations Optional slide number: 3 Outline Hardware and Hardware Modeling Hardware Verification and Specification Methods Algorithms for Reasoning about Hardware Falsification Techniques Proof Techniques Reductions
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
• IB M be m to, o an y • Title/subtitle/confidentiality line: 10pt Arial Regular, white 5 s e 102 um Indications in black = Optional elements • Copyright: 10pt Arial Template release: Oct 02 For the latest, go to http://w3.ibm.com/ibm/presentations Optional slide number: 4 Introduction to Hardware Integrated circuits (ICs) are ubiquitous in modern life Computers, Audio/Video devices, Transportation, Medical devices, Communications, Appliances, … Many types of ICs Processors, GPUs, RAM, Caches, Networking / Data Routing, Digital Signal Processors, Encryption, … Hardware refers to fabricated ICs – or their origins
Background image of page 4
• IB M be m to, o an y • Title/subtitle/confidentiality line: 10pt Arial Regular, white 5 s e 102 um Indications in black = Optional elements • Copyright: 10pt Arial Template release: Oct 02 For the latest, go to http://w3.ibm.com/ibm/presentations Optional slide number: 5 Introduction to Hardware Contemporary hardware design often begins as a Hardware Description Language (Verilog, VHDL) Taken through a series of synthesis steps into gate-level netlist representation, then a transistor-based representation Mapped to a physical layout, lithography masks, … finally silicon! always @(posedge clk) begin if ( r ) then p <= 0 else p <= p+1; end if; end HDL Netlist Schematic Layout IC
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
• IB M be m to, o an y • Title/subtitle/confidentiality line: 10pt Arial Regular, white 5 s e 102 um Indications in black = Optional elements • Copyright: 10pt Arial Template release: Oct 02 For the latest, go to http://w3.ibm.com/ibm/presentations
Background image of page 6
Image of page 7
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 02/07/2012 for the course CS 4322 taught by Professor Martinrinard during the Spring '11 term at MIT.

Page1 / 200

FV_Summer_School2011 - Template release Oct 02 For the latest go to Presentation Central on w3 Indications in black = Optional elements IB be to wa

This preview shows document pages 1 - 7. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online