Dr. Ishaq Unwala Rockwell Pl Phone #: (512)
|
|
- Duane Silvester Atkinson
- 5 years ago
- Views:
Transcription
1 Dr. Ishaq Unwala Rockwell Pl Phone #: (512) Austin, TX WORK EXPERIENCE University of Houston Clear Lake, Houston, TX Aug '14 - present Assistant Professor of Computer Teaching graduate level classes in Computer. Areas of interest Design, Test and Verification of digital designs. Oracle Corporation, Austin, TX Senior Hardware Engineer Sep '10 - Jan '14 Recently employed at Oracle Corporation in Computer and Microelectronic Technology (CMT) division, formerly Sun Microsystems. The CMT division designs, develops and implements complete SPARC systems, including SPARC Core, SOC for SPARC Core, and Solaris Operating System. I was responsible for functional verification of the SPARC Core. I have worked on two SPARC processor cores, Tahoe (S4) and Siete (S5). Functional verification includes many sub-tasks, including working with logic design team on design specification documents, Test Generation, Test Environment design and development, Functional Coverage specification and implementation, root causing Test failures, Formal verification, use and design of many other Design Tools. - Project : Siete (S5) CPU ( ) Most recently I worked on design verification of the Load Store Unit for a new SPARC processor. I proposed, specified, and implemented a new test generator for testing of the Load Store unit (LSU) for the SPARC Core. The new test generator provided hundreds of tests that otherwise would have to be hand written. I wrote testing and coverage specification for LSU blocks. Design and verification work is still in progress. Siete is projected to tape-out in March Project : Tahoe (S4) CPU ( ) I specified, designed and implemented the unit test environment (UTE) for the Instruction Fetch Unit (IFU) design for Tahoe. UTE was used to perform detailed verification of various IFU hardware structures, including the instruction cache, instruction TLB, hardware instruction fetching and prefetching, multiple branch predictors and branch information tables. UTE consisted of behavioral, emulation, irritator, monitor and checker modules written in Synopsys Vera. UTE also modeled pseudo random stimulus and response of peripherally units. UTE also generated pseudo random and directed pseudo random configuration. Using behavioral code UTE modeled all the internal units to generate expected results for functional checking. Intrinsity Inc, Austin, TX Member Technical Staff Apr '08 - Aug '10 Intrinsity was a small CPU design and development company that was bought by Apple, Inc. in Intrinsity worked on design and development of PowerPC and ARM cores. At Intrinsity, original RTL was redesign to improve its clock speed and performance. To prove that the re-design RTL was functionally same as the original RTL we used Formal commercial tools. The formal tools included, Sequential Equivalence Checker (SLEC), Conformal and Solidify. - Project : Dual Core ARM Cortex-A9 CPU ( )
2 I performed formal validation on a dual core ARM Cortex-A9 processor implementation. The formal validation methodology mainly used SLEC with an occasional use of Solidify and Conformal to prove certain cases. The CPU was used delivered to Samsung for use in the Samsung Galaxy II cellphone and the Samsung Galaxy tablet. - Project : ARM Cortex-A8 CPU ( ) I performed formal validation on an ARM Cortex-A8 processor implementation. This processor was released in 2009 as Hummingbird by Intrinsity/Samsung. Hummingbird won the IEEE Spectrum Mobile CPU award for 2009, "Intrinsity's More Cerebral Cortex", in the January 2010 issue. Hummingbird was also featured in the Microprocessor Report of July 2009, "Hot-Rodding the Cortex-A8". The formal methodology mainly used SLEC, with occasional use of Conformal and Solidify tools. Hummingbird was used in Apple ipad-1, Apple iphone4, and Samsung Galaxy-S cellphone. Intel Corporation, Austin, TX Senior Microarchitecture Validation Sep '00 - Apr '08 Intel is one of the largest semiconductor companies in the world. Intel designs, develops and manufactures a wide range of semiconductor products, most of which use Intel x86 architecture based microprocessors. Intel x86 microprocessors are used in a wide range of applications, including embedded applications, cell phones, tablets, laptop, desktop, and servers. At Intel I worked on multiple projects. - Project : Bonnell (Intel ATOM) CPU ( ) Bonnell was a low power microarchitecture design initiative by Intel for the mobile devices market. I performed verification on both unit level and core level. I designed, developed and implemented the Front- end module's (FEC) unit test environment (UTE). FEC design consisted of instruction fetch, decode, Icache, TLB, multiple branch predictors, microcode (µ-code) related functions like µ-code sequencing and µ-code patching. FEC UTE consisted of behavioral, irritators, emulations, monitor, and checker modules for each of the design structures. After unit level work, I joined Bonnell core level verification in the final year of the project. Verification tasks consisted of UTE support, test writing, debugging and determining the fails, specifying, implementing and achieving functional coverage goals. I also worked on silicon bring up and initial postsilicon validation. The Bonnell processor was used in netbooks and latest version is used in mobile phones and tablets. - Project : Merom (Intel CORE2) CPU ( ) Verified advance performance enhancement features on Merom microprocessor using functional coverage, random test generation and debugging fails. Merom was released as Intel CORE2 for laptop market. - Project : Tejas CPU ( ) Tejas CPU was a high performance, high frequency Pentium4 design. I designed, developed and implemented FEC UTE for unit level verification. The FEC design consisted of instruction fetch, decode, Icache, TLB, multiple branch predictors, microcode (µ-code) trace cache, µ-code sequencing and µ-code patching. I worked on verification of full Tejas core during the last two years of the project. Developed specialized C++ based checkers and irritators to verify various design structures. I also worked on verification of the Sequencer and Rename Replay Queue units. Verification
3 tasks consisted of UTE support, test writing, debugging and root causing the fails, specifying, implementing and achieving functional coverage goals. IBM Corporation, Austin, TX Advisory Engineer Jun '98 - Sep '00 IBM is one of the largest and the most respected companies in the world. IBM was developing the first processor with gigahertz clock speed when I joined the company. - Project : Power4 CPU ( ) I worked at IBM on the Gigahertz Processor (GP/Power4). Responsibilities at IBM included definition and implementation of microarchitecture coverage models in consultation with design team for GP project using COMET (COverage METric). Analysis of test coverage and reporting of coverage holes to the verification team. I guided GP microarchitecture coverage project from the tools and resource requirement perspective. I also worked with verification tools team to improve the coverage tools and flow. VLSI Technology Inc, Tempe, AZ Senior software design engineer Jun '95 - May '98 VLSI Technology was a small semiconductor and EDA company. VLSI Technology was bought by Phillips Semiconductor. I defined, designed, and implemented Electronic Design Automation (EDA) tools for Application Specific Integrated Circuit (ASIC) design flows. I developed analysis tools for gate-level designs specified in Verilog, VHDL and EDIF, specifically VLSI Netlist Screener and VLSI Delay Calculator Command Shell. I supervised development of a number of support tools for internal use within VLSI Technology, Inc. - Project : VLSI Netlist Screener ( ) I defined, developed, implemented and maintained the design netlist screening tool. The tool's main function was to do Design Rule Check (DRC) for electrical correctness and standard cell library rules compliance. - Project : VLSI Delay Calculator Command Shell ( ) I defined, developed, implemented and maintained the Delay Calculator Command Shell tool. The tool was an integration effort to allow our customers interactive queries on the delay calculator database after the delay calculation was completed. The University of Texas at Austin, Austin, TX Graduate Research Assistant Jan '92 - May '95 Conducted research on various aspects of computer architecture and developed modeling software for resulting techniques. Topics included pipelined processor modeling and design evaluation, superpipelined processor design, and instruction set architecture. Issues such as dependencies, execution interlocks, branch target fetch delays and instruction sequences were investigated. Computer Services Company Pakistan Hardware and Software Consultant Mar '86 - Dec '91 Owned and operated Computer Services Co. Provided expertise and counsel on hardware purchases, upgrades and maintenance service to medium sized companies. Designed integrated software systems for accounting, sales and MIS.
4 EDUCATION Doctor of Philosophy (Computer ) May '98 The University of Texas at Austin, Austin TX Department of Electrical and Computer Master of Science (Computer ) May '86 The University of Texas at Austin, Austin TX Department of Electrical and Computer Bachelor of Science (Electrical ) May '84 West Virginia University, Morgantown, WV Department of Electrical and Computer PH. D. DISSERTATION "Markov Chain Modeling and Design Evaluation of Pipelined Processors" Developed pipelined processor modeling and design evaluation technique based on Markov chains. Implemented an instruction trace-driven pipeline simulator based on these models. Established that the Markov chain model is a good approximation for a processor pipeline. M.S. THESIS "A Novel Environment for Design and Simulation of Digital Systems Architecture" Designed and simulated architecture for a floating-slash math-coprocessor. The inspiration for design of math co-processor came from floating-slash arithmetic ideas of Dr. David W. Matula at Southern Methodist University, Dallas. The math-coprocessor was simulated using Lotus 123 spreadsheet. Lotus 123, and other spreadsheet programs, have a built in macro language to write code. The language includes ability to model clocking, logic equations, and cell based state machines. Using these capabilities I simulated microcode, assembly language and hardware for the math-coprocessor using Lotus 123 software. PUBLICATIONS Ishaq H. Unwala and Harvey G. Cragon, "A Markov Chain Modeling Technique for Evaluating Pipelined Processor Designs," IEEE 37th Midwest Symposium on Circuits and Systems, pp , vol. 1, August 1994, Lafayette, LA. Ishaq H. Unwala and Harvey G. Cragon, "Design Evaluation of Pipelined Processors Using Finite State Machine Analysis with Markov Chains," 3rd International Conference on the Economics of Design, Test and Manufacturing, pp May 1994, Austin, TX. Ishaq H. Unwala and Earl E. Swartzlander, Jr., "Superpipelined Adder Designs," 1993 IEEE International Symposium on Circuits and Systems, pp , May 1993, Chicago, IL.
5 Ishaq H. Unwala and Harvey G. Cragon. "A Study of MIPS Programs," Computer Architecture News, vol. 22, no. 5, December 1994, pp TEACHING The University of Houston Clear Lake, Houston, TX Assistant Professor of Computer Teaching graduate courses in area of Computer. Aug 2014-present The University of Texas at Austin, Austin, TX Adjunct Faculty position Jan '01 In 2001, I had the privilege and an opportunity to teach an upper division undergraduate Computer Architecture class in the Computer Science Department at the University of Texas at Austin. While working at Intel Corp, I accepted the position of Adjunct Faculty and taught the undergraduate Computer Architecture class for one semester. RESEARCH INTERESTS Computer architecture and micro-architecture Digital systems design Hardware design verification techniques and technologies Formal verification methods Functional coverage Simulation techniques CAD tools, technologies and techniques
David Kebo Houngninou Instructional Assistant Professor Department of Computer Science and Engineering Texas A&M University *
David Kebo Houngninou Instructional Assistant Professor Department of Computer Science and Engineering Texas A&M University * davidkebo@tamu.edu EDUCATION Ph.D. in Computer Engineering Southern Methodist
More informationThe Microprocessor as a Microcosm:
The Microprocessor as a Microcosm: A Hands-On Approach to VLSI Design Education David Harris David_Harris@hmc.edu November 2002 Harvey Mudd College Claremont, CA Outline Introduction Course Organization
More informationSYSTEMS ON CHIP (SOC) FOR EMBEDDED APPLICATIONS
SYSTEMS ON CHIP (SOC) FOR EMBEDDED APPLICATIONS Embedded System System Set of components needed to perform a function Hardware + software +. Embedded Main function not computing Usually not autonomous
More informationMicroprocessor Architecture Dr. Charles Kim Howard University
EECE416 Microcomputer Fundamentals Microprocessor Architecture Dr. Charles Kim Howard University 1 Computer Architecture Computer System CPU (with PC, Register, SR) + Memory 2 Computer Architecture ALU
More informationEvolution of Computers & Microprocessors. Dr. Cahit Karakuş
Evolution of Computers & Microprocessors Dr. Cahit Karakuş Evolution of Computers First generation (1939-1954) - vacuum tube IBM 650, 1954 Evolution of Computers Second generation (1954-1959) - transistor
More informationHardware Design Verification: Simulation and Formal Method-Based Approaches William K Lam Prentice Hall Modern Semiconductor Design Series
Design Verification An Introduction Main References Hardware Design Verification: Simulation and Formal Method-Based Approaches William K Lam Prentice Hall Modern Semiconductor Design Series A Roadmap
More informationDesign and Implementation of 5 Stages Pipelined Architecture in 32 Bit RISC Processor
Design and Implementation of 5 Stages Pipelined Architecture in 32 Bit RISC Processor Abstract The proposed work is the design of a 32 bit RISC (Reduced Instruction Set Computer) processor. The design
More informationAdvanced Processor Architecture
Advanced Processor Architecture Jinkyu Jeong (jinkyu@skku.edu) Computer Systems Laboratory Sungkyunkwan University http://csl.skku.edu SSE2030: Introduction to Computer Systems, Spring 2018, Jinkyu Jeong
More informationDIGITAL DESIGN TECHNOLOGY & TECHNIQUES
DIGITAL DESIGN TECHNOLOGY & TECHNIQUES CAD for ASIC Design 1 INTEGRATED CIRCUITS (IC) An integrated circuit (IC) consists complex electronic circuitries and their interconnections. William Shockley et
More informationAdvanced Processor Architecture. Jin-Soo Kim Computer Systems Laboratory Sungkyunkwan University
Advanced Processor Architecture Jin-Soo Kim (jinsookim@skku.edu) Computer Systems Laboratory Sungkyunkwan University http://csl.skku.edu Modern Microprocessors More than just GHz CPU Clock Speed SPECint2000
More informationJung-Lin Yang. Ph.D. and M.S. degree in the Dept. of Electrical and Computer Engineering University of Utah expected spring 2003
Jung-Lin Yang Business Address: 50 South Campus Drive, RM 3280 Salt Lake City, UT 84112 (801) 581-8378 Home Address: 1115 Medical Plaza Salt Lake City, UT 84112 (801) 583-0596 (801) 949-8263 http://www.cs.utah.edu/~jyang
More informationWhen Girls Design CPUs!
When Girls Design CPUs! An overview on one of the world s most famous CPU cores: ARM 1 Once Upon a Time There was a company in UK Acorn This company was the competitor to IBM Apple They were creating personal
More informationIndustrial Hardware and Software Verification with ACL2
Industrial Hardware and Software Verification with ACL2 Warren A. Hunt, Jr. 1, Matt Kaufmann 1, J Strother Moore 1, and Anna Slobodova 2 1 Department of Computer Science University of Texas at Austin and
More informationCSE : Introduction to Computer Architecture
Computer Architecture 9/21/2005 CSE 675.02: Introduction to Computer Architecture Instructor: Roger Crawfis (based on slides from Gojko Babic A modern meaning of the term computer architecture covers three
More informationHardware Design Environments. Dr. Mahdi Abbasi Computer Engineering Department Bu-Ali Sina University
Hardware Design Environments Dr. Mahdi Abbasi Computer Engineering Department Bu-Ali Sina University Outline Welcome to COE 405 Digital System Design Design Domains and Levels of Abstractions Synthesis
More informationWhat is Computer Architecture?
What is Computer Architecture? Architecture abstraction of the hardware for the programmer instruction set architecture instructions: operations operands, addressing the operands how instructions are encoded
More informationGolam R Chowdhury Will Rogers Lane phone: cell Austin, TX 78727
Golam R Chowdhury 13501 Will Rogers Lane phone: 512 587 9237 cell golamc@gmail.com Austin, TX 78727 Objective: Seeking an Adjunct Faculty Position in Electrical Engineering. Profile With a combined experience
More informationComputer Architecture. Introduction. Lynn Choi Korea University
Computer Architecture Introduction Lynn Choi Korea University Class Information Lecturer Prof. Lynn Choi, School of Electrical Eng. Phone: 3290-3249, 공학관 411, lchoi@korea.ac.kr, TA: 윤창현 / 신동욱, 3290-3896,
More informationUsing FPGA for Computer Architecture/Organization Education
IEEE Computer Society Technical Committee on Computer Architecture Newsletter, Jun. 1996, pp.31 35 Using FPGA for Computer Architecture/Organization Education Yamin Li and Wanming Chu Computer Architecture
More informationMath 230 Assembly Programming (AKA Computer Organization) Spring MIPS Intro
Math 230 Assembly Programming (AKA Computer Organization) Spring 2008 MIPS Intro Adapted from slides developed for: Mary J. Irwin PSU CSE331 Dave Patterson s UCB CS152 M230 L09.1 Smith Spring 2008 MIPS
More informationEvolution of CAD Tools & Verilog HDL Definition
Evolution of CAD Tools & Verilog HDL Definition K.Sivasankaran Assistant Professor (Senior) VLSI Division School of Electronics Engineering VIT University Outline Evolution of CAD Different CAD Tools for
More informationThe University of Reduced Instruction Set Computer (MARC)
The University of Reduced Instruction Set Computer (MARC) Abstract We present our design of a VHDL-based, RISC processor instantiated on an FPGA for use in undergraduate electrical engineering courses
More informationOverview of Digital Design with Verilog HDL 1
Overview of Digital Design with Verilog HDL 1 1.1 Evolution of Computer-Aided Digital Design Digital circuit design has evolved rapidly over the last 25 years. The earliest digital circuits were designed
More informationDepartment of Electrical and Computer Engineering, University of Rochester, Computer Studies Building,
,, Computer Studies Building, BOX 270231, Rochester, New York 14627 585.360.6181 (phone) kose@ece.rochester.edu http://www.ece.rochester.edu/ kose Research Interests and Vision Research interests: Design
More informationASSEMBLY LANGUAGE MACHINE ORGANIZATION
ASSEMBLY LANGUAGE MACHINE ORGANIZATION CHAPTER 3 1 Sub-topics The topic will cover: Microprocessor architecture CPU processing methods Pipelining Superscalar RISC Multiprocessing Instruction Cycle Instruction
More informationURL: Offered by: Should already know how to design with logic. Will learn...
00 1 EE 3755 Computer Organization 00 1 URL: http://www.ece.lsu.edu/ee3755 Offered by: David M. Koppelman Room 3191 P. Taylor Hall 578-5482, koppel@ece.lsu.edu, http://www.ece.lsu.edu/koppel Tentative
More informationFor a long time, programming languages such as FORTRAN, PASCAL, and C Were being used to describe computer programs that were
CHAPTER-2 HARDWARE DESCRIPTION LANGUAGES 2.1 Overview of HDLs : For a long time, programming languages such as FORTRAN, PASCAL, and C Were being used to describe computer programs that were sequential
More informationComputer Architecture Dr. Charles Kim Howard University
EECE416 Microcomputer Fundamentals & Design Computer Architecture Dr. Charles Kim Howard University 1 Computer Architecture Computer Architecture Art of selecting and interconnecting hardware components
More informationEE 4755 Digital Design Using Hardware Description Languages
EE 4755 Digital Design Using Hardware Description Languages Basic Information URL: http://www.ece.lsu.edu/v Offered by: David M. Koppelman, Room 345 ERAD Building 578-5482. koppel@ece.lsu.edu, http://www.ece.lsu.edu/koppel/koppel.html
More informationEE382 Processor Design. Class Objectives
EE382 Processor Design Stanford University Winter Quarter 1998-1999 Instructor: Michael Flynn Teaching Assistant: Steve Chou Administrative Assistant: Susan Gere Lecture 1 - Introduction Slide 1 Class
More informationIF1 --> IF2 ID1 ID2 EX1 EX2 ME1 ME2 WB. add $10, $2, $3 IF1 IF2 ID1 ID2 EX1 EX2 ME1 ME2 WB sub $4, $10, $6 IF1 IF2 ID1 ID2 --> EX1 EX2 ME1 ME2 WB
EE 4720 Homework 4 Solution Due: 22 April 2002 To solve Problem 3 and the next assignment a paper has to be read. Do not leave the reading to the last minute, however try attempting the first problem below
More informationNew Approach for Affine Combination of A New Architecture of RISC cum CISC Processor
Volume 2 Issue 1 March 2014 ISSN: 2320-9984 (Online) International Journal of Modern Engineering & Management Research Website: www.ijmemr.org New Approach for Affine Combination of A New Architecture
More informationOverview of Digital Design Methodologies
Overview of Digital Design Methodologies ELEC 5402 Pavan Gunupudi Dept. of Electronics, Carleton University January 5, 2012 1 / 13 Introduction 2 / 13 Introduction Driving Areas: Smart phones, mobile devices,
More informationStrober: Fast and Accurate Sample-Based Energy Simulation Framework for Arbitrary RTL
Strober: Fast and Accurate Sample-Based Energy Simulation Framework for Arbitrary RTL Donggyu Kim, Adam Izraelevitz, Christopher Celio, Hokeun Kim, Brian Zimmer, Yunsup Lee, Jonathan Bachrach, Krste Asanović
More informationIntergraph: Computer Pioneer
Page 1 of 6 operations more efficiently, it is the InterPro 32 in 1984 that is the first true standalone workstation. In 1980, Intergraph released the first computer graphics terminal to use raster technology.
More informationChapter 2 Logic Gates and Introduction to Computer Architecture
Chapter 2 Logic Gates and Introduction to Computer Architecture 2.1 Introduction The basic components of an Integrated Circuit (IC) is logic gates which made of transistors, in digital system there are
More informationDesign Verification Lecture 01
M. Hsiao 1 Design Verification Lecture 01 Course Title: Verification of Digital Systems Professor: Michael Hsiao (355 Durham) Prerequisites: Digital Logic Design, C/C++ Programming, Data Structures, Computer
More informationIntel released new technology call P6P
P6 and IA-64 8086 released on 1978 Pentium release on 1993 8086 has upgrade by Pipeline, Super scalar, Clock frequency, Cache and so on But 8086 has limit, Hard to improve efficiency Intel released new
More informationCSE 141: Computer Architecture. Professor: Michael Taylor. UCSD Department of Computer Science & Engineering
CSE 141: Computer 0 Architecture Professor: Michael Taylor RF UCSD Department of Computer Science & Engineering Computer Architecture from 10,000 feet foo(int x) {.. } Class of application Physics Computer
More informationINFORMATION TECHNOLOGY SPREADSHEETS. Part 1
INFORMATION TECHNOLOGY SPREADSHEETS Part 1 Page: 1 Created by John Martin Exercise Built-In Lists 1. Start Excel Spreadsheet 2. In cell B1 enter Mon 3. In cell C1 enter Tue 4. Select cell C1 5. At the
More informationHAI ZHOU. Evanston, IL Glenview, IL (847) (o) (847) (h)
HAI ZHOU Electrical and Computer Engineering Northwestern University 2535 Happy Hollow Rd. Evanston, IL 60208-3118 Glenview, IL 60025 haizhou@ece.nwu.edu www.ece.nwu.edu/~haizhou (847) 491-4155 (o) (847)
More informationAgenda. Introduction FPGA DSP platforms Design challenges New programming models for FPGAs
New Directions in Programming FPGAs for DSP Dr. Jim Hwang Xilinx, Inc. Agenda Introduction FPGA DSP platforms Design challenges New programming models for FPGAs System Generator Getting your math into
More informationChoosing an Intellectual Property Core
Choosing an Intellectual Property Core MIPS Technologies, Inc. June 2002 One of the most important product development decisions facing SOC designers today is choosing an intellectual property (IP) core.
More informationSANS Vendor Events. SANS offers a variety of events which bring you in touch with the highly qualified SANS community.
SANS Vendor Events SANS offers a variety of events which bring you in touch with the highly qualified SANS community. SANS National Events over 1200 profession IT Security attendees and over 45 SANS classes
More informationUsing Verilog HDL to Teach Computer Architecture Concepts
Using Verilog HDL to Teach Computer Architecture Concepts Dr. Daniel C. Hyde Computer Science Department Bucknell University Lewisburg, PA 17837, USA hyde@bucknell.edu Paper presented at Workshop on Computer
More informationHonorary Professor Supercomputer Education and Research Centre Indian Institute of Science, Bangalore
COMPUTER ORGANIZATION AND ARCHITECTURE V. Rajaraman Honorary Professor Supercomputer Education and Research Centre Indian Institute of Science, Bangalore T. Radhakrishnan Professor of Computer Science
More informationECE 111 ECE 111. Advanced Digital Design. Advanced Digital Design Winter, Sujit Dey. Sujit Dey. ECE Department UC San Diego
Advanced Digital Winter, 2009 ECE Department UC San Diego dey@ece.ucsd.edu http://esdat.ucsd.edu Winter 2009 Advanced Digital Objective: of a hardware-software embedded system using advanced design methodologies
More informationSoC / ASIC / FPGA / IP
Top Notch Solution Providers in design & Verification for SoC / ASIC / FPGA / IP Delivering high quality services with technical excellence, continuous innovation, passion and unyielding integrity. KACPER
More informationProgrammable Logic Devices II
São José February 2015 Prof. Hoeller, Prof. Moecke (http://www.sj.ifsc.edu.br) 1 / 28 Lecture 01: Complexity Management and the Design of Complex Digital Systems Prof. Arliones Hoeller arliones.hoeller@ifsc.edu.br
More informationTEACHING PLAN GUIDE. Course Content/Activity Sem /17 Chapters from 10 th Edition textbook. Week. Week Feb. 17.
TEACHING PLAN GUIDE Week Course Content/Activity Sem 2 2016/17 Chapters from 10 th Edition textbook Lab Activity Date/Notes 1 Chapter 1: Basic Concepts and Computer Evolution Organization and architecture
More informationChapter 13 Reduced Instruction Set Computers
Chapter 13 Reduced Instruction Set Computers Contents Instruction execution characteristics Use of a large register file Compiler-based register optimization Reduced instruction set architecture RISC pipelining
More informationEmbedded Systems. 7. System Components
Embedded Systems 7. System Components Lothar Thiele 7-1 Contents of Course 1. Embedded Systems Introduction 2. Software Introduction 7. System Components 10. Models 3. Real-Time Models 4. Periodic/Aperiodic
More informationIntroduction to Microprocessor
Introduction to Microprocessor Slide 1 Microprocessor A microprocessor is a multipurpose, programmable, clock-driven, register-based electronic device That reads binary instructions from a storage device
More informationDESIGN AND VERIFICATION ANALYSIS OF APB3 PROTOCOL WITH COVERAGE
DESIGN AND VERIFICATION ANALYSIS OF APB3 PROTOCOL WITH COVERAGE Akhilesh Kumar and Richa Sinha Department of E&C Engineering, NIT Jamshedpur, Jharkhand, India ABSTRACT Today in the era of modern technology
More informationSoC Verification Methodology. Prof. Chien-Nan Liu TEL: ext:
SoC Verification Methodology Prof. Chien-Nan Liu TEL: 03-4227151 ext:4534 Email: jimmy@ee.ncu.edu.tw 1 Outline l Verification Overview l Verification Strategies l Tools for Verification l SoC Verification
More informationNew Advances in Micro-Processors and computer architectures
New Advances in Micro-Processors and computer architectures Prof. (Dr.) K.R. Chowdhary, Director SETG Email: kr.chowdhary@jietjodhpur.com Jodhpur Institute of Engineering and Technology, SETG August 27,
More informationCISC Attributes. E.g. Pentium is considered a modern CISC processor
What is CISC? CISC means Complex Instruction Set Computer chips that are easy to program and which make efficient use of memory. Since the earliest machines were programmed in assembly language and memory
More informationVLSI Design of Multichannel AMBA AHB
RESEARCH ARTICLE OPEN ACCESS VLSI Design of Multichannel AMBA AHB Shraddha Divekar,Archana Tiwari M-Tech, Department Of Electronics, Assistant professor, Department Of Electronics RKNEC Nagpur,RKNEC Nagpur
More informationEmbedded Systems: Architecture
Embedded Systems: Architecture Jinkyu Jeong (Jinkyu@skku.edu) Computer Systems Laboratory Sungkyunkwan University http://csl.skku.edu ICE3028: Embedded Systems Design, Fall 2018, Jinkyu Jeong (jinkyu@skku.edu)
More informationCISC / RISC. Complex / Reduced Instruction Set Computers
Systems Architecture CISC / RISC Complex / Reduced Instruction Set Computers CISC / RISC p. 1/12 Instruction Usage Instruction Group Average Usage 1 Data Movement 45.28% 2 Flow Control 28.73% 3 Arithmetic
More informationIntroducing the FPGA-Based Prototyping Methodology Manual (FPMM) Best Practices in Design-for-Prototyping
Introducing the FPGA-Based Prototyping Methodology Manual (FPMM) Best Practices in Design-for-Prototyping 1 What s the News? Introducing the FPMM: FPGA-Based Prototyping Methodology Manual Launch of new
More informationVerifying the Correctness of the PA 7300LC Processor
Verifying the Correctness of the PA 7300LC Processor Functional verification was divided into presilicon and postsilicon phases. Software models were used in the presilicon phase, and fabricated chips
More informationTHE INTERNATIONAL JOURNAL OF SCIENCE & TECHNOLEDGE
THE INTERNATIONAL JOURNAL OF SCIENCE & TECHNOLEDGE Assertion Based Verification of I2C Master Bus Controller with RTC Sagar T. D. M.Tech Student, VLSI Design and Embedded Systems BGS Institute of Technology,
More informationComputer Architecture s Changing Definition
Computer Architecture s Changing Definition 1950s Computer Architecture Computer Arithmetic 1960s Operating system support, especially memory management 1970s to mid 1980s Computer Architecture Instruction
More informationCharacterization of Native Signal Processing Extensions
Characterization of Native Signal Processing Extensions Jason Law Department of Electrical and Computer Engineering University of Texas at Austin Austin, TX 78712 jlaw@mail.utexas.edu Abstract Soon if
More informationEDA: Electronic Design Automation
EDA: Electronic Design Automation Luis Mateu Contents What is EDA The Phases of IC design Opportunities for parallelism 2006 Synopsys, Inc. (2) Electronic Design Automation? The software tools engineers
More informationAltiVec Center of Excellence Overview Motorola s Global Software Group (GSG) is pleased to announce the formation of the AltiVec Center of Excellence.
AltiVec Center of Excellence Revised 2-4-03 MOTOROLA and the Stylized M Logo are registered in the US Patent & Trademark Office. All other product or service names are the property of their respective
More informationEE 4755 Digital Design Using Hardware Description Languages
EE 4755 Digital Design Using Hardware Description Languages Basic Information URL: http://www.ece.lsu.edu/v Offered by: David M. Koppelman, Room 3316R P. F. Taylor Hall 578-5482. koppel@ece.lsu.edu, http://www.ece.lsu.edu/koppel/koppel.html
More informationHow What When Why CSC3501 FALL07 CSC3501 FALL07. Louisiana State University 1- Introduction - 1. Louisiana State University 1- Introduction - 2
Computer Organization and Design Dr. Arjan Durresi Louisiana State University Baton Rouge, LA 70803 durresi@csc.lsu.edu d These slides are available at: http://www.csc.lsu.edu/~durresi/csc3501_07/ Louisiana
More informationVERIFICATION OF RISC-V PROCESSOR USING UVM TESTBENCH
VERIFICATION OF RISC-V PROCESSOR USING UVM TESTBENCH Chevella Anilkumar 1, K Venkateswarlu 2 1.2 ECE Department, JNTU HYDERABAD(INDIA) ABSTRACT RISC-V (pronounced "risk-five") is a new, open, and completely
More informationDesign Process. Design : specify and enter the design intent. Verify: Implement: verify the correctness of design and implementation
Design Verification 1 Design Process Design : specify and enter the design intent Verify: verify the correctness of design and implementation Implement: refine the design through all phases Kurt Keutzer
More informationNovel Design of Dual Core RISC Architecture Implementation
Journal From the SelectedWorks of Kirat Pal Singh Spring May 18, 2015 Novel Design of Dual Core RISC Architecture Implementation Akshatha Rai K, VTU University, MITE, Moodbidri, Karnataka Basavaraj H J,
More informationOpenSPARC Program. David Weaver Principal Engineer, UltraSPARC Architecture Principal OpenSPARC Evangelist Sun Microsystems, Inc.
OpenSPARC Program David Weaver Principal Engineer, UltraSPARC Architecture Principal OpenSPARC Evangelist Sun Microsystems, Inc. 1 Agenda What is OpenSPARC? OpenSPARC University Program OpenSPARC Resources
More informationComputer Architecture!
Informatics 3 Computer Architecture! Dr. Boris Grot and Dr. Vijay Nagarajan!! Institute for Computing Systems Architecture, School of Informatics! University of Edinburgh! General Information! Instructors
More informationModule 2. Embedded Processors and Memory. Version 2 EE IIT, Kharagpur 1
Module 2 Embedded Processors and Memory Version 2 EE IIT, Kharagpur 1 Lesson 8 General Purpose Processors - I Version 2 EE IIT, Kharagpur 2 In this lesson the student will learn the following Architecture
More informationComputer Architecture. Fall Dongkun Shin, SKKU
Computer Architecture Fall 2018 1 Syllabus Instructors: Dongkun Shin Office : Room 85470 E-mail : dongkun@skku.edu Office Hours: Wed. 15:00-17:30 or by appointment Lecture notes nyx.skku.ac.kr Courses
More informationChapter 5: ASICs Vs. PLDs
Chapter 5: ASICs Vs. PLDs 5.1 Introduction A general definition of the term Application Specific Integrated Circuit (ASIC) is virtually every type of chip that is designed to perform a dedicated task.
More informationMARIE: An Introduction to a Simple Computer
MARIE: An Introduction to a Simple Computer 4.2 CPU Basics The computer s CPU fetches, decodes, and executes program instructions. The two principal parts of the CPU are the datapath and the control unit.
More informationA superscalar machine is one in which multiple instruction streams allow completion of more than one instruction per cycle.
CS 320 Ch. 16 SuperScalar Machines A superscalar machine is one in which multiple instruction streams allow completion of more than one instruction per cycle. A superpipelined machine is one in which a
More informationCSC 170 Introduction to Computers and Their Applications. Computers
CSC 170 Introduction to Computers and Their Applications Lecture #4 Digital Devices Computers At its core, a computer is a multipurpose device that accepts input, processes data, stores data, and produces
More informationVerification at ARM. Overview. Alan Hunter
2. Industry Verification Flow 1 Verification at ARM Alan Hunter Overview The focus will be on CPU cores ARM then and now How we think about DV DV history A side note on complexity So we just need to boot
More informationIn this tutorial, we will discuss the architecture, pin diagram and other key concepts of microprocessors.
About the Tutorial A microprocessor is a controlling unit of a micro-computer, fabricated on a small chip capable of performing Arithmetic Logical Unit (ALU) operations and communicating with the other
More informationSimulation Of Computer Systems. Prof. S. Shakya
Simulation Of Computer Systems Prof. S. Shakya Purpose & Overview Computer systems are composed from timescales flip (10-11 sec) to time a human interacts (seconds) It is a multi level system Different
More informationASYNC Rik van de Wiel COO Handshake Solutions
ASYNC 2006 Rik van de Wiel COO Handshake Solutions Outline Introduction to Handshake Solutions Applications Design Tools ARM996HS Academic Program Handshake Solutions Started as research project in Philips
More informationComputer Organization & Assembly Language Programming (CSE 2312)
Computer Organization & Assembly Language Programming (CSE 2312) Lecture 1 Taylor Johnson Outline Administration Course Objectives Computer Organization Overview August 21, 2014 CSE2312, Fall 2014 2 Administration
More informationComputer Architecture Computer Architecture. Computer Architecture. What is Computer Architecture? Grading
178 322 Computer Architecture Lecturer: Watis Leelapatra Office: 4301D Email: watis@kku.ac.th Course Webpage: http://gear.kku.ac.th/~watis/courses/178322/178322.html Computer Architecture Grading Midterm
More informationEvaluation of RISC-V RTL with FPGA-Accelerated Simulation
Evaluation of RISC-V RTL with FPGA-Accelerated Simulation Donggyu Kim, Christopher Celio, David Biancolin, Jonathan Bachrach, Krste Asanovic CARRV 2017 10/14/2017 Evaluation Methodologies For Computer
More informationFunctional Verification in 8-bit Microcontrollers: A Case Study
Functional Verification in 8-bit Microcontrollers: A Case Study Walter Soto Encinas Jr Walter.Encinas@motorola.com César Augusto Dueñas M. Cesar.Duenas@motorola.com Brazil Semiconductor Technology Center
More informationConfigurable and Extensible Processors Change System Design. Ricardo E. Gonzalez Tensilica, Inc.
Configurable and Extensible Processors Change System Design Ricardo E. Gonzalez Tensilica, Inc. Presentation Overview Yet Another Processor? No, a new way of building systems Puts system designers in the
More informationWilliam Stallings Computer Organization and Architecture 8 th Edition. Chapter 14 Instruction Level Parallelism and Superscalar Processors
William Stallings Computer Organization and Architecture 8 th Edition Chapter 14 Instruction Level Parallelism and Superscalar Processors What is Superscalar? Common instructions (arithmetic, load/store,
More informationComputer Organization and Design, 5th Edition: The Hardware/Software Interface
Computer Organization and Design, 5th Edition: The Hardware/Software Interface 1 Computer Abstractions and Technology 1.1 Introduction 1.2 Eight Great Ideas in Computer Architecture 1.3 Below Your Program
More informationSAE5C Computer Organization and Architecture. Unit : I - V
SAE5C Computer Organization and Architecture Unit : I - V UNIT-I Evolution of Pentium and Power PC Evolution of Computer Components functions Interconnection Bus Basics of PCI Memory:Characteristics,Hierarchy
More informationUpdates on the ACPA Education and Training Program
Updates on the ACPA Education and Training Program AASHTO Subcommittee on Materials Meeting Asheville, NC August 5, 2008 Dr. Michael Ayers Director of Highway Pavement Technology E&T Membership 5 Contractor
More informationSystem Verilog Assertions Language and Methodology. Comprehensive 1 Day Training Class. DefineView Consulting
System Verilog Assertions Language and Methodology Comprehensive 1 Day Training Class DefineView Consulting http://www.defineview.com 2006-2008 Training :: Abstract Abstract System Verilog Assertions (SVA)
More informationA New Electronic System Level Methodology for Complex Chip Designs
A New Electronic System Level Methodology for Complex Chip Designs Chad Spackman President, Co-Founder 1 Copyright 2006. All rights reserved. We are an EDA Tool Company: C2R Compiler, Inc. General purpose
More informationFreedom of Information Act 2000 reference number RFI
P. Norris By email to: xxxxxxxxxxxxxxxxxxxxxx@xxxxxxxxxxxxxx.xxm 02 November 2011 Dear P. Norris Freedom of Information Act 2000 reference number RFI20111218 Thank you for your request under the Freedom
More informationISO STANDARD IMPLEMENTATION AND TECHNOLOGY CONSOLIDATION
ISO STANDARD IMPLEMENTATION AND TECHNOLOGY CONSOLIDATION Cathy Bates Senior Consultant, Vantage Technology Consulting Group January 30, 2018 Campus Orientation Initiative and Project Orientation Project
More informationProcessing Unit CS206T
Processing Unit CS206T Microprocessors The density of elements on processor chips continued to rise More and more elements were placed on each chip so that fewer and fewer chips were needed to construct
More informationHardware Software Codesign of Embedded Systems
Hardware Software Codesign of Embedded Systems Rabi Mahapatra Texas A&M University Today s topics Course Organization Introduction to HS-CODES Codesign Motivation Some Issues on Codesign of Embedded System
More informationEITF35: Introduction to Structured VLSI Design
EITF35: Introduction to Structured VLSI Design Part 1.1.2: Introduction (Digital VLSI Systems) Liang Liu liang.liu@eit.lth.se 1 Outline Why Digital? History & Roadmap Device Technology & Platforms System
More information