Discussion of ITC Goals. Historical Goals From SCE-API Marketing presentation Circa 2001.

Slides:



Advertisements
Similar presentations
Evolution of Parametric Analysis within Rolls-Royce Purchasing
Advertisements

JUNE 2007 page 1 EDS Proprietary Applications Modernization Services Modernizing the Applications Portfolio.
A Breakthrough Common Emulation API 15th November 2001 SCE-API.
Evolution and History of Programming Languages Software/Hardware/System.
UDDI, Discovery and Web Services Registries. Introduction To facilitate e-commerce, companies needed a way to locate one another and exchange information.
Defense MicroElectronics Activity Defense MicroElectronics Activity VE The Impact of System Level Design on the DMS World Keith Bergevin Senior.
Requirements for the Next Version of SCE-API. 2 5/14/ :32 PM Overview l Basic Requirements meet SCE-MI 1.0 requirements backwards compatibility.
Regional Portfolio Model Redevelopment Presentation to System Analysis Advisory Committee August 23, 2013.
Page 1 Building Reliable Component-based Systems Chapter 16 - Component based embedded systems Chapter 16 Component based embedded systems.
Design For Verification Synopsys Inc, April 2003.
1 HW/SW Partitioning Embedded Systems Design. 2 Hardware/Software Codesign “Exploration of the system design space formed by combinations of hardware.
1 Lecture 2.6: Organization Structures Dr. John MacCarthy UMBC CMSC 615 Fall, 2006.
Chapter 7: Client/Server Computing Business Data Communications, 5e.
Integration of Applications MIS3502: Application Integration and Evaluation Paul Weinberg Adapted from material by Arnold Kurtz, David.
Health Informatics Series
Hardware/Software Partitioning Witawas Srisa-an Embedded Systems Design and Implementation.
Design Synopsys System Verilog API Donations to Accellera João Geada.
Leveling the Field for Multicore Open Systems Architectures Markus Levy President, EEMBC President, Multicore Association.
© Copyright Alvarion Ltd. Hardware Acceleration February 2006.
© 2005 The MathWorks, Inc. Advanced Technologies to Accelerate Mixed Signal Simulation Pieter J. Mosterman Senior Research Scientist The MathWorks, Inc.
How Will You Be Developing Your Next Application? (SIP-01)
Chap. 1 Overview of Digital Design with Verilog. 2 Overview of Digital Design with Verilog HDL Evolution of computer aided digital circuit design Emergence.
© 2007 Pearson Education, Inc. Publishing as Pearson Addison-Wesley 1 A Discipline of Software Design.
Cycle Based Simulation Mehrdad Abutalebi. Outline Motivation Cycle Simulation Cycle Simulation Techniques Cycle Simulation Specifications Areas of Applicability.
1CADENCE DESIGN SYSTEMS, INC. Cadence Proposed Transaction Level Interface Enhancements for SCE-MI SEPTEMBER 11, 2003.
Future Airborne Capability Environment (FACE)
LXI Standard Evolution David Owen, Technical Committee Chair LXI Consortium Business Development Manager Pickering Interfaces
[ §3 : 1 ] 2. Life-Cycle Perspective Overview 2.1 Motivation 2.2 Waterfall Model 2.3 Requirements in Context.
Copyright 2002 Prentice-Hall, Inc. Modern Systems Analysis and Design Third Edition Jeffrey A. Hoffer Joey F. George Joseph S. Valacich Chapter 20 Object-Oriented.
Master Thesis Defense Jan Fiedler 04/17/98
Design Verification An Overview. Powerful HDL Verification Solutions for the Industry’s Highest Density Devices  What is driving the FPGA Verification.
Chonnam national university VLSI Lab 8.4 Block Integration for Hard Macros The process of integrating the subblocks into the macro.
Lecture 7: Requirements Engineering
1 Geospatial and Business Intelligence Jean-Sébastien Turcotte Executive VP San Francisco - April 2007 Streamlining web mapping applications.
16 August Verilog++ Assertion Extension Requirements Proposal.
Boost Verification Results by Bridging the Hw/Sw Testbench Gap by Matthew Ballance Verification Technologist Mentor Graphics.
© 2006 Synopsys, Inc. (1) CONFIDENTIAL Simulation and Formal Verification: What is the Synergy? Carl Pixley Disclaimer: These opinions are mine alone and.
FDT Foil no 1 On Methodology from Domain to System Descriptions by Rolv Bræk NTNU Workshop on Philosophy and Applicablitiy of Formal Languages Geneve 15.
Distribution and components. 2 What is the problem? Enterprise computing is Large scale & complex: It supports large scale and complex organisations Spanning.
MODUS Project FP7- SME – , Eclipse Conference Toulouse, May 6 th 2013 Page 1 MODUS Project FP Methodology and Supporting Toolset Advancing.
Software Requirements: A More Rigorous Look 1. Features and Use Cases at a High Level of Abstraction  Helps to better understand the main characteristics.
A Design and Verification Company Zaiq’s Transaction API Proposal v2.
SCE-MI Meeting 1 San Jose’, 14 th Nov Author: Andrea Castelnuovo SCE-MI Integrating Emulation in a system level design methodology San Jose’, 14/11/2003.
Discussion of ITC Goals. Historical Goals From SCE-API Marketing presentation Circa 2001.
Architecture View Models A model is a complete, simplified description of a system from a particular perspective or viewpoint. There is no single view.
Design Reuse Earlier we have covered the re-usable Architectural Styles as design patterns for High-Level Design. At mid-level and low-level, design patterns.
Discussion of ITC Goals. Historical Goals From SCE-API Marketing presentation Circa 2001.
Outlines Overview Defining the Vision Through Business Requirements
Requirements Management with Use Cases Module 2: Introduction to RMUC Requirements Management with Use Cases Module 2: Introduction to RMUC.
DPI+ Proposals John Stickley, Duaine Pryor Mentor Emulation Division.
Brian Bailey Interfaces Technical Committee.
ISCUG Keynote May 2008 Acknowledgements to the TI-Nokia ESL forum (held Jan 2007) and to James Aldis, TI and OSCI TLM WG Chair 1 SystemC: Untapped Value.
OUTCOMES OBJECTIVES FUNCTIONS ACTIONS TERRITORIES LOCATIONS MARKET SEGMENTS TIME LINESCHALLENGE IMPACT RESOURCESACTIVITIESCHANNELS RELATIONS PARTNERS CUSTOMERS.
Copyright 1999 G.v. Bochmann ELG 7186C ch.1 1 Course Notes ELG 7186C Formal Methods for the Development of Real-Time System Applications Gregor v. Bochmann.
Problem: design complexity advances in a pace that far exceeds the pace in which verification technology advances. More accurately: (verification complexity)
 System Requirement Specification and System Planning.
April 15, 2013 Atul Kwatra Principal Engineer Intel Corporation Hardware/Software Co-design using SystemC/TLM – Challenges & Opportunities ISCUG ’13.
IS Development Methodology
The Development Process of Web Applications
An assessment framework for Intrusion Prevention System (IPS)
SysML v2 Formalism: Requirements & Benefits
Topics Modeling with hardware description languages (HDLs).
Timothy Pertuit, David Lacey, Doug Gibson
Topics Modeling with hardware description languages (HDLs).
MLWG - User Requirements
Xilinx/Model Technology Powerful FPGA Verification Solution
Software Engineering with Reusable Components
H a r d w a r e M o d e l i n g O v e r v i e w
Presentation transcript:

Discussion of ITC Goals

Historical Goals From SCE-API Marketing presentation Circa 2001

SCE-API Consortium, 2001 Emulation User Problems to be Solved by SCE-API All emulators on the market today have proprietary API’s. Restricts the availability of emulation solutions to users. Leads to low productivity and low ROI for emulation users who build their own solutions. The emulation ‘API’s’ which exist today are oriented to gate-level and not system-level verification. Users need an API which takes full advantage of emulation performance.

SCE-API Consortium, 2001 Emulation Supplier Problems to be Solved by SCE-API Users are reluctant to invest in building applications on proprietary API’s. Traditional simulator API’s like PLI and VHPI slow down emulators. Third parties are reluctant to invest in building applications on proprietary API’s.

SCE-API Consortium, 2001 SCE-API History June 2000, first meeting, at DAC in Los Angeles July 2000, Steering and Technical Groups established November 2000, first specification draft from Technical Group February 2001, public announcement of SCE-API April 2001, posting of SCE-API 1.0 on SystemC open source web site May 2001, proposal to become an Accellera working group accepted

SCE-API Consortium, 2001 C-based models Emulator Models Transaction Cycle Event UntimedTimed Where SCE-API Fits in the Modeling World RTL Gate Testbenches HW/SW PLI, OMI, FLI, SWIFT System Accuracy Abstraction SCE-API

SCE-API Consortium, 2001 SCE-MI A message passing interface Designed with system level communication in mind  C/System Design vs HDL  System Transactions vs Pin Events Wide Simple terminals Multiple channels Designed for low latency and high bandwidth Up to full emulation speeds (1MHz+) Based on IKOS ‘Co-Modeling’ technology

SCE-API Consortium, 2001 SCE-MI Bridges high-abstraction models to models with implementation detail ‘Untimed’ to ‘Timed’ bridging Reduces communications overhead between models Optimized for system-level transactions Allows increased performance up to full emulation speeds

SCE-API Consortium, 2001 Applications of SCE-MI Software model to emulator or simulator interface Software model to software model interface Software model examples C/C variant models  E.g. SystemC Intelligent testbenches Processor/DSP ISS models HDL simulators

Modern Goals An attempt to get consensus On goals for the current Activity

SCE-API Consortium, 2001 Changes and Learning since 2000 SCE-MI 1.0 has had some success with its goals. Some adoption of transaction based methods. Increasing complexity – protocols, ip, verification Implies increasing complexity of transactors and verification environments. Total cost of ownership / verification. Need for verification IP Economics of verification IP Continued adoption of C and System C as a modeling environment for transaction level models. Evolution and maturation of the System Verilog standard including interfaces and modeling constructs.

SCE-API Consortium, 2001 Goals, Issues, Problems to be solved. A viable verification IP market based on standards supporting both simulation and emulation and accessible by average to above average engineers would benefit vendors and users. Enlarges the pie for vendors Increases the ROI on acceleration for customers. Reluctance to build emulation-only verification IP Building completely separate simulation and emulation environments is cost prohibitive. Building verification IP for emulation requires a great deal of emulation expertise. Adoption requires reorganization. SCE-MI is seen as an emulation-only standard. SCE-MI requires A+ grade engineers. Most if not all current “external” verification IP exists for simulation only. Do all of this without (great) sacrifice in the original goals.

SCE-API Consortium, 2001 Discussion from 3/2/2005 Adherence to original goals needs to be emphasized. Good general agreement and benefits from solving the problem. Broadening the market for acceleration suppliers. Broadening the market for VIP providers Move usage earlier in the process. Reduce specialization required to write ‘universal’ models. Some concern over the scope of the problem as a whole. Interface, modeling capabilities and usability are necessary to solve the complete problem. The right interface capabilities determine the overall verification architectures which are supported and well supported.  PLI / FLI generally leads to architectures which are simulation specific.  SCE-MI 1.X generally leads to (somewhat) emulation centered, transaction- based architectures. Modeling capabilities determine how much effort is required in porting a given architecture.  SCE-MI 1.X aligns with LCD modeling (synthesizable) capabilities We would like to keep interface and modeling capabilities independent. SCE-MI 1.X blends them somewhat.

SCE-API Consortium, 2001 Potential based on 3/2 consensus: -> Interface (ITC) ITC can work on setting up an interface which supports a verification environment and model architecture which is ‘natural’ for both simulation and emulation uses.  Better performance in simulation  Better productivity of IP creation in emulation and simulation No transactor modeling constructs need to be changed to move from simulation to acceleration. Interfaces and architecture do not need to be changed to move from simulation to emulation Compatible use models will be maintained between simulation and emulation. The heavy intellectual lifting is here Pretty good agreement on goals – increasing pie possibility Abstraction bridging Language bridging Architectural concerns Productivity concerns This has value in itself, but more value when combined with the next page.

SCE-API Consortium, 2001 Potential based on 3/2 consensus: -> Modeling (non-ITC) System Verilog, VHDL and/or PSL groups can work on an ‘acceleration subset’, i.e. compilation for acceleration. Modeling constructs which are trivially implemented. Modeling constructs which are guaranteed to be as efficient as RTL in acceleration. Modeling constructs which are supported, but not as efficient as RTL in acceleration. Modeling constructs which are not supported. Modeling include both procedural (traditional HDL) elements and declarative (property based) elements. The heavy political lifting is here. Agreement to support various subsets – LCD, zero sum issues. Differing behavioral compilation capabilities and resources Differing commitment to properties, SV, … User productivity versus ease of implementation. One proposal to eliminate political roadblocks is to blend efficiency and ease of implementation constructs. This has value on it’s own, but more combined with the previous page.

SCE-API Consortium, 2001 Summary: ITC Goals Remain mindful of modeling issues (see slide 15) Improve SCE-MI Interface specification through: Ease of modeling effort  Raise abstraction level  Specify a common interface that supports simulation and emulation  Simplify software-side/hardware-side synchronization mechanism Determinism  Explicit specification of 100% deterministic methodology  Eliminate clocking-related ambiguities Additional functionality to increase performance opportunity  Without negatively impacting Verification IP portability Maintain: Performance 100% backward compatibility of the standard Software-side language neutrality Hardware-side support of Verilog (& SV), VHDL