Verification Methodology of Gigabit Switch System 1999/9/9 Yi Ju Hwan.

Slides:



Advertisements
Similar presentations
Network Devices Repeaters, hubs, bridges, switches, routers, NICs.
Advertisements

ECOE 560 Design Methodologies and Tools for Software/Hardware Systems Spring 2004 Serdar Taşıran.
Using emulation for RTL performance verification
NetFPGA Project: 4-Port Layer 2/3 Switch Ankur Singla Gene Juknevicius
An Overview of Software-Defined Network Presenter: Xitao Wen.
Graduate Computer Architecture I Lecture 15: Intro to Reconfigurable Devices.
Copyright© 2000 OPNET Technologies, Inc. R.W. Dobinson, S. Haas, K. Korcyl, M.J. LeVine, J. Lokier, B. Martin, C. Meirosu, F. Saka, K. Vella Testing and.
LoopBuster Hardware Loop Detection in Fast Mesh Ethernet Networks Uriel Peled and Tal Kol Guided by Boaz Mizrahi Advised by Gideon Kaempfer Digital Systems.
02/02/20091 Logic devices can be classified into two broad categories Fixed Programmable Programmable Logic Device Introduction Lecture Notes – Lab 2.
Behavioral Design Outline –Design Specification –Behavioral Design –Behavioral Specification –Hardware Description Languages –Behavioral Simulation –Behavioral.
LoopBuster Hardware Loop Detection in Fast Mesh Ethernet Networks Uriel Peled and Tal Kol Guided by Boaz Mizrahi Advised by Gideon Kaempfer Digital Systems.
1 Network Packet Generator Characterization presentation Supervisor: Mony Orbach Presenting: Eugeney Ryzhyk, Igor Brevdo.
1/31/20081 Logic devices can be classified into two broad categories Fixed Programmable Programmable Logic Device Introduction Lecture Notes – Lab 2.
Application of NetFPGA in Network Security Hao Chen 2/25/2011.
Introduction to the Gigabit-Ethernet by Yun Qi Source : Rivier College, CS699 Professional Seminar.
1 Chapter 7 Design Implementation. 2 Overview 3 Main Steps of an FPGA Design ’ s Implementation Design architecture Defining the structure, interface.
Implementation of DSP Algorithm on SoC. Characterization presentation Student : Einat Tevel Supervisor : Isaschar Walter Accompany engineer : Emilia Burlak.
PCI-Express Network Sniffer Characterization Presentation Project Period : 2 semesters Students: Neria Wodage Aviel Tubul Advisor: Mony Orbach 17/12/2007.
Winter 2013 Independent Internet Embedded System - Final A Preformed by: Genady Okrain Instructor: Tsachi Martsiano Duration: Two semesters
Programmable Logic- How do they do that? 1/16/2015 Warren Miller Class 5: Software Tools and More 1.
GOOD MORNING.
- 1 - A Powerful Dual-mode IP core for a/b Wireless LANs.
FPGA for Underwater Communication Pradyumna (Prad) Kadambi Mentor: Cody Youngbull April 13, 2015.
Aug 20 th, 2002 Sigcomm Education Workshop 1 Teaching tools for a network infrastructure teaching lab The Virtual Router and NetFPGA Sigcomm Education.
1 Chapter 2. The System-on-a-Chip Design Process Canonical SoC Design System design flow The Specification Problem System design.
1.  Project Goals.  Project System Overview.  System Architecture.  Data Flow.  System Inputs.  System Outputs.  Rates.  Real Time Performance.
Jon Turner (and a cast of thousands) Washington University Design of a High Performance Active Router Active Nets PI Meeting - 12/01.
1 VERILOG Fundamentals Workshop סמסטר א ' תשע " ה מרצה : משה דורון הפקולטה להנדסה Workshop Objectives: Gain basic understanding of the essential concepts.
Chap. 1 Overview of Digital Design with Verilog. 2 Overview of Digital Design with Verilog HDL Evolution of computer aided digital circuit design Emergence.
1 Interconnection Networks and Scalable Crossbars Prof. U. Brüning Computer Architecture Group Institute of Computer Engineering University of Mannheim.
Connectivity Devices Hakim S. ADICHE, MSc
RiceNIC: A Reconfigurable and Programmable Gigabit Network Interface Card Jeff Shafer, Dr. Scott Rixner Rice Computer Architecture:
Research on Reconfigurable Computing Using Impulse C Carmen Li Shen Mentor: Dr. Russell Duren February 1, 2008.
1 Extending FPGA Verification Through The PLI Charles Howard Senior Research Engineer Southwest Research Institute San Antonio, Texas (210)
ECE 526 – Network Processing Systems Design Networking: protocols and packet format Chapter 3: D. E. Comer Fall 2008.
EMT 351 DIGITAL IC DESIGN En. Rizalafande Che Ismail (Course Co-ordinator) Pn. Siti Zarina Md Naziri School of Microelectronic Engineering School of Microelectronic.
Page 1 Reconfigurable Communications Processor Principal Investigator: Chris Papachristou Task Number: NAG Electrical Engineering & Computer Science.
Introduction of CRON Lin Xue Feb What is CRON “cron.cct.lsu.edu” testbed project is based on the Emulab system in the University of Utah. Emulab:
Jump to first page One-gigabit Router Oskar E. Bruening and Cemal Akcaba Advisor: Prof. Agarwal.
The Macro Design Process The Issues 1. Overview of IP Design 2. Key Features 3. Planning and Specification 4. Macro Design and Verification 5. Soft Macro.
MULTIMEDIA INPUT / OUTPUT TECHNOLOGIES
Computer Security Workshops Networking 101. Reasons To Know Networking In Regard to Computer Security To understand the flow of information on the Internet.
XStream: Rapid Generation of Custom Processors for ASIC Designs Binu Mathew * ASIC: Application Specific Integrated Circuit.
Lecture 13: Reconfigurable Computing Applications October 10, 2013 ECE 636 Reconfigurable Computing Lecture 11 Reconfigurable Computing Applications.
1 Presented By: Eyal Enav and Tal Rath Eyal Enav and Tal Rath Supervisor: Mike Sumszyk Mike Sumszyk.
Lecture 12: Reconfigurable Systems II October 20, 2004 ECE 697F Reconfigurable Computing Lecture 12 Reconfigurable Systems II: Exploring Programmable Systems.
1 Hardware/Software Co-Design Final Project Emulation on Distributed Simulation Co-Verification System 陳少傑 教授 R 黃鼎鈞 R 尤建智 R 林語亭.
PaxComm Co. Ltd. 라우터 / 스위치 Chipset ㈜ 팍스콤. PaxComm Co. Ltd. 백 영식 2 목차 1. Layer 2, Layer 3 switching 2. Switching Chip architectures 3. Galileo-I architecture.
M.Mohajjel. Digital Systems Advantages Ease of design Reproducibility of results Noise immunity Ease of Integration Disadvantages The real world is analog.
SOC Virtual Prototyping: An Approach towards fast System- On-Chip Solution Date – 09 th April 2012 Mamta CHALANA Tech Leader ST Microelectronics Pvt. Ltd,
Technion - Israel institute of technology department of Electrical Engineering High speed digital systems laboratory 40Gbit Signal Generator for Ethernet.
1 of 20 Smart-NICs: Power Proxying for Reduced Power Consumption in Network Edge Devices Karthikeyan Sabhanatarajan, Ann Gordon-Ross +, Mark Oden, Mukund.
An Efficient Gigabit Ethernet Switch Model for Large-Scale Simulation Dong (Kevin) Jin.
UClinux console (HyperTerminal) Memec V2MB1000 prototyping board running uClinux on embedded Xilinx® MicroBlaze™ processor Development system with Xilinx.
Mapping IP Addresses to Hardware Addresses Chapter 5.
Multi-objective Topology Synthesis and FPGA Prototyping Framework of Application Specific Network-on-Chip m Akram Ben Ahmed Xinyu LI, Omar Hammami.
Renesas Electronics America Inc. © 2010 Renesas Electronics America Inc. All rights reserved. Overview of Ethernet Networking A Rev /31/2011.
Networking update and plans (see also chapter 10 of TP) Bob Dobinson, CERN, June 2000.
Connectors, Repeaters, Hubs, Bridges, Switches, Routers, NIC’s
EECE 320 L8: Combinational Logic design Principles 1Chehab, AUB, 2003 EECE 320 Digital Systems Design Lecture 8: Combinational Logic Design Principles.
DAC50, Designer Track, 156-VB543 Parallel Design Methodology for Video Codec LSI with High-level Synthesis and FPGA-based Platform Kazuya YOKOHARI, Koyo.
What is CRKIT Framework ? Baseband Processor :  FPGA-based off-the-shelf board  Control up to 4 full-duplex wideband radios  FPGA-based System-on-Chip.
Lab 2: Packet Capture & Traffic Analysis with Wireshark
Hands On SoC FPGA Design
environment infrastructure
Addressing: Router Design
RTL Simulator for VChip Emulator
Progress Report Chester Liu 2013/12/27.
Reference Router on NetFPGA 1G
Connectors, Repeaters, Hubs, Bridges, Switches, Routers, NIC’s
Presentation transcript:

Verification Methodology of Gigabit Switch System 1999/9/9 Yi Ju Hwan

Agenda o Design flow & Verification o Example u Algorithm-level design & verification u RT-level design & verification u Gate-level verification o Introduction to Gigabit project o Verification methodology of gigabit switch system o Summary

Design Flow Create ProjectSpec. Decision Spec.

Design Flow Spec. Design Design & Coding Simulation Verification Tape-out

Design Flow Fabrication CHIP!!! Testing

Design & Verification Example Motion picture MPEG encoding MPEG bit stream Broadcast system

Algorithm-level Design & Verification MPEG encoding Algorithm level Model Motion picture file MPEG file MPEG player

RT-level Design & Verification Motion picture file MPEG file MPEG player Broadcast system interface model MPEG encoder model Camera interface Model

Gate-level Verification (Hardware Emulation) Motion picture MPEG bit stream Broadcast system Emulator

Gigabit Ethernet Switch Project o 8x8 Switch Fabric u 16 Gbps bandwidth o Gigabit Port Controller u Individual lookup engine u Full gigabit line-rate support SF PC NP GMII

Expansion o 32x32 Switch with 12 SF, 32 PC SF PC SF PC SF NP SF PC NP SF PC SF PC SF NP SF PC NP

Verification Strategy o Architecture-level verification u High-level description in C-language u Decision making about expansion scheme, architecture o Simulation with network environment model u RT-level description in Verilog HDL u Actual design & debugging with Virtual Network o Software emulation u PC with Verilog simulator u Verification with real network environment o Hardware emulation u Hardware prototype board with FPGA u Verification with other chipset (network processor, MAC interface)

Building Environment Model (Virtual Network) o Captured packets u Real application program u Controlled traffic Use traffic generation routine of network simulator u Various packets TCP, UDP, ARP, IPX... RealNetworkEnvironment Packetcapture Analysis & Filtering VirtualNetworkEnvironment

GESIM(Architecture-level Verification) VnetVnetI/FTx VnetI/FRx Model PC PC SF Simulator EventHandlerScheduler Receivedpackets ExecutorEventQueue Parameters Packets to be sent DebuggerUnit

C routine Virtual Network with PLI(RT- level Design & Verification) VnetVnetI/FTx VnetI/FRx Verilog Simulator PC PC SF Receivedpackets Parameters Packets to be sent MACinterface(PLI) MACinterface(PLI)

Software Emulation RealNetworkEnvironment MAC(NIC) MAC(NIC) PC PC SFMACinterface(PLI) MACinterface(PLI) NetworkProcessor(PLI) SSRAMSDRAM SSRAMSDRAM PCVerilogSimulator

Advantage & Disadvantage of Software Emulation o No design change o Easy to debug o Easy to build system u No hardware design overhead o Functionality check with real network system o No hardware interface verification o Slow emulation speed u 300k gate RTL simulation: MHz Ultra Sparc with VCS

Hardware Emulation RealNetworkEnvironment PHYPC(FPGA)SF(FPGA) NetworkProcessor SSRAMSDRAM MAC(LUC3M08) PHYPC(FPGA) SSRAMSDRAM MAC(LUC3M08) Prototype board

Summary o Spec. decision u Architecture level-simulation & verification o Design u System modeling u RT-level simulation & verification o Emulation u Prototype board, Emulator, FPGA