DOCSLIB.ORG

Cyberworkbench® High-Level Synthesis and Verification By

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Cyberworkbench® High-Level Synthesis and Verification By CyberWorkBench® High-Level Synthesis and Verification by: SystemC ANSI-C High-Level Synthesis and Verification CyberWorkBench® enables higher design efficiency, low power Source Code Debugger and high performance of the chip by allowing designers to Behavioral Synthesizer implement hardware at the algorithmic level. This “All-in-C” Property Checker Behavioral Simulator high-level synthesis and verification tool set for ASIC and FPGAs Library Characterizer Cycle Level Simulator C-RTL (Xilinx/Altera) reduces the development time and cost Equivalence Prover QoR Analyzer Testbench Generator significantly. Formal Verification High-Level Synthesis Simulation Designers can describe hardware at higher abstraction level using SystemC and ANSI-C and using CyberWorkBench they can generate highly optimized RTL for their ASIC and FPGAs RTL (Xilinx/Altera) chip. Automatic pipelining, power optimization and powerful parallelism extraction allows designers to ASIC FPGA generate smaller and low power designs compared to manual RTL design approach. “All-in-C” Synthesis Behavioral synthesizer in CyberWorkBench can synthesize any Top Benef its type of application including control dominated circuits and datapath. This best-in-class high-level synthesizer features • Support for both control dominated circuits and automatic pipelining, power optimization and powerful datapath module parallelism extraction to reduce chip area and power through maximum resource sharing. Designers with IP/RTL legacy Dedicated technology support for Altera® & Xilinx® • modules can use top level structural description generator FPGAs and can easily connect to C-based modules. To improve • Best-in-class High-Level Synthesizer that features the design productivity CyberWorkBench also includes automatic pipelining, power optimization, powerful numerous behavioral IPs that can be retargeted to different parallelism extraction implementation technologies or system requirements. • Powerful graphical analysis capabilities for synthesized circuits “All-in-C” Verification • C-based Formal Verification using assertions and CyberWorkBench provides powerful static and dynamic properties verification tools to make debugging of larger designs much easier. Formal verification of the high level source code using C Automatic top level structural description generator • level property checker enables designers to describe to connect C-based modules and legacy RTL modules assertions and properties directly in C source code. Built-in • Powerful SystemC source code debugger automated testbench generator cuts verification time by • Legacy/IP RTL code to SystemC converter for easier allowing re-usage of untimed C stimulus in SystemC and RTL migration to C-based design flow simulation. www.aldec.com R THE DESIGN VERIFICATION COMPANY CyberWorkBench® Features Basic Standard Professional Enterprise Basic Features Version 5.4 5.4 5.4 5.4 Target Device FPGA FPGA FPGA ASIC/FPGA High Level Synthesis Engine(Controller & Datapath) • • • • Behavioral Model Generator • • • • ANSI C/System C Parser • • • • Top Level Description Generator • • • • SystemC and RTL Testbench Generator • • • • Cycle Accurate SystemC Generator • • • • Overow Checker • • • • Verilog or VHDL RTL Generator • • • • Synthesis Result Analyzer • • • • CPU bus interface generator(ARM,AXI,AHB) Option Option Option Option C Level Property Checker Option Option Option Option Cycle Accurate Verilog Generator Option Option Option Option C Source Code Debugger Option Option Option Option Input Description Size Limited Limited No Limit No Limit Run Mode GUI • • • • Command Line • • Target Device ASIC • ALTERA Stratix • • XILINX Virtex • • • ALTERA Arria • • • XILINX Kintex • • • ALTERA Cyclone • • • • XILINX Artix (Spartan) • • License Type User Lock Licence • Node Lock Licence • • • • Floating Licence • • • License Term 1 year • • • • 2 years • • 3 years • • Perpetual • Supported Platforms Windows® 7/Vista/XP/ & Linux RHEL • • • • Advantages Applications Design Cost Reduction: • Digital Circuits: mobile phone, base station, computer, • Description reduction: 5-30%, simulation speed 100X transmission equipment, STB, digital camera, printer, controllers • Design man-month reduction (e.g. 80MM 10MM) • Acceleration of server: Big data (e.g. High Frequency Trading) • Design period for HW (blue) and SW (red) are both reduced • Replacement of real time processing MPU: sensor monitoring and • Higher reliability: fast HW-SW co-verification (cycle accurate) motor control • Controller: Factory Automation, Medical, Automobile Chip Cost Reduction: Smaller Area/Power • HLS can generate smaller and lower power designs compared to manual RTL designs through maximum resource sharing • Area and performance optimization for Altera, Xilinx FPGA Aldec, Inc. Ph +1.702.990.4400 [email protected] R Visit us at www.aldec.com THE DESIGN VERIFICATION COMPANY © 2015 Aldec, Inc. All rights reserved. Aldec is a trademark of Aldec, Inc. All other trademarks or registered trademarks are property of their respective owners. Rev_10.15.
Load more

Recommended publications
  • Co-Emulation of Scan-Chain Based Designs Utilizing SCE-MI Infrastructure
    UNLV Theses, Dissertations, Professional Papers, and Capstones 5-1-2014 Co-Emulation of Scan-Chain Based Designs Utilizing SCE-MI Infrastructure Bill Jason Pidlaoan Tomas University of Nevada, Las Vegas Follow this and additional works at: https://digitalscholarship.unlv.edu/thesesdissertations Part of the Computer Engineering Commons, Computer Sciences Commons, and the Electrical and Computer Engineering Commons Repository Citation Tomas, Bill Jason Pidlaoan, "Co-Emulation of Scan-Chain Based Designs Utilizing SCE-MI Infrastructure" (2014). UNLV Theses, Dissertations, Professional Papers, and Capstones. 2152. http://dx.doi.org/10.34917/5836171 This Thesis is protected by copyright and/or related rights. It has been brought to you by Digital Scholarship@UNLV with permission from the rights-holder(s). You are free to use this Thesis in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you need to obtain permission from the rights-holder(s) directly, unless additional rights are indicated by a Creative Commons license in the record and/ or on the work itself. This Thesis has been accepted for inclusion in UNLV Theses, Dissertations, Professional Papers, and Capstones by an authorized administrator of Digital Scholarship@UNLV. For more information, please contact [email protected]. CO-EMULATION OF SCAN-CHAIN BASED DESIGNS UTILIZING SCE-MI INFRASTRUCTURE By: Bill Jason Pidlaoan Tomas Bachelor‟s Degree of Electrical Engineering Auburn University 2011 A thesis submitted
    [Show full text]
  • Simulating Altera Designs
    1. Simulating Altera Designs May 2013 QII53025-13.0.0 QII53025-13.0.0 This document describes simulating designs that target Altera® devices. Simulation verifies design behavior before device programming. The Quartus® II software supports RTL and gate level design simulation in third-party EDA simulators. Altera Simulation Overview Simulation involves setting up your simulator working environment, compiling simulation model libraries, and running your simulation. Generate simulation files in an automated or custom flow. Refer to Figure 1–1 and Table 1–3. Figure 1–1. Simulation in Quartus II Design Flow Design Entry (HDL, Qsys, DSP Builder) Altera Simulation RTL Simulation Models Quartus II Design Flow Gate-Level Simulation Post-synthesis functional Post-synthesis Analysis & Synthesis simulation netlist functional simulation EDA Fitter Netlist Post-fit functional Post-fit functional (place-and-route) Writer simulation netlist simulation Post-fit timing TimeQuest Timing Analyzer (Optional)Post-fit timing Post-fit simulation netlist (1) timing simulation simulation (3) Device Programmer (1) Timing simulation is not supported for Arria® V, Cyclone® V, Stratix® V, and newer families. You can use the Quartus II NativeLink feature to automatically generate simulation files and scripts. NativeLink can launch your simulator a from within the Quartus II software. Use a custom flow for more control over all aspects of simulation file generation. © 2013 Altera Corporation. All rights reserved. ALTERA, ARRIA, CYCLONE, HARDCOPY, MAX, MEGACORE, NIOS, QUARTUS and STRATIX words and logos are trademarks of Altera Corporation and registered in the U.S. Patent and Trademark Office and in other countries. All other words and logos identified as trademarks or service marks are the property of their respective holders as described at www.altera.com/common/legal.html.
    [Show full text]
  • In the United States District Court for the Eastern District of Texas Tyler Division
    Case 6:06-cv-00480-LED Document 1 Filed 11/08/06 Page 1 of 8 IN THE UNITED STATES DISTRICT COURT FOR THE EASTERN DISTRICT OF TEXAS TYLER DIVISION NARPAT BHANDARI § § Plaintiff § § v. § Case No. 6:06-cv-480 § CADENCE DESIGN SYSTEMS, INC.; § MAGMA DESIGN AUTOMATION, § INC.; DYNALITH SYSTEMS, INC.; § JURY TRIAL DEMANDED ALTERA CORP.; MENTOR GRAPHICS § CORP.; AND ALDEC, INC. § § Defendants § § § § § PLAINTIFF’S ORIGINAL COMPLAINT Plaintiff, Narpat Bhandari (“Bhandari”), files this Original Complaint against Defendants, Cadence Design Systems, Inc. (“Cadence”), Magma Design Automation, Inc. (“Magma”), Dynalith Systems, Inc. (“Dynalith”), Altera Corp. (“Altera”), Mentor Graphics Corp. (“Mentor”), and Aldec, Inc. (“Aldec”) and alleges as follows: THE PARTIES 1. Bhandari is an individual who resides at 14530 Deer Park Court, Los Gatos, CA 95032. 2. Cadence, on information and belief, is a corporation organized under the laws of the State of Delaware. Cadence is doing business in Texas, and, on information and belief, has a principal place of business at 2655 Seely Ave, Building 5, San Jose, CA 95134-1931. Case 6:06-cv-00480-LED Document 1 Filed 11/08/06 Page 2 of 8 Cadence may be served with process by serving its registered agent, CT Corp System at 350 N. St. Paul Street, Dallas, TX 75201. 3. Magma, on information and belief, is a corporation organized under the laws of the State of Delaware. Magma is doing business in Texas, and, on information and belief, has a principal place of business at 5460 Bayfront Plaza, Santa Clara, CA 95054. Magma may be served with process by serving its registered agent, Corporation Service Company, d/b/a CSC-Lawyers Incorporating Service Company at 701 Brazos Street Suite 1050, Austin, TX 78701.
    [Show full text]
  • Quartus Prime Standard Edition Handbook Volume 3: Verification
    Quartus Prime Standard Edition Handbook Volume 3: Verification Subscribe QPS5V3 101 Innovation Drive 2015.11.02 San Jose, CA 95134 Send Feedback www.altera.com Simulating Altera Designs 1 2015.11.02 QPS5V3 Subscribe Send Feedback This document describes simulating designs that target Altera devices. Simulation verifies design behavior before device programming. The Quartus® Prime software supports RTL- and gate-level design simulation in supported EDA simulators. Simulation involves setting up your simulator working environ‐ ment, compiling simulation model libraries, and running your simulation. Simulator Support The Quartus Prime software supports specific EDA simulator versions for RTL and gate-level simulation. Table 1-1: Supported Simulators Vendor Simulator Version Platform Aldec Active-HDL 10.2 Update 2 Windows Aldec Riviera-PRO 2015.06 Windows, Linux Cadence Incisive Enterprise 14.2 Linux Mentor ModelSim-Altera (provided) 10.4b Windows, Linux Graphics Mentor ModelSim PE 10.4b Windows Graphics Mentor ModelSim SE 10.4b Windows, Linux Graphics Mentor QuestaSim 10.4b Windows, Linux Graphics Synopsys VCS/VCS MX 2014,12-SP1 Linux Simulation Levels The Quartus Prime software supports RTL and gate-level simulation of IP cores in supported EDA simulators. © 2015 Altera Corporation. All rights reserved. ALTERA, ARRIA, CYCLONE, ENPIRION, MAX, MEGACORE, NIOS, QUARTUS and STRATIX words and logos are trademarks of Altera Corporation and registered in the U.S. Patent and Trademark Office and in other countries. All other words and logos identified as trademarks or service marks are the property of their respective holders as described at www.altera.com/common/legal.html. Altera warrants performance ISO of its semiconductor products to current specifications in accordance with Altera's standard warranty, but reserves the right to make changes to any 9001:2008 products and services at any time without notice.
    [Show full text]
  • Xilinx Xcell 25
    Issue 25 Second Quarter 1997 THE QUARTERLYX JOURNALCELL FOR XILINX PROGRAMMABLE LOGIC USERS R PRODUCT INFORMATION The Programmable Xilinx Delivers Next Logic CompanySM Generation Platform Inside This Issue: The new XACTstep version M1 release enables GENERAL The Fawcett - FPGAs, Power users to increase design performance while & Packages .......................................... 2 leveraging high-level design methodologies ... Guest Editorial: See pages 12 & 19 HardWire and PCI LogiCOREs ...... 3 Customer Success Story ...................... 5 WebLINX Enhancements .................... 6 XC4000 Series: The World’s “Power of Innovation” Seminars ...... 7 Technical Training Update ................. 7 Upcoming Events .................................. 8 Largest and Fastest FPGAs New Product Literature ....................... 8 The world’s highest-capacity FPGA, the XC4085XL, Financial Results .................................... 8 begins sampling as the world’s highest-performance PRODUCTS FPGAs, the XC4000E-1 family, move into production ... XC4000E-1 Speed Grade .................... 9 See Pages 9 & 11 XC95288 CPLD in Production ........ 10 XC4085XL Now Largest FPGA ....... 11 New 64,000-Gate XC6264 .............. 11 DESIGN TIPS & HINTS DEVELOPMENT SYSTEMS XACTstep M1 Software Released .. 12 Xilinx Shipping Cadence Interface . 13 XC9500 CPLD CORE Generator for PCI .................. 14 DSP CORE Generator ........................ 15 Programming HINTS & ISSUES Simple XC9500 CPLD Guidelines Programming Guidelines ............... 16 To reap
    [Show full text]
  • Starting Active-HDL As the Default Simulator in Xilinx
    7/29/13 Support - Resources - Documentation - Application Notes - Aldec 日本語 Sign In | Register Search aldec.com SOLUTIONS PRODUCTS EVENTS COMPANY SUPPORT DOWNLOADS Home Support Resources Documentation Application Notes RESOURCES Starting Active-HDL as the Default Simulator in Xilinx ISE « Prev | Next » Documentation Application Notes Introduction FAQ This document describes how to start Active-HDL simulator from Xilinx ISE Project Navigator to run behavioral and timing simulations. This Manuals application note has been verified on Active-HDL 9.1 and Xilinx ISE 13.4. This interface allows users to run mixed VHDL, Verilog and White Papers System Verilog (design ) simulation using Active-HDL as a default simulator. Tutorials Installing Xilinx libraries in Active-HDL Multimedia Demonstration In order to run the simulation successfully, depending on the design both VHDL and Verilog libraries for Xilinx may have to be installed in Videos Active-HDL. You can check what libraries are currently installed in your Active-HDL using Library Manager tool. You can access the Library Manager from the menu View>Library Manger>. Recorded Webinars You can install precompiled libraries in multiple ways: 1. If you are using Active-HDL DVD to install the software, during the installation, you will get the option to select and install the Xilinx libraries 2. If you have received a web link to download Active-HDL, on the same page you will find the links to download Xilinx libraries. 3. At any time you can visit the update center to download the latest Xilinx libraries at http://www.aldec.com/support Set Active-HDL as Simulator in Xilinx Project Navigator After creating a project, open your Xilinx project in ISE Project Navigator.
    [Show full text]
  • Riviera-PRO 2012.06
    R e l e a s e N o t e s Riviera-PRO 2012.06 Release Notes www.aldec.com This page is intentionally left blank. TABLE OF CONTENTS Table of Contents Release Notes for Riviera-PRO 2012.06 ...................................................................................................... 4 What's New ............................................................................................................................................. 4 Performance Improvements ............................................................................................................... 4 SystemVerilog Simulation ................................................................................................................... 4 OVM and UVM Libraries ..................................................................................................................... 5 DPI Interface ....................................................................................................................................... 5 Mixed VHDL and SystemVerilog Simulation ....................................................................................... 5 VCD Files ........................................................................................................................................... 6 Interface to SystemVue ...................................................................................................................... 6 Macro Commands .............................................................................................................................
    [Show full text]
  • HES-DVM™ HW/SW Validation Platform
    HES-DVM™ HW/SW Validation Platform ● Bit-Level Acceleration AXI4, AHB, APB, OCP ● ● SCE-MI Emulation USB 2.0, PCIe, Ethernet ● ● Prototyping UART, I2C, JTAG ● ● Virtual Modeling Transactors Verification Hybrid Verification Platform Interfaces HES-DVMTM is a Hybrid Verification and Validation Platform for TM Hardware and Software developers of SoC and ASIC designs up HES Hardware Emulation to 144M ASIC gates. Utilizing the latest in Xilinx® FPGA Solutions ● Design Partitioning Setup/DVM Debugging ● Static & Dynamic Probes technology and the most up-to-date modeling interfaces for ● ASIC to FPGA ● Siloti/Verdi integration Conversion ● Memory visibility & API co-emulation, HES-DVM provides a high-speed emulation ● Memory Mapping ● Speed Adapters solution for pre-silicon test and debug with hardware speeds, HES-5 ● Prototyping HES-7 ● Boards real-time data interfaces, and an automated design In-House ● environment. Partnered with Virtual Platform integration, API/ GUI interfaces for memory and signal debug, and a library of synthesizable peripheral transactors, design teams are able to reduce the verification cycle, increase throughput, and Acceleration, Emulation, and reduce overall costs. Hardware Prototyping HES-DVM enables hardware design teams with multiple modes of high-speed verification and validation including simulation Top Features acceleration, SCE-MI 2.1 emulation (Macro/ DPI Function based), and hardware prototyping for chip and system level verification of SoC and ASIC systems. Combined with fully • Bit-Level Simulation Acceleration integrated array of debugging tools allowing 100% visibility • SoC HW/SW Co-Verification into the DUT and speed adapters to connect industry standard interfaces to the design environment, verification teams are Transaction Level Emulation with SCE-MI 2.1, • able to reduce time and risks of silicon re-spins.
    [Show full text]
  • Development of Field Programmable Gate Array-Based Reactor Trip
    NET176_proof ■ 30 March 2016 ■ 1/11 Nuclear Engineering and Technology xxx (2016): 1e11 Available online at ScienceDirect 65 66 1 67 2 Nuclear Engineering and Technology 68 3 69 4 70 5 journal homepage: www.elsevier.com/locate/net 71 6 72 7 73 8 74 9 Technical Note 75 10 76 11 Development of Field Programmable Gate Array-based 77 12 78 13 Reactor Trip Functions Using Systems Engineering Approach 79 14 80 15 81 16 * 82 17 Q20 Jaecheon Jung and Ibrahim Ahmed 83 18 Nuclear Power Plant Engineering, KEPCO International Nuclear Graduate School, 1456-1 Shinam-ri, Seosang-myeon, Ulju-gun, Ulsan 689- 84 19 85 882, Republic of Korea 20 86 21 87 22 article info abstract 88 23 89 24 90 25 Article history: Design engineering process for field programmable gate array (FPGA)-based reactor trip 91 26 Received 13 November 2015 functions are developed in this work. The process discussed in this work is based on the 92 27 Received in revised form systems engineering approach. The overall design process is effectively implemented by 93 28 16 February 2016 combining with design and implementation processes. It transforms its overall develop- 94 29 Accepted 17 February 2016 ment process from traditional V-model to Y-model. This approach gives the benefit of 95 30 Available online xxx concurrent engineering of design work with software implementation. As a result, it re- 96 31 97 32 duces development time and effort. The design engineering process consisted of five ac- Keywords: tivities, which are performed and discussed: needs/systems analysis; requirement 98 33 99 Field Programmable Gate Array analysis; functional analysis; design synthesis; and design verification and validation.
    [Show full text]
  • Legal Notice
    Altera Digital Library September 1996 P-CD-ADL-01 Legal Notice This CD contains documentation and other information related to products and services of Altera Corporation (“Altera”) which is provided as a courtesy to Altera’s customers and potential customers. By copying or using any information contained on this CD, you agree to be bound by the terms and conditions described in this Legal Notice. The documentation, software, and other materials contained on this CD are owned and copyrighted by Altera and its licensors. Copyright © 1994, 1995, 1996 Altera Corporation, 2610 Orchard Parkway, San Jose, California 95134, USA and its licensors. All rights reserved. You are licensed to download and copy documentation and other information from this CD provided you agree to the following terms and conditions: (1) You may use the materials for informational purposes only. (2) You may not alter or modify the materials in any way. (3) You may not use any graphics separate from any accompanying text. (4) You may distribute copies of the documentation available on this CD only to customers and potential customers of Altera products. However, you may not charge them for such use. Any other distribution to third parties is prohibited unless you obtain the prior written consent of Altera. (5) You may not use the materials in any way that may be adverse to Altera’s interests. (6) All copies of materials that you copy from this CD must include a copy of this Legal Notice. Altera, MAX, MAX+PLUS, FLEX, FLEX 10K, FLEX 8000, FLEX 8000A, MAX 9000, MAX 7000,
    [Show full text]
  • AL8259 Core Application Note Rev
    AL8259 Core Application Note Rev. [10/2012] 10-24-2012 AL8259 Core Application Note Table of Contents General Information ................................................................................................................................. 3 Features .................................................................................................................................................... 3 Block Diagram ........................................................................................................................................... 3 Contents .................................................................................................................................................... 4 A. Behavioral ..................................................................................................................................... 4 B. Synthesizable ................................................................................................................................ 4 C. Test Vectors .................................................................................................................................. 4 Interface .................................................................................................................................................... 5 Core Implementation Data ....................................................................................................................... 6 Deliverables ..............................................................................................................................................
    [Show full text]
  • AN 307: Intel® FPGA Design Flow for Xilinx* Users
    AN 307: Intel® FPGA Design Flow for Xilinx* Users Updated for Intel® Quartus® Prime Design Suite: 17.1 Subscribe AN-307 | 2020.08.24 Send Feedback Latest document on the web: PDF | HTML Contents Contents 1. Introduction to Intel® FPGA Design Flow for Xilinx* Users............................................. 4 2. Technology Comparison.................................................................................................. 5 2.1. Intel FPGAs ..........................................................................................................5 2.2. Xilinx FPGAs......................................................................................................... 6 2.3. Comparison Table.................................................................................................. 6 2.4. Intel FPGA Device Features..................................................................................... 7 3. FPGA Tools Comparison.................................................................................................. 9 3.1. Hardware and Software Tools for FPGA Design...........................................................9 3.2. FPGA Design Flow Using Command Line Scripting.....................................................10 3.2.1. Command-Line Executable Equivalents....................................................... 12 3.2.2. Programming and Configuration File Support in the Intel Quartus Prime Pro Edition Software.................................................................................17 3.3. FPGA Design
    [Show full text]