11 Pages

Grant_ieee_design_test01

Course: JOURNAL 2001, Fall 2009
School: Berkeley
Rating:
 
 
 
 
 

Word Count: 6242

Document Preview

Design Platform-Based and Software Design Methodology for Embedded Systems Alberto Sangiovanni-Vincentelli University of California, Berkeley Grant Martin Cadence Design Systems Embedded products have become so complex and must be developed so quickly that current design methodologies are no longer adequate. The authors vision for the future of embeddedsystem design involves two essential components: a rigorous...

Register Now

Unformatted Document Excerpt

Coursehero >> California >> Berkeley >> JOURNAL 2001

Course Hero has millions of student submitted documents similar to the one
below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.

Course Hero has millions of student submitted documents similar to the one below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.
Design Platform-Based and Software Design Methodology for Embedded Systems Alberto Sangiovanni-Vincentelli University of California, Berkeley Grant Martin Cadence Design Systems Embedded products have become so complex and must be developed so quickly that current design methodologies are no longer adequate. The authors vision for the future of embeddedsystem design involves two essential components: a rigorous methodology for embedded software development and platform-based design. THE ESSENCE OF embedded-systems design is implementing a specic set of functions while satisfying constraints on characteristics such as performance, cost, emissions, power consumption, and weight. The choice of implementation architecture determines whether designers will implement a function as a hardware component or as software running on a programmable component. In recent years, the functions demanded for embedded systems have grown so numerous and complex that development time is increasingly difcult to predict and control. This complexity, coupled with constantly evolving specications, has forced designers to consider intrinsically exible implementationsthose they can change rapidly. For this reason, and because hardware-manufacturing cycles are more expensive and time-consuming, software- based implementation has become more popular. Processors increased computational power and correspondingly decreased size and cost let designers move increasingly more functionality to software. However, along with this move comes increasing difculty in verifying design correctness. This verication is critical due to safety considerations in several application domains transportation and environment monitoring, for example. In traditional, PC-like software applications, these safety issues typically dont come up. In addition, the software world has paid little attention to hard constraints on softwares reaction speed, memory footprint, and power consumptionall crucial issues for embedded systemsbecause they are relatively unimportant in traditional software development. In embedded-systems design, such hard software characteristics are unavoidable. It is no wonder, then, that there is a crisis in embedded-software design. Along with the pressure on system designers to choose exible implementations, the industry is also witnessing IC manufacturers growing preference for chips that will work for several designs. This lets manufacturers amortize development cost over a large number of units, as discussed in the sidebar, Motivations for platform-based design. This alignment of designers and manufacturers has resulted in the birth of platform-based design,1,2 in which reuse and programmability are key. We believe that addressing the embedded 0740-7475/01/$10.00 2001 IEEE NovemberDecember 2001 23 Roadmaps and Visions Motivations for platform-based design IC technology lets us integrate so many functions onto a single chip that we can indeed implement an environment-to-environment system on a chip. However, we cannot simply view SoCs as an extension of the application-specic IC methodology that has been in vogue for the past 10 years. The economics of SoCs in the ASIC framework are not appealing. The cost of designing and manufacturing SoCs is too high, given the relatively few parts typical in ASIC production. Our platform-based design methodology is an outgrowth of the SoC debate. The overall goal of electronic system design is to balance production costs with development time and cost in view of performance and functionality constraints. Manufacturing cost depends mainly on a products hardware components. Minimizing chip size to reduce production cost implies tailoring the hardware to product functionality. The cost of a state-of-the-art fabrication facility continues to rise. A new 300-mm, 0.13- or 0.10-micron, high-volume manufacturing plant today costs about $3.5 billion.1 The ITRS predicts that although manufacturing complex SoC designs will be feasibleat least down to 50-nm minimum feature sizesproducing practical masks and exposure systems will likely be a major bottleneck for such chips development. That is, the cost of masks will grow even more rapidly for these ne geometries. A single mask set and probe card for a next-generation chip costs more...
Find millions of documents on Course Hero - Study Guides, Lecture Notes, Reference Materials, Practice Exams and more. Course Hero has millions of course specific materials providing students with the best way to expand their education.

Below is a small sample set of documents:

Berkeley - PAPER - 1998
A Case Study in Embedded System Design: an Engine Control UnitTullio Cuatto, Politecnico di Torino, Italy Claudio Passerone, Politecnico di Torino Cadence Europeans Labs, Italy Luciano Lavagno, Politecnico di Torino Cadence Europeans Labs, Italy Att
Berkeley - JOURNAL - 2001
1016IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOL. 20, NO. 8, AUGUST 2001Synchronous Approach to the Functional Equivalence of Embedded System ImplementationsHarry Hsieh, Member, IEEE, Felice Balarin, Member,
UCF - SCEC - 1050
S.L.A.N.T Teacher: Good Morning! I want to introduce you to Mrs. Slant. She is going to teach you how to be a good listener. Why dont you introduce yourselves? Jonathan: Hi, my name is Jonathan. Tiffany: Im Tiffany Brittany: Hi, Im Brittany. Aunt Sal
UCF - EEL - 5937
1A Stream Enabled Routing (SER) Protocol for Sensor NetworksWeilian Su and Ian F. AkyildizBroadband and Wireless Networking Laboratory School of Electrical and Computer Engineering Georgia Institute of Technology Atlanta, GA 30332 Tel: (404)-894-
UCF - EEL - 5937
Sift: A MAC Protocol for Event-Driven Wireless Sensor NetworksKyle Jamieson, Hari Balakrishnan MIT Laboratory for Computer Science Massachusetts Institute of Technology Cambridge, MA 02139 jamieson, hari @lcs.mit.edu Y. C. Tay Department of Mathe
Berkeley - BIO - 1
REAR of 14 5 DWINE LLE4 3 5 2 5 4 3 52Sect. 05Sect. 0311 1010 9Sect. 11FRONT of 145 DWIN ELLESit every third seat (1,4, 7,10, etc.) (i.e. 2 empty seats between each student).
Berkeley - BIO - 1
BIO EXAM #2, Mon. August 6th 12:30 P.M.Know your SID #, your section #, GSI's name and exam location. You will have 80 minutes. No calculator is permitted. Fill in the Scantron blank on the bottom for practice. BRING: Several sharp #2 pencils & a go
Berkeley - BIO - 1
BIO EXAM #1, Mon. 7/16 12:30 P.M.Know your SID #, your section #, GSI's name and exam location. You will have 80 minutes. No calculator is permitted. Fill in the Scantron blank on the bottom for practice. BRING: Several sharp #2 pencils & a good era
Berkeley - BIO - 1
Back of 100 GPBR14 R13 R12 R11 R10 R9 R8 R7 R6 R5 R4 R3 R2 10 seats 3 seatsSection 18 Last 4 rows (R14 - R11)3 seatsSection 15 Middle 5 rows (R10 R6)Section 08 Front 5 rows (R1 - R5)3 seats3 seatsR18 seatsFront of 100 GPBSit every
Berkeley - BIO - 1
BIO EXAM, Wed. April 9th, 8:00 A.M.Bring your SID. Know your SID #, your discussion section #, your discussion GSI's name and exam location. The exam is during lecture time. You will have 50 minutes. Your exam room is assigned based upon your DISCUS
UCF - TAX - 6845
TAX 6845 Exam 1 September 30, 2008 (Dr. Kelliher)Name:_ Points available Points earnedPart 1: Discussion question15Part 2: Problem20Part 3: Discussion question10Part 4: Discussion question10Part 5: Problem20Part 6: Favorable
UCF - TAX - 6845
Student ID last 4 1969 9300 8955 1444 9953 0453 9105 5762 3460 3786 8634 5090 2450 7360 6596 3571 9676 8019 0835 8413 2630 3793 0884 1656 0431 0822 8939 0673 9667 1340 3331 5094 5788 3004 5533 1619 0862 71871 18.0 19.0 17.0 18.0 18.0 18.0 18.0 19.5
UCF - TAX - 6845
TAX 6845 Exam 2 November 4, 2008 (Dr. Kelliher) Name: Points available Part 1: Problem & short answer 10 Points earnedPart 2: Problem15Part 3: Discussion question15Part 4: Problem & short answer15Part 5: Problem20Part 6: True/False
UCF - TAX - 6845
TAX 6845 Exam 3 December 9, 2008 Name:Points available Part 1: Problem/short answer 16Points earnedPart 2: Discussion question16Part 3: Short answer12Part 4: Discussion question16Part 5: Discussion question16Part 6: True/False
UCF - TAX - 6845
TAX 6845 - Fall 2008 Grading scale if you do not take the final Points earned Grade greater than or equal to 323 A 313-322.9 B+ 288-312.9 B 280-287.9 C+ less than 280 CNote: If you do not take the final exam you are evaluated on 360 total points. Ex
UCF - CECCHETTI - 2
EconomicsofFinancialIntermediation: TheBigQuestions 1. Whatarefinancialintermediariesandwhat dotheydo?Chapter11TheEconomicsofFinancial Intermediation 2. Whatinformationproblemsexistinfinancial 2 What information problems exist in financial relatio
UCF - TAX - 6065
University of Central Florida Kenneth G. Dixon School of Accounting TAX 6065 Tax Research Spring 2009 INSTRUCTOR: Donna Bobek Schmitt, Ph.D., CPA OFFICE LOCATION: BA 445 OFFICE PHONE: 407-823-3082 OFFICE FAX: 407-823-3881 E-MAIL: Donna.Bobek@bus.ucf.
Berkeley - PMB - 113
Class collection PMB113 California mushrooms F2007 Species: date of collection: Location (include county): lat: Habitat: Key characters used to confirm species (or genus) collected by: Identified by: Long:Class collection PMB113 California mu
Berkeley - CS - 150
Review EECS 150 - Components and Design Techniques for Digital Systems Lec 10 Logic Synthesis 9-30-04Electrical Engineering and Computer Sciences University of California, Berkeley http:/www.eecs.berkeley.edu/~culler http:/www-inst.eecs.berkeley.ed
Berkeley - CS - 150
2IntroductionIntroductionComputer hardware, in its short 50-year history, has experienced the most dramatic improvement in capabilities and costs ever experienced by humankind. Computing devices are now ubiquitous in our daily lives. They are no
Berkeley - CS - 2
2IntroductionIntroductionComputer hardware, in its short 50-year history, has experienced the most dramatic improvement in capabilities and costs ever experienced by humankind. Computing devices are now ubiquitous in our daily lives. They are no
Berkeley - CS - 150
Verilog Synthesis Synthesis vs. Compilation Descriptions mapped to hardware Verilog design patterns for best synthesisLogic Synthesis Verilog and VHDL started out as simulation languages, but soon programs were written to automatically convert
Berkeley - CS - 150
aProfessional Extended-10 Video Encoder with 54 MHz Oversampling ADV7194*APPLICATIONS Professional DVD Playback Systems PC Video/Multimedia Playback Systems Progressive Scan Playback Systems Professional Studio Equipment GENERAL DESCRIPTIONFEAT
Berkeley - CS - 150
EECS150 - Digital Design Lecture 11 - Shifters & CountersFebruary 24, 2003 John WawrzynekSpring 2005EECS150 - Lec11-countersPage 1Register Summary All registers (this semester) based on Flip-flops:q3 Dreset d3q2 D Q D QS Rq1 D Qq0
Berkeley - CS - 150
University of California at Berkeley College of Engineering Department of Electrical Engineering and Computer Science EECS 150 Spring 2007 R. H. KatzProblem Set # 7 (Assigned 6 March, Due 16 March)In this assignment, you are to implement the datap
Berkeley - CS - 150
EECS150 - Digital Design Lecture 12 Project DescriptionMarch 1, 2005 John WawrzynekSpring 2005EECS150 lec12-projectPage 1Final Project: Streaming-Audio ReceiverAudio Serverstreamsnetworksong tt e il ar i t ts Audio streams (musi
Berkeley - EE - 128
University of California College of Engineering Department of Electrical Engineering and Computer SciencesEECS128: Feedback Control Systems Lab Fall 2001, HsuLab 4 Phase Shift OscillatorA phase-shift oscillator is shown in the following figure. I
Berkeley - EE - 128
University of California at Berkeley Department of Electrical Engineering and Computer SciencesFall 2001 EECS128: Feedback Control Systems Lab, Prof HsuLab 3: Phase-Locked LoopThe Phase-Locked Loop (PLL) circuit is widely used in communication an
Berkeley - EE - 128
UC BerkeleyEE128Homework #3Due on 10/7/05(1) Textbook problem 4.18 (2) Use Simulink to show that, with a K value within the range found in Problem 4.18 part (b) (use a value that is near the middle point of the range), the system is capable of
Berkeley - EE - 128
University of California Department of Electrical Engineering and Computer SciencesEE128, Fall 2005, Prof. Hsu modified by A. AswaniLab 2: Simple Feedback CircuitPrelab: Read through the lab manual below and, in your own words, summarize the lab
Berkeley - EE - 128
Lab 1: Simulating Control Systems with Simulink and MATLABEE128: Feedback Control Systems Fall, 20051Simulink BasicsSimulink is a graphical tool that allows us to simulate feedback control systems.1.1Placing ComponentsSimulink can often
Berkeley - EE - 128
University of California, Berkeley EE128, Fall 2005 Lab 7 A Microcontroller Based Position/Speed ControllerIntroduction In this lab, we will develop and evaluate a microcontroller based position/speed control system. The system consists of a Atmel
Berkeley - EE - 128
UC BerkeleyEE128Homework #2Due on 9/30/05(1) Textbook problem 3.39 (c) (2) Textbook problem 3.40 (b), (e) (3) Textbook problem 3.42. (4) Determine the value of kp and kd so that the systems step response has 5% overshoot and the DC gain from D
Berkeley - EE - 128
UC Berkeley Due on Friday 9/23/05 8AM.EE128Homework #1Consider the following feedback system where u is the input and y is the output. (1) Let A=1. Sketchy the y vs. u graph and the y vs. d graph. The y-axis in your graph must cover the interva
Berkeley - EE - 128
UC BerkeleyEE128Homework #8Due on 12/02/05(1) Textbook problem 8.1 (2) Textbook problem 8.2 (3) In a certain micro-controller based system, you are to develop a program that generates a 60Hz sinusoidal waveform. Assume the micro-controller sys
Berkeley - EE - 128
Berkeley - EE - 128
2N3906Small Signal Transistor (PNP)TO-226AA (TO-92)0.181 (4.6) min. 0.492 (12.5) 0.181 (4.6) 0.142 (3.6)uct d Pro NewFeatures PNP Silicon Epitaxial Planar Transistor for switching and amplifier applications. As complementary type, the NPN tr
Berkeley - CS - 186
Relational Query Languages Relational AlgebraR & G, Chapter 4 By relieving the brain of all unnecessary work, a good notation sets it free to concentrate on more advanced problems, and, in effect, increases the mental power of the race. - Alfred Nor
Berkeley - CS - 186
Review SQL: The Query Language Part 1R &G - Chapter 5 Relational Algebra (Operational Semantics) Given a query, how to mix and match the relational algebra operators to answer it Used for query optimization Relational Calculus (Declarative Seman
Berkeley - CS - 61
inst.eecs.berkeley.edu/~cs61c/su05CS61C : Machine StructuresLecture #12: CALLCALL Overview Interpretation vs Translation Translating C Programs Compiler Assembler Linker Loader An Example 2005-07-11 Andy CarleCS 61C L12 CALL (1) A Carle
Berkeley - CS - 61
inst.eecs.berkeley.edu/~cs61c/su06CS61C : Machine StructuresLecture #16 DatapathAnatomy: 5 components of any ComputerPersonal ComputerComputer Processor Control (brain) Datapath (brawn) Memory (where programs, data live when running) Devices
Berkeley - CS - 61
inst.eecs.berkeley.edu/~cs61cCS61C : Machine StructuresLecture #42 Parallel Computing 2005-05-09Andy Carle cs61c ta@inst The California legislature is currently working on a bill to ban remote hunting via the internet after the incorporation of
Berkeley - CS - 61
inst.eecs.berkeley.edu/~cs61cCS61C : Machine Structuresaka Compiling, Assembling, Linking, Loading (CALL)Lecture 19 Running a Program IILink Editor/Linker (1/3) Input: Object Code, information tables (e.g., foo.o for MIPS) Output: Executab
Berkeley - CS - 61
inst.eecs.berkeley.edu/~cs61cCS61C : Machine StructuresReview All declarations go at the beginning of each function except if you use C99. Only 0 and NULL evaluate to FALSE. All data is in memory. Each memory location has an address to use to
Berkeley - CS - 61
UC Berkeley CS61C : Machine StructuresLecture 19 Running a Program II aka Compiling, Assembling, Linking, Loading 2007-03-02Hi to Carlos Restrepo from Houston, TX (thanks to UC Berkeley for this!)inst.eecs.berkeley.edu/~cs61cReview C program:
Berkeley - CS - 61
UC Berkeley CS61C : Machine StructuresLecture 25 CPU Design: Designing a Single-cycle CPU 2007-03-16UC Regents approve 7% student fee increase!inst.eecs.berkeley.edu/~cs61cLecturer SOE Dan Garcia www.cs.berkeley.edu/~ddgarcia Google Summer of C
Berkeley - CS - 162
Review: Want Standard Interfaces to DevicesCS162 Operating Systems and Systems Programming Lecture 17 Disk Management and File SystemsOctober 29, 2007 Prof. John Kubiatowicz http:/inst.eecs.berkeley.edu/~cs162 Block Devices: e.g. disk drives, ta
Berkeley - CS - 162
Review: Want Standard Interfaces to DevicesCS162 Operating Systems and Systems Programming Lecture 17 Disk Management and File SystemsMarch 22, 2006 Prof. Anthony D. Joseph http:/inst.eecs.berkeley.edu/~cs162 Block Devices: e.g. disk drives, tap
Berkeley - CS - 162
Review: TestingCS162 Operating Systems and Systems Programming Lecture 25 Protection and Security in Distributed SystemsNovember 27, 2006 Prof. John Kubiatowicz http:/inst.eecs.berkeley.edu/~cs162 Testing Goals Testing Frameworks: Reveal fau
Berkeley - CS - 162
Review: A Little Queuing Theory: Some ResultsCS162 Operating Systems and Systems Programming Lecture 19 File Systems continued Distributed SystemsNovember 6, 2006 Prof. John Kubiatowicz http:/inst.eecs.berkeley.edu/~cs162 Assumptions: System in
Berkeley - CS - 162
Review: Memory Hierarchy of a Modern Computer SystemCS162 Operating Systems and Systems Programming Lecture 14 Caching and Demand PagingOctober 18, 2006 Prof. John Kubiatowicz http:/inst.eecs.berkeley.edu/~cs162 Take advantage of the principle o
Berkeley - CS - 162
Review: Hierarchical Networking (The Internet)CS162 Operating Systems and Systems Programming Lecture 22 Networking IINovember 15, 2006 Prof. John Kubiatowicz http:/inst.eecs.berkeley.edu/~cs162 How can we build a network with millions of hosts?
Berkeley - CS - 162
Review: Distributed ApplicationsCS162 Operating Systems and Systems Programming Lecture 24 Testing Methodologies/ Distributed File SystemsNovember 22, 2006 Prof. John Kubiatowicz http:/inst.eecs.berkeley.edu/~cs162Receive Message Abstraction:
Berkeley - E - 131
Economics 131 Section Notes GSI: David AlbouyNash Equilibrium, Pareto Optimality and Public Goods with Two Agents1 Nash EquilibriumConsider the case where the case with N = 2 agents, indexed by i = 1, 2. Most of what we consider here is generali
Berkeley - E - 100
Economic OutputAgenda Economic OutputDefining GDP Measuring Real GDP The Expenditure Side The Income SideEconomic Output Gross Domestic Product (GDP)The official measure of a countrys economic output.Why We Care about GDP1 2GDP: Definit
Berkeley - I - 202
4. Concepts and Categoriesfile:/C:/Documents%20and%20Settings/glushko/My%20Documents/L.4. Concepts and CategoriesIS 202 - 8 September 2005Copyright 2005 Robert J. GlushkoPlan for IO & IR Lecture #4The Vocabulary Problem (Furnas et al paper)
Berkeley - I - 202
17. Multi-enterprise Information Organization and Managementfile:/C:/Documents%20and%20Settings/glushko/My%20Documents/L.17. Multi-enterprise Information Organization and ManagementIS 202 - 25 October 2005Copyright 2005 Robert J. GlushkoPlan
Berkeley - I - 202
IS 202 FINAL EXAM13 December 2005 Professor GlushkoHere are some good answers for the final exam, included here with permission from the 202 students who wrote them. Some of the questions were more subjective than others and so Ive included more th
Berkeley - I - 202
29. Course Review (1)file:/C:/Documents%20and%20Settings/glushko/My%20Documents/L.29. Course ReviewIS 202 - 7 December 2006 Bob Glushko1 of 6912/7/2006 7:57 AM29. Course Review (1)file:/C:/Documents%20and%20Settings/glushko/My%20Document
Berkeley - I - 202
17. Enterprise Information Management [2] (35)file:/C:/Documents%20and%20Settings/glushko/My%20Documents/L.17. Enterprise Information Management [2]IS 202 - 24 October 2006 Bob Glushko1 of 3510/21/2006 9:12 AM17. Enterprise Information Ma
UCF - EEL - 3657