View of Methodology 21

Total Page:16

File Type:pdf, Size:1020Kb

View of Methodology 21 KNOWLEDGE-GUIDEDMETHODOLOGYFOR SOFTIPANALYSIS BY BHANUPRATAPSINGH Submitted in partial fulfillment of the requirements For the degree of Doctor of Philosophy Dissertation Advisor: Dr. Christos Papachristou Department of Electrical Engineering and Computer Science CASEWESTERNRESERVEUNIVERSITY January 2015 CASEWESTERNRESERVEUNIVERSITY SCHOOLOFGRADUATESTUDIES we hereby approve the thesis of BHANUPRATAPSINGH candidate for the PH.D. degree. chair of the committee DR.CHRISTOSPAPACHRISTOU DR.FRANCISMERAT DR.DANIELSAAB DR.HONGPINGZHAO DR.FRANCISWOLFF date AUG 2 1 , 2 0 1 4 ∗ We also certify that written approval has been obtained for any propri- etary material contained therein. Dedicated to my family and friends. CONTENTS 1 introduction1 1.1 Motivation and Statement of Problem . 1 1.1.1 Statement of Problem . 6 1.2 Major Contributions of the Research . 7 1.2.1 Expert System Based Approach . 7 1.2.2 Specification Analysis Methodology . 9 1.2.3 RTL Analysis Methodology . 9 1.2.4 Spec and RTL Correspondence . 10 1.3 Thesis Outline . 10 2 background and related work 11 Abstract . 11 2.1 Existing Soft-IP Verification Techniques . 11 2.1.1 Simulation Based Methods . 11 2.1.2 Formal Techniques . 13 2.2 Prior Work . 15 2.2.1 Specification Analysis . 15 2.2.2 Reverse Engineering . 17 2.2.3 IP Quality and RTL Analysis . 19 2.2.4 KB System . 20 3 overview of methodology 21 Abstract . 21 3.1 KB System Overview . 21 3.1.1 Knowledge Base Organization . 24 3.2 Specification KB Overview . 26 3.3 RTL KB Overview . 29 iv contents v 3.4 Confidence and Coverage Metrics . 30 3.5 Introduction to CLIPS and XML . 31 3.5.1 CLIPS Expert System Shell . 31 3.5.2 XML ............................... 32 4 specification knowledge base 36 Abstract . 36 4.1 Spec-KB . 36 4.2 Specification Knowledge Representation Scheme . 37 4.2.1 Specification Ontology . 37 4.2.2 Automating Ontology Generation . 43 4.3 Specification Knowledge Extraction Scheme . 47 4.3.1 Spec-Extractor Tool . 47 4.3.2 Specification Rule-Base . 50 4.3.3 Metrics for Specification Analysis . 53 5 rtl knowledge base 57 Abstract . 57 5.1 RTL-KB . 57 5.2 RTL Knowledge Representation Scheme . 58 5.2.1 RTL-CLIPS . 58 5.2.2 Property Based Model . 59 5.3 RTL Knowledge Extraction . 62 5.3.1 RTL Rule Base . 62 5.3.2 RTL Evaluation in CLIPS . 67 5.3.3 RTL Analysis Example . 68 6 specification and rtl correspondence 70 Abstract . 70 6.1 Back Annotation . 70 6.1.1 Specification Tabular Objects . 71 6.1.2 Specification Drawing Objects . 78 contents vi 6.2 Results: Spec and RTL correspondence . 82 7 conclusion and future work 85 i appendix 87 a processing tabular objects 88 a.1 HTML Register Table and Register Test-bench Generation . 88 b processing drawing objects 102 b.1 Extraction of FSM Specfication from SVG . 102 bibliography 110 LISTOFFIGURES Figure 1 Design completion time compared to the project original schedule [1]........................... 2 Figure 2 Functional Bugs Resulting in Increasing ASIC Respins . 2 Figure 3 Verification effort in a project [1].............. 4 Figure 4 Cost of fixing bug vs Time [2]................ 5 Figure 5 Components of an Expert System [3]............ 8 Figure 6 Simulation Based Verification . 12 Figure 7 Formal verification process . 14 Figure 8 Knowledge Base Generation . 22 Figure 9 Knowledge Base Application for third-Party IP Analysis 23 Figure 10 OMAP4470 application processor from Texas Instruments [4]................................ 24 Figure 11 Marvell ARMADA 510 (88AP510) Application Processor [5]................................ 25 Figure 12 FreeScale i.MX25 Application Processor [6]........ 26 Figure 13 Knowledge Base organization overview . 27 Figure 15 Confidence factor merging using parallel combination formula . 30 Figure 14 Fragment of semantic network for peripheral interface domain . 35 Figure 16 Spec Analysis Flow . 38 Figure 17 Fragment of ontology model for FPU design domain . 40 Figure 18 Tabular representation of IEEE-754 Floating point ontology 42 Figure 19 Overview of Ontology Automation system . 44 vii List of Figures viii Figure 20 Frequency and Location based visualization of words in a FPU Spec . 45 Figure 21 Ontology Construction: Statistics of Generated Sugges- tions [7]............................. 46 Figure 22 Iteration: Saturation Point [7]................ 46 Figure 23 Spec Word classification based on Lexical, Syntactic and Spatial Attributes . 49 Figure 24 Fragment of ARM2 design composition knowledge . 52 Figure 25 RTL Analysis Overview . 58 Figure 26 Property based model of a FIFO design . 61 Figure 27 Fragment of pdg for floating point add function . 66 Figure 28 Html annotation report . 69 Figure 29 Back Annotation overview . 71 Figure 30 Proposed IO Description Template . 73 Figure 31 Block diagram generated for ARM2 Core using GraphViz package . 74 Figure 32 Register Specification Template . 76 Figure 33 HTML view of register specification . 77 Figure 34 Register Verification Test bench . 78 Figure 35 FSM diagram drawn in Dia Tool [8]............. 79 Figure 36 FSM specification extraction from SVG diagram . 80 Figure 37 Example Timing Diagram . 81 Figure 38 Corresponding fragment of TDML XML . 81 Figure 39 Wishbone Interface timing diagram drawn using TDML tool and verification of generated assertions in simulation 82 LISTOFTABLES Table 1 Fragment of Signal Description table from an Opencores FPU Spec . 33 Table 2 Spec word clusters . 56 Table 3 Specification analysis results using Spec rule base . 56 Table 4 Examples of HDL represented in Knowledge Base . 59 Table 5 Example - Template RTL code fragments and their an- notations . 60 Table 6 Test results for six ITC99 Benchmarks [9]. State names and CLIPS rules fired per machine cycle. 68 Table 7 RTL Analysis results using RTL rule-base . 69 Table 8 Spec Analysis Results . 84 Table 9 RTL Analysis and Back Annotation Results . 84 ix ACRONYMS SoC System on Chip NEFCIS Neuro-fuzzy Concept based Inference System for Specification Mining UAG Undirected Acyclic Graph DAG Directed Acyclic Graph CRV Constrained Random Verification FPU Floating Point Unit CLIPS C Language Integrated Production System HDL Hardware Description Language HVL Hardware Verification Language RTL Register Transfer Level XML Extensible Markup Language DTD Document Type Definition NLP Natural Language Processing KB Knowledge Base TDML Timing Diagram Markup Language UVM Universal Verification Methodology x ACKNOWLEDGEMENTS First and foremost, I would like to thank my advisor Dr. Christos Papachris- tou for accepting me as his PhD student and guiding me in my research. He has always inspired me with his optimism and his creative ideas. The pro- posed methodology in this work has been conceptualized by him. His ability to quickly understand an issue and ask relevant questions around it has several times helped me to think afresh. He always encouraged me and appreciated my efforts, which kept me motivated during project implementation. Secondly, I would like to thank Prof. Frank Merat, Prof. Daniel Saab and Prof. Hong Ping Zhao, and Dr. Francis Wolff for serving on my dissertation commit- tee, for their time and valuable comments. Especially, I would like to thank Dr. Francis Wolff, who has been closely involved in my research throughout my graduate career. My research at Case would not have been possible without the help and support of my teammates, with whom I have collaborated in my research. I am thankful to Dr. Lawrence Leinweber, Dr. Yuriy Shivanosiki, and Arun- prasath Shankar for numerous interesting project discussions. I would also like to thank my friends at CWRU especially Mike Labarbera, Aswin Krishna, Maryam Hashemian and Moussa Souare, because of whom I had wonderful time at Case. I would like to thank Rockwell Automation (Mayfield Heights) for giving me an internship opportunity and to my manager Dan Weyer, who was very sup- portive. I am also thankful to Steve Clay, with whom I interacted at Rockwell and who has increased my knowledge in IC design. I would like to thank my family for all their love and support. My parents have instilled in me the value of hardwork and patience. Their unconditional xi acknowledgements xii love for me, and pride in me keeps me motivated in life. My brothers Vishav and Rishabh, who have always been my support system. I would like to ex- press my deepest gratitude to my wife and my friend, Smriti, for her support and understanding during the past few years. Her support and encouragement made this dissertation possible. Finally, I acknowledge my daughter, Advika, and my son, Aaditya, who had to adjust with their father’s busy schedule and are my bundles of joy. knowledge-guided methodology for soft ip analysis by bhanu pratap singh ABSTRACT Demand for increasing functionality in handheld devices is driving integration of more functions (IPs) into System-on-Chip (SoC) designs. The development of such complex designs poses new challenges to the semiconductor industry in terms of productivity gaps and risks meeting quality and time-to-market goals. In SoC design, these goals are critical as rapid advances in process and product technology have shortened product life cycles with a limited feasible marketing window. SoC design teams have been employing IP reuse method- ology to increase their productivity and often integrate third party IPs into their systems. Verification has developed into a major bottleneck in SoC design and has now reached crisis proportions. Verification involves building a complex test environment and the productivity gap affecting verification means that thor- ough verification of third party IPs is generally not done. In practice, there are risks involved in using a third party IP as bugs may creep in due to versioning issues, poor documentation, and mismatches between specification and RTL. As a result of this, third party IP specification and RTL must be carefully eval- uated. The current state-of-the-art lacks a methodology that captures the exper- tise of a design expert by providing knowledge representation, extraction and reuse schemes.
Recommended publications
  • Decimal Layouts for IEEE 754 Strawman3
    IEEE 754-2008 ECMA TC39/TG1 – 25 September 2008 Mike Cowlishaw IBM Fellow Overview • Summary of the new standard • Binary and decimal specifics • Support in hardware, standards, etc. • Questions? 2 Copyright © IBM Corporation 2008. All rights reserved. IEEE 754 revision • Started in December 2000 – 7.7 years – 5.8 years in committee (92 participants + e-mail) – 1.9 years in ballot (101 voters, 8 ballots, 1200+ comments) • Removes many ambiguities from 754-1985 • Incorporates IEEE 854 (radix-independent) • Recommends or requires more operations (functions) and more language support 3 Formats • Separates sets of floating-point numbers (and the arithmetic on them) from their encodings (‘interchange formats’) • Includes the 754-1985 basic formats: – binary32, 24 bits (‘single’) – binary64, 53 bits (‘double’) • Adds three new basic formats: – binary128, 113 bits (‘quad’) – decimal64, 16-digit (‘double’) – decimal128, 34-digit (‘quad’) 4 Why decimal? A web page… • Parking at Manchester airport… • £4.20 per day … … for 10 days … … calculated on-page using ECMAScript Answer shown: 5 Why decimal? A web page… • Parking at Manchester airport… • £4.20 per day … … for 10 days … … calculated on-page using ECMAScript Answer shown: £41.99 (Programmer must have truncated to two places.) 6 Where it costs real money… • Add 5% sales tax to a $ 0.70 telephone call, rounded to the nearest cent • 1.05 x 0.70 using binary double is exactly 0.734999999999999986677323704 49812151491641998291015625 (should have been 0.735) • rounds to $ 0.73, instead of $ 0.74
    [Show full text]
  • Floating Point Representation (Unsigned) Fixed-Point Representation
    Floating point representation (Unsigned) Fixed-point representation The numbers are stored with a fixed number of bits for the integer part and a fixed number of bits for the fractional part. Suppose we have 8 bits to store a real number, where 5 bits store the integer part and 3 bits store the fractional part: 1 0 1 1 1.0 1 1 $ 2& 2% 2$ 2# 2" 2'# 2'$ 2'% Smallest number: Largest number: (Unsigned) Fixed-point representation Suppose we have 64 bits to store a real number, where 32 bits store the integer part and 32 bits store the fractional part: "# "% + /+ !"# … !%!#!&. (#(%(" … ("% % = * !+ 2 + * (+ 2 +,& +,# "# "& & /# % /"% = !"#× 2 +!"&× 2 + ⋯ + !&× 2 +(#× 2 +(%× 2 + ⋯ + ("%× 2 0 ∞ (Unsigned) Fixed-point representation Range: difference between the largest and smallest numbers possible. More bits for the integer part ⟶ increase range Precision: smallest possible difference between any two numbers More bits for the fractional part ⟶ increase precision "#"$"%. '$'#'( # OR "$"%. '$'#'(') # Wherever we put the binary point, there is a trade-off between the amount of range and precision. It can be hard to decide how much you need of each! Scientific Notation In scientific notation, a number can be expressed in the form ! = ± $ × 10( where $ is a coefficient in the range 1 ≤ $ < 10 and + is the exponent. 1165.7 = 0.0004728 = Floating-point numbers A floating-point number can represent numbers of different order of magnitude (very large and very small) with the same number of fixed bits. In general, in the binary system, a floating number can be expressed as ! = ± $ × 2' $ is the significand, normally a fractional value in the range [1.0,2.0) .
    [Show full text]
  • IEEE Standard 754 for Binary Floating-Point Arithmetic
    Work in Progress: Lecture Notes on the Status of IEEE 754 October 1, 1997 3:36 am Lecture Notes on the Status of IEEE Standard 754 for Binary Floating-Point Arithmetic Prof. W. Kahan Elect. Eng. & Computer Science University of California Berkeley CA 94720-1776 Introduction: Twenty years ago anarchy threatened floating-point arithmetic. Over a dozen commercially significant arithmetics boasted diverse wordsizes, precisions, rounding procedures and over/underflow behaviors, and more were in the works. “Portable” software intended to reconcile that numerical diversity had become unbearably costly to develop. Thirteen years ago, when IEEE 754 became official, major microprocessor manufacturers had already adopted it despite the challenge it posed to implementors. With unprecedented altruism, hardware designers had risen to its challenge in the belief that they would ease and encourage a vast burgeoning of numerical software. They did succeed to a considerable extent. Anyway, rounding anomalies that preoccupied all of us in the 1970s afflict only CRAY X-MPs — J90s now. Now atrophy threatens features of IEEE 754 caught in a vicious circle: Those features lack support in programming languages and compilers, so those features are mishandled and/or practically unusable, so those features are little known and less in demand, and so those features lack support in programming languages and compilers. To help break that circle, those features are discussed in these notes under the following headings: Representable Numbers, Normal and Subnormal, Infinite
    [Show full text]
  • IEEE 754 Format (From Last Time)
    IEEE 754 Format (from last time) ● Single precision format S Exponent Significand 1 8 23 The exponent is represented in bias 127 notation. Why? ● Example: 52.25 = 00110100.010000002 5 Normalize: 001.10100010000002 x 2 (127+5) 0 10000100 10100010000000000000000 0100 0010 0101 0001 0000 0000 0000 0000 52.25 = 0x42510000 08/29/2017 Comp 411 - Fall 2018 1 IEEE 754 Limits and Features ● SIngle precision limitations ○ A little more than 7 decimal digits of precision ○ Minimum positive normalized value: ~1.18 x 10-38 ○ Maximum positive normalized value: ~3.4 x 1038 ● Inaccuracies become evident after multiple single precision operations ● Double precision format 08/29/2017 Comp 411 - Fall 2018 2 IEEE 754 Special Numbers ● Zero - ±0 A floating point number is considered zero when its exponent and significand are both zero. This is an exception to our “hidden 1” normalization trick. There are also a positive and negative zeros. S 000 0000 0 000 0000 0000 0000 0000 0000 ● Infinity - ±∞ A floating point number with a maximum exponent (all ones) is considered infinity which can also be positive or negative. S 111 1111 1 000 0000 0000 0000 0000 0000 ● Not a Number - NaN for ±0/±0, ±∞/±∞, log(-42), etc. S 111 1111 1 non-zero 08/29/2017 Comp 411 - Fall 2018 3 A Quick Wake-up exercise What decimal value is represented by 0x3f800000, when interpreted as an IEEE 754 single precision floating point number? 08/29/2017 Comp 411 - Fall 2018 4 Bits You can See The smallest element of a visual display is called a “pixel”.
    [Show full text]
  • Automatic Hardware Generation for Reconfigurable Architectures
    Razvan˘ Nane Automatic Hardware Generation for Reconfigurable Architectures Automatic Hardware Generation for Reconfigurable Architectures PROEFSCHRIFT ter verkrijging van de graad van doctor aan de Technische Universiteit Delft, op gezag van de Rector Magnificus prof. ir. K.C.A.M Luyben, voorzitter van het College voor Promoties, in het openbaar te verdedigen op donderdag 17 april 2014 om 10:00 uur door Razvan˘ NANE Master of Science in Computer Engineering Delft University of Technology geboren te Boekarest, Roemenie¨ Dit proefschrift is goedgekeurd door de promotor: Prof. dr. K.L.M. Bertels Samenstelling promotiecommissie: Rector Magnificus voorzitter Prof. dr. K.L.M. Bertels Technische Universiteit Delft, promotor Prof. dr. E. Visser Technische Universiteit Delft Prof. dr. W.A. Najjar University of California Riverside Prof. dr.-ing. M. Hubner¨ Ruhr-Universitat¨ Bochum Dr. H.P. Hofstee IBM Austin Research Laboratory Dr. ir. A.C.J. Kienhuis Universiteit van Leiden Dr. ir. J.S.S.M Wong Technische Universiteit Delft Prof. dr. ir. Geert Leus Technische Universiteit Delft, reservelid Automatic Hardware Generation for Reconfigurable Architectures Dissertation at Delft University of Technology Copyright c 2014 by R. Nane All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, electronic, mechanical, photocopying, recording, or otherwise, without permission of the author. ISBN 978-94-6186-271-6 Printed by CPI Koninklijke Wohrmann,¨ Zutphen, The Netherlands To my family Automatic Hardware Generation for Reconfigurable Architectures Razvan˘ Nane Abstract ECONFIGURABLE Architectures (RA) have been gaining popularity rapidly in the last decade for two reasons.
    [Show full text]
  • Desperately Needed Remedies for the Undebuggability of Large Floating-Point Computations in Science and Engineering
    File: Boulder Desperately Needed Remedies … Version dated August 15, 2011 6:47 am Desperately Needed Remedies for the Undebuggability of Large Floating-Point Computations in Science and Engineering W. Kahan, Prof. Emeritus Math. Dept., and Elect. Eng. & Computer Sci. Dept. Univ. of Calif. @ Berkeley Prepared for the IFIP / SIAM / NIST Working Conference on Uncertainty Quantification in Scientific Computing 1 - 4 Aug. 2011, Boulder CO. Augmented for the Annual Conference of the Heilbronn Institute for Mathematical Research 8 - 9 Sept. 2011, University of Bristol, England. This document is now posted at <www.eecs.berkeley.edu/~wkahan/Boulder.pdf>. Prof. W. Kahan Subject to Revision Page 1/73 File: Boulder Desperately Needed Remedies … Version dated August 15, 2011 6:47 am Contents Abstract and Cautionary Notice Pages 3 - 4 Users need tools to help them investigate evidence of miscomputation 5 - 7 Why Computer Scientists haven’t helped; Accuracy is Not Transitive 8 - 10 Summaries of the Stories So Far, and To Come 11 - 12 Kinds of Evidence of Miscomputation 13 EDSAC’s arccos, Vancouver’s Stock Index, Ranks Too Small, etc. 14 - 18 7090’s Abrupt Stall; CRAYs’ discordant Deflections of an Airframe 19 - 20 Clever and Knowledgeable, but Numerically Naive 21 How Suspicious Results may expose a hitherto Unsuspected Singularity 22 Pejorative Surfaces 23 - 25 The Program’s Pejorative Surface may have an Extra Leaf 26 - 28 Default Quad evaluation, the humane but unlikely Prophylaxis 29 - 33 Two tools to localize roundoff-induced anomalies by rerunning
    [Show full text]
  • Floating Point Converter (ALTFP CONVERT)Megafunction User Guide
    Floating Point Converter (ALTFP_CONVERT) Megafunction User Guide 101 Innovation Drive Software Version: 8.0 San Jose, CA 95134 Document Version: 1.0 www.altera.com Document Date: May 2008 Copyright © 2008 Altera Corporation. All rights reserved. Altera, The Programmable Solutions Company, the stylized Altera logo, specific device des- ignations, and all other words and logos that are identified as trademarks and/or service marks are, unless noted otherwise, the trademarks and service marks of Altera Corporation in the U.S. and other countries. All other product or service names are the property of their respective holders. Al- tera products are protected under numerous U.S. and foreign patents and pending applications, maskwork rights, and copyrights. Altera warrants performance of its semiconductor products to current specifications in accordance with Altera's standard warranty, but reserves the right to make changes to any products and services at any time without notice. Altera assumes no responsibility or liability arising out of the ap- plication or use of any information, product, or service described herein except as expressly agreed to in writing by Altera Corporation. Altera customers are advised to obtain the latest version of device specifications before relying on any published in- formation and before placing orders for products or services. UG-01031-1.0 ii Altera Corporation Floating Point Converter (ALTFP_CONVERT) Megafunction User GuideConfidential—Internal Use Only Contents About this User Guide ............................................................................
    [Show full text]
  • Test Construction for Mathematical Functions
    Test Construction for Mathematical Functions Victor Kuliamin Institute for System Programming Russian Academy of Sciences 109004, B. Kommunistitcheskaya, 25, Moscow, Russia [email protected] Abstract. The article deals with problems of testing implementations of mathematical functions working with floating-point numbers. It consid- ers current standards’ requirements to such implementations and demon- strates that those requirements are not sufficient for correct operation of modern systems using sophisticated mathematical modeling. Correct rounding requirement is suggested to guarantee preservation of all im- portant properties of implemented functions and to support high level of interoperability between different mathematical libraries and modeling software using them. Test construction method is proposed for confor- mance test development for current standards supplemented with correct rounding requirement. The idea of the method is to use three differ- ent sources of test data: floating-point numbers satisfying specific pat- terns, boundaries of intervals of uniform function behavior, and points where correct rounding requires much higher precision than in average. Some practical results obtained by using the method proposed are also presented. 1 Introduction In modern world computers help to visualize and understand behavior of very complex systems. Confirmation of this behavior with the help of real experi- ments is too expensive and often even impossible. To ensure correct results of such modeling we need to have adequate models and correctly working model- ing systems. Constructing adequate models is very interesting problem, which, unfortunately, cannot be considered in this article in detail. The article con- cerns the second part – how to ensure correct operation of modeling systems. Such systems often use very sophisticated and peculiar algorithms, but in most cases they need for work basic mathematical functions implemented in software libraries or in hardware.
    [Show full text]
  • Lossless Compression of Double-Precision Floating-Point Data for Numerical Simulations: Highly Parallelizable Algorithms for GPU Computing
    IEICE TRANS. INF. & SYST., VOL.E95–D, NO.12 DECEMBER 2012 2778 PAPER Special Section on Parallel and Distributed Computing and Networking Lossless Compression of Double-Precision Floating-Point Data for Numerical Simulations: Highly Parallelizable Algorithms for GPU Computing Mamoru OHARA†a) and Takashi YAMAGUCHI†, Members SUMMARY In numerical simulations using massively parallel com- stored; this is especially true for checkpoint data, which is puters like GPGPU (General-Purpose computing on Graphics Processing used only when failures occur. Considering overheads for Units), we often need to transfer computational results from external de- transferring data between the devices and host memories, it vices such as GPUs to the main memory or secondary storage of the host machine. Since size of the computation results is sometimes unacceptably is preferable that the data is shrunk in the devices. For ex- large to hold them, it is desired that the data is compressed and stored. In ample, we can implement compressor circuits for simulation addition, considering overheads for transferring data between the devices data in the same FPGA in which we also implement accel- and host memories, it is preferable that the data is compressed in a part erator circuits. Some techniques for implementing the com- of parallel computation performed on the devices. Traditional compres- sion methods for floating-point numbers do not always show good paral- pressor in FPGAs have been proposed [3], [4]. On the other lelism. In this paper, we propose a new compression method for massively- hand, numerous lossy compression algorithms for graphics parallel simulations running on GPUs, in which we combine a few succes- data running on GPUs have been reported, however, there sive floating-point numbers and interleave them to improve compression are only a few ones for simulation data.
    [Show full text]
  • Edition 3 Final Draft Ecmascript Language Specification
    ECMAScript Language Specification Edition 3 13-Oct-99 Edition 3 Final Draft ECMAScript Language Specification 13 October 1999 ECMAScript Language Specification Edition 3 13-Oct-99 Brief History This ECMA Standard is based on several originating technologies, the most well known being JavaScript (Netscape) and JScript (Microsoft). The language was invented by Brendan Eich at Netscape and first appeared in that company’s Navigator 2.0 browser. It has appeared in all subsequent browsers from Netscape and in all browsers from Microsoft starting with Internet Explorer 3.0. The development of this Standard started in November 1996. The first edition of this ECMA Standard was adopted by the ECMA General Assembly of June 1997. That ECMA Standard was submitted to ISO/IEC JTC 1 for adoption under the fast-track procedure, and approved as international standard ISO/IEC 16262, in April 1998. The ECMA General Assembly of June 1998 approved the second edition of ECMA-262 to keep it fully aligned with ISO/IEC 16262. Changes between the first and the second edition are editorial in nature. The current document defines the third edition of the Standard and includes powerful regular expressions, better string handling, new control statements, try/catch exception handling, tighter definition of errors, formatting for numeric output and minor changes in anticipation of forthcoming internationalisation facilities and future language growth. Work on the language is not complete. The technical committee is working on significant enhancements, including mechanisms for scripts to be created and used across the Internet, and tighter coordination with other standards bodies such as groups within the World Wide Web Consortium and the Wireless Application Protocol Forum.
    [Show full text]
  • Vivado Customer Overview with 4 Modules
    Announcing Vivado™ Built from the Ground Up for the Next Decade of ‘All Programmable’ Devices © Copyright 2012 Xilinx Announcing Vivado Design Suite IP & System Centric Next Generation Design Environment For the Next Decade of ‘All Programmable’ Devices Accelerating Integration & Implementation up to 4X Built from the Ground Up for the Next Decade of Programmable Design Page 3 © Copyright 2012 Xilinx Why Now? Programmable Logic Devices ALL Programmable Devices Enables Programmable Enables Programmable ‘Logic’ Systems ‘Integration’ Page 4 © Copyright 2012 Xilinx Bottlenecks are Shifting System Integration Bottlenecks – Design and IP reuse – Integrating algorithmic and RTL level IP – Mixing DSP, embedded, connectivity, logic – Verification of blocks and “systems” Implementation Bottlenecks – Hierarchical chip planning – Multi-domain and multi-die physical optimization – Predictable ‘design’ vs. ‘timing’ closure – Late ECOs and rippling effect of changes Page 5 © Copyright 2012 Xilinx Vivado: Accelerating Productivity up to 4X Accelerating Integration IP & System-centric Vivado Next up to Integration with Fast Generation 4X Verification Design System RTL to Bit-stream with Iterative Approach 1X Fast, Hierarchical and Deterministic Closure Accelerating Automation w/ ECO Implementation 1X up to 4X Page 6 © Copyright 2012 Xilinx Vivado Design Suite Elements Integrated Design Environment Shared Scalable Data Model Data Scalable Shared Accelerating IP & System-centric Integration Integration with Fast Analysis and Debug Verification Fast, Hierarchical
    [Show full text]
  • Floating Point Unit 9 - 1 Chapter Topics
    Floating-Point Unit Introduction This chapter will introduce you to the Floating-Point Unit (FPU) on the LM4F series devices. In the lab we will implement a floating-point sine wave calculator and profile the code to see how many CPU cycles it takes to execute. Agenda Introduction to ARM® Cortex™-M4F and Peripherals Code Composer Studio Introduction to StellarisWare, Initialization and GPIO Interrupts and the Timers ADC12 Hibernation Module USB Memory Floating-Point BoosterPacks and grLib Synchronous Serial Interface UART µDMA What is Floating-Point?... Getting Started With the Stellaris EK-LM4F120XL LaunchPad Workshop- Floating Point Unit 9 - 1 Chapter Topics Chapter Topics Floating-Point Unit .....................................................................................................................................9-1 Chapter Topics .........................................................................................................................................9-2 What is Floating-Point and IEEE-754? ...................................................................................................9-3 Floating-Point Unit ..................................................................................................................................9-4 CMSIS DSP Library Performance ...........................................................................................................9-6 Lab 9: FPU ..............................................................................................................................................9-7
    [Show full text]