IEEE DASC P1076.1 Working Group Working Group Meeting September 14, 2010.

Slides:



Advertisements
Similar presentations
OASIS OData Technical Committee. AGENDA Introduction OASIS OData Technical Committee OData Overview Work of the Technical Committee Q&A.
Advertisements

The need for AMS assertions Verify the analog/digital interfaces at block and SoC levels –Check properties involving voltages and currents –Check complex.
Software Quality Assurance Plan
Software Engineering CSE470: Requirements Analysis 1 Requirements Analysis Defining the WHAT.
Creating Architectural Descriptions. Outline Standardizing architectural descriptions: The IEEE has published, “Recommended Practice for Architectural.
US GPO AIP Independence Test CS 496A – Senior Design Team members: Antonio Castillo, Johnny Ng, Aram Weintraub, Tin-Shuk Wong Faculty advisor: Dr. Russ.
1 CMPT 275 Software Engineering Requirements Analysis Process Janice Regan,
TM Freescale™ and the Freescale logo are trademarks of Freescale Semiconductor, Inc. All other product or service names are the property of their respective.
S New Security Developments in DICOM Lawrence Tarbox, Ph.D Chair, DICOM WG 14 (Security) Siemens Corporate Research.
ECON 1150 Matrix Operations Special Matrices
Chapter 2 The process Process, Methods, and Tools
ADC Meeting ICEO Standards Working Group Steven F. Browdy, Co-Chair ADC Workshop Washington, D.C. September, 2007.
المحاضرة الثالثة. Software Requirements Topics covered Functional and non-functional requirements User requirements System requirements Interface specification.
What Agencies Should Know About PDF/A September 20, 2005 Susan J. Sullivan, CRM
Standards Analysis Summary vMR – Pros Designed for computability Compact Wire Format Aligned with HeD Efforts – Cons Limited Vendor Adoption thus far Represents.
1 PAR Presentation DASC meeting at DAC, June 21, 2001 Project title: A standard for an Advanced Library Format (ALF) describing Integrated Circuit (IC)
P1800 Requirements for IP Protection John Shields.
Ashenden Designs IEEE Design Automation Standards Committee Plenary, 25 September 2003 Frankfurt, Germany Peter Ashenden DASC Interim.
CHAPTER TEN AUTHORING.
IEEE n-11/0001 Session # TGn Opening Report IEEE Presentation Submission Template (Rev. 9) Document Number: IEEE n-11/0001.
IEEE-SA myBallot TM myBallot ™ IEEE Standards Association New Electronic Balloting System Sponsor Tools.
Approaching a Problem Where do we start? How do we proceed?
Database Design and Management CPTG /23/2015Chapter 12 of 38 Functions of a Database Store data Store data School: student records, class schedules,
P1800 SystemVerilog Proposed Operation Guidelines & Structure Johny Srouji (group chair)
Networking the World TM IEEE: Networking the World.
1 IEEE Technology Selection Process Presentation of Contribution C Dan Gal Berlin, September 14, 2004.
Yang Shi (Richard), Yong Zhang IETF 74 th 26 March 2009, San Francisco CAPWAP WG MIB Drafts Report.
Label Design Tool Management Council F2F Washington, D.C. November 29-30, 2006
Rosetta Study Group Report IEEE DASC. 1. Broad market potential Applications: heterogeneous model integration –ESL, System-Level Design, System Security,
Requirements Specification. Welcome to Software Engineering: “Requirements Specification” “Requirements Specification”  Verb?  Noun?  “Specification”
1 PAR Presentation DASC meeting at DAC, June 21, 2001 Project title: A standard for an Advanced Library Format (ALF) describing Integrated Circuit (IC)
Distributed Data Analysis & Dissemination System (D-DADS ) Special Interest Group on Data Integration June 2000.
DOT Implementing the Surface Transportation Domain Daniel Morgan 26 October 2015.
Software Reuse Course: # The Johns-Hopkins University Montgomery County Campus Fall 2000 Session 4 Lecture # 3 - September 28, 2004.
WG3 Presentation to TC184/SC 4 Closing Plenary Baltimore, USA 23 Oct 2015 WG3 Oil, Gas, Process and Power Paul van Exel, Convener Nils Sandsmark, Deputy.
©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 4 Slide 1 Software Processes.
Types As Globally Static, First Class Objects in VHDL-X TM Nothing in this presentation implies an offer for sale. FTL Systems is willing to provide IEEE.
Doc.: IEEE /0281r1 Submission James D. Allen (Appairent Technologies, Inc.) Project: IEEE P Working Group for Wireless Personal Area Networks.
Table-driven Modeling Subcommittee October 11, 2010 – 8am PDT – 5pm CEST (updated slides) Joachim Haase.
IEC TC93 Liaison Report DASC SC Alex Zamfirescu IEC USNC Technical Aadviser TC93 Convener IEC TC93 WG2 September,
IEEE DASC P WG Meeting - January 12, 2010http:// - 1 Overview of VPI-AMS for Verilog-AMS (1) ♦Extends VPI defined by IEEE Std.
Doc.: /0036r0 SubmissionSlide 1 11/03/2016 Slide 1 IEEE White Space Radio Opening Report Notice: This document has been prepared to assist.
Integration Subcommittee May 26, 2010 Meeting David W. Smith IEEE DASC P Working Group
1 Session # n GRIDMAN TG Closing Report IEEE Presentation Submission Template (Rev. 9) Document Number: IEEE n-11/0020 Date Submitted:
DASC Overview October, 2008 Victor Berman, Chair (Improv Systems) Stan Krolikoski, Vice Chair (Cadence) Kathy Werner, Secretary (Freescale) Karen Bartleson,
Viewpoint Modeling and Model-Based Media Generation for Systems Engineers Automatic View and Document Generation for Scalable Model- Based Engineering.
Table-driven Modeling Subcommittee June 7, 2010 – 8am PDT – 5pm CEST Joachim Haase.
IEEE /r5 Submission November 2008 John Notor, Cadence Design Systems, Inc.Slide 1 IEEE IMT-Advanced Review Process Date:
P SystemC Analog/Mixed-Signal (AMS) extensions Working Group July 6, 2015 | Martin Barnasconi | P Chair.
VHDL-AMS Reballoting FDL'03, 9/24/2003 Ernst Christen.
SysML Modelica Integration Working Group Report (SE DSIG Meeting, San Antonio, TX, 9/15/2009) Chris Paredis Georgia Tech 1.
Privecsg Privacy Recommendation PAR Proposal Date: [ ] Authors: NameAffiliationPhone Juan Carlos ZúñigaInterDigital
Table-driven Modeling Subcommittee April 9, 2012 – 8am PST – 5pm CET Joachim Haase.
Table-driven Modeling Subcommittee November 8, 2010 – 8am PST – 5pm CET Joachim Haase.
May 20, 2010 Meeting David W. Smith
Table-driven Modeling Subcommittee March 7, 2011 – 8am PST – 5pm CET
April 22, 2010 Meeting David W. Smith
Management and Manageability in OGSA
SysML v2 Formalism: Requirements & Benefits
Hardware Description Languages
Matrix Algebra - Overview
APF Study Group Agenda September 13, 2004 September 2004
Verilog-AMS Integration with P1800 SV Standard
Privacy Recommendation PAR Proposal
e-Invoicing – e-Ordering 20/11/2008
IEEE IMT-Advanced Review Process
IEEE IMT-Advanced Review Process
802.11ax Spec Development Process Proposal
M. Kezunovic (P.I.) S. S. Luo D. Ristanovic Texas A&M University
802.11ax Spec Development Process Proposal
Presentation transcript:

IEEE DASC P Working Group Working Group Meeting September 14, 2010

IEEE DASC P WG Meeting - September 14, 2010http:// - 2 Agenda ♦Call to order ♦Approval of agenda ♦Administrative issues Minutes of last meeting Publicity Review of IEEE patent policy and updates ♦Project overview and status ♦Next meeting ♦AOB ♦Adjourn

IEEE DASC P WG Meeting - September 14, 2010http:// - 3 Administrative Issues 1 ♦Approval of minutes of WG meeting held August 10, 2010 ♦Publicity Publication in Simulation News in Europe Missed deadline August 2010 Looking for next available slot DASC column in IEEE Design and Test magazine expected to start late 2010 or early 2011 WG chairs will be asked to contribute ♦Review of IEEE patent policy

IEEE DASC P WG Meeting - September 14, 2010http:// - 4 Administrative Issues 2: Standard Revisions ♦ revision Before ballot, LRM must go through Mandatory Editorial Coordination May require some updates to LRM Plan is to get this done before the end of this month ♦ revision PAR draft PAR held up by questions regarding copyrights Do we have to get Copyright permission from organizations that gave it to 1076? Issue is being debated between IEEE and DASC

IEEE DASC P WG Meeting - September 14, 2010http:// - 5 Revision of IEEE Std ♦Scope Synchronize with IEEE Std This will bring, among other features: VHPI-AMS IP protection, encryption Genericity, i.e. the ability to write a model that is independent of the energy domain (e.g. a generic resistance model) Integration of IEEE Std Packages for Multiple Energy Domain Support Selected language enhancements prioritized by survey among users and other interested parties Frequency domain modeling Package supporting table-driven modeling Package supporting vector/matrix operations Other projects not yet started –Mixed Netlists –PDE Support –Uniform use of SPICE Models

IEEE DASC P WG Meeting - September 14, 2010http:// - 6 VHPI-AMS: Overview ♦The VHDL Procedural Interface is a application programming interface to VHDL tools. ♦VHPI allows an external application to access information about a VHDL model during analysis, elaboration and execution. ♦This enables: the creation of tools such as debuggers or profilers for VHDL models support foreign models, which are models written in part (foreign subprograms) or in their entirety using a standard programming language like C.

IEEE DASC P WG Meeting - September 14, 2010http:// - 7 VHPI-AMS: Scope ♦The VHPI-AMS is an extension of the VHPI defined in IEEE Extension will include modification/addition to machine readable package. ♦The VHPI-AMS will not extend the digital information model to IEEE ♦Derived requirements that will be supported: Standard utilities provided in VHPI extended for VHDL-AMS objects. Examples include printing, comparing values, error handling. Static design data provided in VHPI extended for VHDL-AMS objects. Object access to query new objects such as free quantities and through/across quantities on branches. Extend VHPI foreign interface to support VHDL-AMS objects. Simulation interaction and control for stop/start Extension of VHPI Tool Execution specification (Section 20 in IEEE ) to consider the analog/mixed-signal simulation cycle

IEEE DASC P WG Meeting - September 14, 2010http:// - 8 VHPI-AMS: Scope Restrictions ♦Derived requirements that will be considered Modifications of the value of a quantity values (setting values but not forcing) may be supported in this version. This is similar to Section 22.5 Updating object values in IEEE ♦Derived requirements that will not be supported: Modification of generics on elaborated design (which may cause re- elaboration) during restart. This could be done by a tool in an implementation specific fashion and does not require support in VHPI. Modification of topology during simulation (forcing values, shorting and opening nodes) and adding/deleting elements. No special semantics for meta simulation (monte carlo, worst case, etc…) will be added. These may still be implementable with the core VHPI and above extensions.

IEEE DASC P WG Meeting - September 14, 2010http:// - 9 VHPI-AMS: Resources ♦Resources M. Vlach: Programming Interface Requirements for an AMS Simulator, ISCAS’2004 This paper provides an overview of requirements for VHDL- AMS VHPI.

IEEE DASC P WG Meeting - September 14, 2010http:// VHPI-AMS: Status ♦Status Review of Verilog-AMS VPI extensions Initial analysis of extensions to information model Investigating possible donation ♦Next Steps Review existing VHPI-AMS functions and identify modifications or additions Investigating technical feasibility of writing to quantities and related use cases Define detailed requirements based on these investigations

IEEE DASC P WG Meeting - September 14, 2010http:// Integration: Overview ♦Purpose IEEE Std is a companion to IEEE Std that provides a collection of standard definitions to support the creation of models in multiple energy domains: electrical, translational, rotational, thermal, and others. Just as IEEE integrated the previously separate standards defining the packages std_logic_1164, math_real, math_complex, numeric_bit, numeric_std, the plan is to make the 8 packages defined by IEEE Std an integral part of IEEE Std Existing will then be discontinued.

IEEE DASC P WG Meeting - September 14, 2010http:// Integration: Scope ♦Integrate text into new LRM ♦Add packages to machine readable packages (library IEEE) FUNDAMENTAL_CONSTANTS, MATERIAL_CONSTANTS ENERGY_SYSTEMS, ELECTRICAL_SYSTEMS, MECHANICAL_SYSTEMS, RADIANT_SYSTEMS, THERMAL_SYSTEMS, FLUIDIC_SYSTEMS ♦Review all descriptions/definitions against IEEE SI and IEEE PSI-10/D1.May ♦Investigate adding support for dimensions and consistency of dimensions on connections. This could provide support for external dimensional consistency but not part of standard. A dimension refers to the physical value being modeled and not the unit used to represent it. Example of length being a dimension but foot or meter being a unit.

IEEE DASC P WG Meeting - September 14, 2010http:// Integration: Status ♦Status Waiting on new LRM creation to integrate existing text and packages and to do the SI review. Investigated early white papers on dimensional analysis for Reviewed Modelica to understand its use of units and dimensions. Defined Scope and Rational for Dimension support. ♦Next Steps Complete existing integration when new LRM format is reworked. Define detailed requirements for Dimension support.

IEEE DASC P WG Meeting - September 14, 2010http:// Frequency Domain Modeling: Overview ♦Purpose Allow a user to write a model whose frequency domain behavior depends on the simulation frequency Scope is support for small-signal behavior No intent to support harmonic balance or other algorithms that are sometimes called large signal AC. ♦Restrictions A large signal model for DC and time domain must still be defined, as there is no closed form transformation of a frequency domain model into time domain. ♦Resources J. Haase, E. Hessel, H.-T. Mammen: Proposal to Extend Frequency Domain Analysis in VHDL-AMS, FDL'09Proposal to Extend Frequency Domain Analysis in VHDL-AMS This paper provides some of the mathematical background. Emphasis is on frequency domain behavior described by a table.

IEEE DASC P WG Meeting - September 14, 2010http:// Frequency Domain Modeling: Status ♦Status Properties/limitations small-signal algorithms understood Mathematical background Implications of changing equations for frequency domain Algorithmic changes in an implementation are minor Changes to LRM minor Guidelines for writing models with frequency-dependent behavior understood How to write a model to get the expected behavior Modeling style is imposed by small-signal algorithms Findings documented mostly in meeting slides ♦Next steps Write-up of all aspects of frequency domain modeling support Expose to WG for approval

IEEE DASC P WG Meeting - September 14, 2010http:// Table Driven Modeling ♦Subcommittee members Ernst Christen Joachim Haase Arpad Muranyi Alain Vachoux ♦Purpose Measured and simulated data are gathered into tables. Tables include, possibly multidimensional, data points. They are indexed by a number of independent variables and all necessary information to properly interpret and use these data points. Table using may be mandatory in the following cases: No analytical model exists To achieve faster simulation ♦Scope Definition of VHDL-AMS data structures and functions that support this functionality Development of VHDL-AMS package(s) that will serve as reference implementation The development of an optimized implementation is out of the scope.

IEEE DASC P WG Meeting - September 14, 2010http:// Table Driven Modeling: Plan of Activities ♦Schedule Phase 1: Establish the "Requirements for Table Look-Up Modeling with VHDL-AMS" Phase 2: Discussion of VHDL(-AMS) implementation aspects Phase 3: Definition of VHDL(-AMS) function and package headers Phase 4: Reference implementation of functions Phase 5: Test of the reference implementation Phase 6: Finishing of documentation - proposal for the standard revision ♦Timeline Begin in June 2010 Expected end in summer 2011 ♦State of affairs Phase 1 finished Requirement document to be submitted to the WG for discussion and vote by the end of the week

IEEE DASC P WG Meeting - September 14, 2010http:// Table Driven Modeling: Requirements (1) ♦Description of functions that shall be supported Multidimensional real-valued functions n  4 shall be supported. n > 4 should be supported. Data points are given on a grid. It is not required that the grid is fully populated. It is not required that the data points are ordered. One-dimensional complex-valued functions ♦Interpolation of given data points Interpolation methods: closest data point, piecewise constant, piecewise linear, quadratic spline, cubic spline Extrapolation methods: same (as interpolation), constant, linear, periodic none (failure if data point outside table is accessed)

IEEE DASC P WG Meeting - September 14, 2010http:// Table Driven Modeling: Requirements (2) ♦Table Data Sources Storage of data points using arrays shall be supported. Storage of data points using files shall be supported. The following file formats should/may be supported Verilog-AMS Touchstone IBIS Excel CSV

IEEE DASC P WG Meeting - September 14, 2010http:// ♦Call for participation to form the subcommittee 4 – 5 people joined ♦Develop requirements (work-in-progress) Cooperated with other related subcommittees to define the basic requirements Develop detailed requirements based on the basic requirements (will ready in September-October) ♦Present detailed requirements to working group for approval (October 2010) ♦Develop Technical solution from detailed requirements (3-4 months) ♦Present the solution to working group for approval (Jan-Feb 2011) ♦Review LRM changes implemented from LCS for accuracy and clarity (2 months) ♦Completion of work (May 2011) Vector/Matrix Support: Plan

IEEE DASC P WG Meeting - September 14, 2010http:// Vector/Matrix Support: Requirements ♦Matrix/vector operations are defined as reference in standard package[required] Implementation should produce the same result as definition but does not need to exactly follow the definition. ♦Matrix definition Real and complex type[required] Non-floating data type[required] Block matrix notation[required]

IEEE DASC P WG Meeting - September 14, 2010http:// Vector/Matrix Support: Requirements (2) ♦Matrix/vector construction Identity matrix[required] Zero matrix[required] ♦Matrix/vector slicing[required] v( i : j ) -- a vector of ith to jth element in vector v A( :, j) -- a vector of jth column in matrix A A( r, i:j) -- a vector of ith to jth element in rth row in matrix A ♦Supported mathematical operations: +, -, *, /, ^ for matrix element[required] Dot product for matrix/vector[required] Transpose, conjugate transpose (complex), complex conjugate (complex) for matrix/vector[required] Determinant for matrix/vector[required]

IEEE DASC P WG Meeting - September 14, 2010http:// Vector/Matrix Support: Requirements (3) Matrix power[required] Matrix exponential[required] Norms (1, 2, infinite) for matrix/vector[required] Trace for matrix[recommended] Kronecker Product for matrix[recommended] Dimension check in all ops.[recommended] Inverse[optional] ♦Annotation of matrix/vector[recommended] Supply additional information such as matrix property (triangular, banded) or other user-defined property to be used along with the matrix.

IEEE DASC P WG Meeting - September 14, 2010http:// Vector/Matrix Support: Requirements (4) ♦Matrix definition Supports matrix of (real and complex)[required] Supports matrix of (non-floating data type)[recommended] Supports block matrix notation (matrix in matrix) ♦Type checking for quantity vector/matrix[recommended] ♦Matrix/vector operator definition in standard package [required] Implementation should produce the same result as definition but not exactly follow it.

IEEE DASC P WG Meeting - September 14, 2010http:// Next Meeting ♦Meeting schedule Meeting schedule once per month, mostly web Always announced at Next meetings: Tuesday, October 12, 2010, 8am PDT Tuesday, November 9, 2010, 8am PDT (tentative)