Analog Behavior Refinement in System Centric Modeling
|
|
- Patricia Singleton
- 6 years ago
- Views:
Transcription
1 Analog Behavior Refinement in System Centric Modeling Yaseen Zaidi, Christoph Grimm and Jan Haase Institute of Computer Technology Vienna University of Technology
2 The Motivation System level analog modeling possible with SystemC AMS: Executable specification AMS semantics Models of computations e.g. Timed Data Flow (TDF) Synchronization of MoCs of different domains Constant stepping fast simulation But need hooks for immediate refinement to utilize: Granularity supported by HDLs and HDLs/AMS Dedicated analogsolvers Fine/variable stepping Synchronization Yaseen Zaidi Institut für Computertechnik / TU Wien 2/11
3 Abstract modeling SCA_TDF_MODULE(prefi_ac) { sca_tdf_in<double> in; sca_tdf_out<double> out; sca_sctdf_in<bool> xgain; // parameters double prefi_fc; //cut off freq double prefi_g0; //gain!xgain double prefi_g1; //gain xgain // filter model sca_ltf_nd ltf_1; //filter inst sca_vector<double> A, B; //coeffs sca_vector<double> S; //states void init() { //filter coeffs B(0) = 1.0; A(0) = 1.0; A(1) = 1.0/(2.0*M_PI*prefi_fc);} void processing() { double tmp=ltf_1(b,a,s,in.read()); if (xgain.read()) ()) out.write(tmp * prefi_g1); else out.write(tmp * prefi_g0);} SCA_ CTOR(prefi _ ac) { // defaults prefi_fc = 1.0e6; prefi_g0 = 2.74; prefi_g1 = 2.74 * 2.2;} }; Yaseen Zaidi Institut für Computertechnik / TU Wien 3/11
4 System AMS can access and synchronize external simulators view classes solver classes TDF models TDF solver linear networks linear DAE solver linear DAEs other means other simulators DE modelling SC_METHOD SC_THREAD sc_signal< > synchronization Synchronization using TDF solver Discrete event simulator kernel Yaseen Zaidi Institut für Computertechnik / TU Wien 4/11
5 The Methodology Client Server SystemC kernel Synchronization Layer Solver Layer MATLAB, HDL, HDL- AMS, Verilog A, SPICE, other solvers AMS Extensions Executable Specification Digital MoCs TDF MoCs { ports, attributes(), read(), sig_proc(), write(), comm(), cosim wrapper } Software MoCs S o c k e t TCP/IP S o c k e t IUS, FastSPICE (UltraSIM) and Spectre solvers TCL I/f SPICE HDL-AMS HDL HDL TB IUS I/f HDL2C & C2HDL SHARED LIBRARY P L I Server program OS IPC C_Wrapper() read() load sim script fork() exec() call Cadence simulator write() Yaseen Zaidi Institut für Computertechnik / TU Wien 5/11
6 Execution of Cadence suite
7 Simulate various ADCs and DACs in HDLs/AMS Use VPI for Verilog and VHPI for VHDL model access Example system Yaseen Zaidi Institut für Computertechnik / TU Wien 7/11
8 Cosimulation instance in SystemC AMS specification SCA_TDF_MODULE(ad_converter) { sca_tdf::sca_in<double> in_tdf; sca_tdf::sca_out<sc_int<12> out_de;.. char *out_token_stream; token void processing() { token_collection = format_and_queue(in_tdf.read()); out_token_stream = cadence_cosim(token_collection);.. out_de.write<static_cast<sc_int<12> td tti t i t > format(out_token_stream);} ttk t )} } Yaseen Zaidi Institut für Computertechnik / TU Wien 8/11
9 Calling Cadence solver and C access of simulation child_pid_ncelab = vfork(); execv("ncelab", " amsfastspice", " propspath", "prop.cfg", "bench_a2d_12bit", " snapshot", "worklib.bench_a2d_12bit"); b ") child_pid_ncsim = vfork(); execv("ncsim", " input", "@tcl_script", " status", " analogcontrol", "acf.scs", "worklib.bench_a2d_12bit:behav", "+loadvhpi", "VHDL2C_DLL", "inst=:bench_a2d_12bit", "+start=0", "+stop=62"); Yaseen Zaidi Institut für Computertechnik / TU Wien 9/11
10 Conclusion SystemC AMS TDF semantics while suited for high level analog modeling can assist in cosimulation with refined models of HDLs AMS Synchronization layer allows connections of specialty simulators e.g. Spectre and FastSPICE A client (SystemC AMS) and server (Cadence) topology realized C/UNIX calls control of Cd Cadence simulation Access of simulation objects is made using standardized procedural interfaces (VPI/VHPI) Yaseen Zaidi Institut für Computertechnik / TU Wien 10/11
11 Thank you Yaseen Zaidi Institut für Computertechnik / TU Wien 11/11
Analog Behavior Refinement in System Centric Modeling
Analog Behavior Refinement in System Centric Modeling Author 1 Author 2 Author 3 Affiliation Organization Address emails ABSTRACT SoC designs consisting of analog, digital, mixed signal, RF and software
More informationFast and Unified SystemC AMS - HDL Simulation
Fast and Unified SystemC AMS - HDL Simulation Yaseen Zaidi, Christoph Grimm, and Jan Haase Institute of Computer Technology Vienna University of Technology Vienna, Austria {zaidi,grimm,haase}@ict.tuwien.ac.at
More informationModeling embedded systems using SystemC extensions Open SystemC Initiative
20 Modeling embedded systems using SystemC extensions Open SystemC Initiative The Open SystemC Initiative (OSCI) is an independent, not-for-profit association composed of a broad range of organizations
More informationDesign Refinement of Embedded Analog/Mixed-Signal Systems and how to support it*
Design Refinement of Embedded Analog/Mixed-Signal Systems and how to support it* Institut für Computertechnik ICT Institute of Computer Technology Univ.Prof. Dr. habil. Christoph Grimm Chair Embedded Systems
More informationConnecting MATLAB & Simulink with your SystemVerilog Workflow for Functional Verification
Connecting MATLAB & Simulink with your SystemVerilog Workflow for Functional Verification Corey Mathis Industry Marketing Manager Communications, Electronics, and Semiconductors MathWorks 2014 MathWorks,
More informationAnalog Mixed Signal Extensions for SystemC
Analog Mixed Signal Extensions for SystemC White paper and proposal for the foundation of an OSCI Working Group (SystemC-AMS working group) Karsten Einwich Fraunhofer IIS/EAS Karsten.Einwich@eas.iis.fhg.de
More informationSneak Preview of the Upcoming SystemC AMS 2.0 Standard
Sneak Preview of the Upcoming SystemC AMS 2.0 Standard Martin Barnasconi, AMSWG chairman, 18 th NASCUG, DAC 2012 Analog Mixed Signal applications Image courtesy of STMicroelectronics Communications Imaging
More informationA Framework for the Design of Mixed-Signal Systems with Polymorphic Signals
A Framework for the Design of Mixed-Signal Systems with Polymorphic Signals Rüdiger Schroll *1) Wilhelm Heupke *1) Klaus Waldschmidt *1) Christoph Grimm *2) *1) Technische Informatik *2) Institut für Mikroelektronische
More informationVCS AMS. Mixed-Signal Verification Solution. Overview. testing with transistor-level accuracy. Introduction. Performance. Multicore Technology
DATASHEET VCS AMS Mixed-Signal Verification Solution Scalable mixedsignal regression testing with transistor-level accuracy Overview The complexity of mixed-signal system-on-chip (SoC) designs is rapidly
More informationShort Course On Phase-Locked Loops and Their Applications Day 3, PM Lecture. Behavioral Simulation Exercises
Short Course On Phase-Locked Loops and Their Applications Day 3, PM Lecture Behavioral Simulation Exercises Michael H Perrott August 13, 2008 Copyright 2008 by Michael H. Perrott All rights reserved. A
More informationSYSTEMC AMS ARCHITECTURE EXPLORATION FOR MIXED SIGNAL SYSTEMS
SYSTEMC AMS ARCHITECTURE EXPLORATION FOR MIXED SIGNAL SYSTEMS Stephan Schulz Head of Heterogeneous System Specification Fraunhofer IIS/EAS About Fraunhofer Facts and figures Fraunhofer Association Fraunhofer
More informationSystemC-AMS Requirements, Design Objectives and Rationale
SystemC-AMS Requirements, Design Objectives and Rationale Alain Vachoux Christoph Grimm Karsten Einwich Swiss Fed. Inst. of Tech. University Frankfurt Frauenhofer IIS/EAS Microelectronic Systems Lab. Technische
More informationTHE DESIGNER'S GUIDE TO VERILOG-AMS First Edition June 2004
THE DESIGNER'S GUIDE TO VERILOG-AMS First Edition June 2004 KENNETH S. KUNDERT Cadence Design Systems OLAF ZINKE Cadence Design Systems k4 Kluwer Academic Publishers Boston/Dordrecht/London Chapter 1 Introduction
More informationMixed-Signal Extensions for SystemC
Mixed-Signal Extensions for SystemC K. Einwich Ch. Grimm P. Schwarz K. Waldschmidt Fraunhofer IIS/EAS Univ. Frankfurt Zeunerstraße 38 Robert-Mayer-Straße 11-15 D-01069 Dresden, Germany D-60054 Frankfurt,
More informationModeling and Verifying Mixed-Signal Designs with MATLAB and Simulink
Modeling and Verifying Mixed-Signal Designs with MATLAB and Simulink Arun Mulpur, Ph.D., MBA Industry Group Manager Communications, Electronics, Semiconductors, Software, Internet Energy Production, Medical
More informationHardware-Software Codesign. 6. System Simulation
Hardware-Software Codesign 6. System Simulation Lothar Thiele 6-1 System Design specification system simulation (this lecture) (worst-case) perf. analysis (lectures 10-11) system synthesis estimation SW-compilation
More informationMoCC - Models of Computation and Communication SystemC as an Heterogeneous System Specification Language
SystemC as an Heterogeneous System Specification Language Eugenio Villar Fernando Herrera University of Cantabria Challenges Massive concurrency Complexity PCB MPSoC with NoC Nanoelectronics Challenges
More informationParag Choudhary Engineering Architect
Parag Choudhary Engineering Architect Agenda Overview of Design Trends & Designer Challenges PCB Virtual Prototyping in PSpice Simulator extensions for Models and Abstraction levels Examples of a coding
More informationHardware in the Loop Functional Verification Methodology
OMG's Third Software-Based Communications Workshop: Realizing the Vision Hardware in the Loop Functional Verification Methodology by Pascal Giard Jean-François Boland, Jean Belzile M.Ing. Student École
More informationA Synchronization Algorithm for VHDL-AMS Simulation with ADA Feedback Effect
A Synchronization Algorithm for VHDL-AMS Simulation with ADA Feedback Effect Presenter: N. Bani Asadi Asadi nargesb@stanford.edu Authors: H. R. Ghasemi Dr. Z. Navabi Ghasemi hrghasemi@cad.ece.ut.ac.ir
More informationMixed Signal Verification Transistor to SoC
Mixed Signal Verification Transistor to SoC Martin Vlach Chief Technologist AMS July 2014 Agenda AMS Verification Landscape Verification vs. Design Issues in AMS Verification Modeling Summary 2 AMS VERIFICATION
More informationAMS Behavioral Modeling
CHAPTER 3 AMS Behavioral Modeling Ronald S. Vogelsong, Ph.D. Overview Analog designers have for many decades developed their design using a Bottom-Up design flow. First, they would gain the necessary understanding
More informationIOT is IOMSLPT for Verification Engineers
IOT is IOMSLPT for Verification Engineers Adam Sherer, Product Management Group Director TVS DVClub Bristol, Cambridge, Grenoble, and worldwide 12 September 2017 IOT = Internet of Mixed-Signal Low Power
More informationSpecification and Validation for Heterogeneous MP-SoCs
Specification and Validation for Heterogeneous MP-SoCs Gabriela Nicolescu Ecole Polytechnique de Montréal Tel : (514) 340 4711 ext 5434 Fax: (514) 340 3240 Email : gabriela.nicolescu@polymtl.ca Heterogeneous
More informationA mixed signal verification platform to verify I/O designs
A mixed signal verification platform to verify I/O designs Dan Bernard Dhaval Sejpal 7/14/11 Introduction My group at IBM develops high-speed custom I/O interfaces for IBM's server processors. In the past,
More information" " :"'/~-' ~: ">-y.:... jj IJJ ~J 0 0JJJ J) Workshop on Microelectronics..~ -----------------------..,~ -~ " ~\': ~~: ;;-~ lol i)i } ',:--'. i,ai :.". ~~. ~~ :~'.~~ ;1" -.;:.;:. -.. 15th Austrian Workshop
More informationHardware Description Languages & System Description Languages Properties
Hardware Description Languages & System Description Languages Properties There is a need for executable specification language that is capable of capturing the functionality of the system in a machine-readable
More informationTHE DESIGNER S GUIDE TO VERILOG-AMS
THE DESIGNER S GUIDE TO VERILOG-AMS THE DESIGNER S GUIDE BOOK SERIES Consulting Editor Kenneth S. Kundert Books in the series: The Designer s Guide to Verilog-AMS ISBN: 1-00-80-1 The Designer s Guide to
More informationCosimulation of ITRON-Based Embedded Software with SystemC
Cosimulation of ITRON-Based Embedded Software with SystemC Shin-ichiro Chikada, Shinya Honda, Hiroyuki Tomiyama, Hiroaki Takada Graduate School of Information Science, Nagoya University Information Technology
More informationfakultät für informatik informatik 12 technische universität dortmund Modeling levels Peter Marwedel TU Dortmund, Informatik /11/07
12 Peter Marwedel TU Dortmund, Informatik 12 2009/11/07 Graphics: Alexandra Nolte, Gesine Marwedel, 2003 Modeling levels Levels of hardware modeling Possible set of levels (others exist) System level Algorithmic
More informationExperience the Next ~Wave~ of Analog and Digital Signal Processing using SystemC AMS 2.0 Session 1: SystemC AMS Introduction
Experience the Next ~Wave~ of Analog and Digital Signal Processing using SystemC AMS 2.0 Session 1: SystemC AMS Introduction Karsten Einwich, Fraunhofer IIS/EAS Session 1 - Outline Session 1: SystemC AMS
More informationComparison of models. Peter Marwedel Informatik 12, TU Dortmund, Germany 2010/11/07. technische universität dortmund
12 Comparison of models Peter Marwedel Informatik 12, TU Dortmund, Germany Graphics: Alexandra Nolte, Gesine Marwedel, 2003 These slides use Microsoft clip arts. Microsoft copyright restrictions apply.
More informationVerilog-A Debug Tool: AHDL Linter
Verilog-A Debug Tool: AHDL Linter Jushan Xie, Qingping Wu, Art Schaldenbrand, and Andre Baguenier Cadence Design Systems, Inc. Dec. 6, 2017 Beauty of Using Behavioral Modeling Behavioral modeling is the
More informationHardware Design and Simulation for Verification
Hardware Design and Simulation for Verification by N. Bombieri, F. Fummi, and G. Pravadelli Universit`a di Verona, Italy (in M. Bernardo and A. Cimatti Eds., Formal Methods for Hardware Verification, Lecture
More informationResearch Article On Mixed Abstraction, Languages, and Simulation Approach to Refinement with SystemC AMS
Hindawi Publishing Corporation EURASIP Journal on Embedded Systems Volume 21, Article ID 489365, 13 pages doi:1.1155/21/489365 Research Article On Mixed Abstraction, Languages, and Simulation Approach
More informationDesign and Verify Embedded Signal Processing Systems Using MATLAB and Simulink
Design and Verify Embedded Signal Processing Systems Using MATLAB and Simulink Giorgia Zucchelli, Application Engineer, MathWorks 10 January 2013, Technical University Eindhoven 2013 The MathWorks, Inc.
More informationSystem-level design refinement using SystemC. Robert Dale Walstrom. A thesis submitted to the graduate faculty
System-level design refinement using SystemC by Robert Dale Walstrom A thesis submitted to the graduate faculty in partial fulfillment of the requirements for the degree of MASTER OF SCIENCE Major: Computer
More informationHDL Cosimulation May 2007
HDL Cosimulation May 2007 Notice The information contained in this document is subject to change without notice. Agilent Technologies makes no warranty of any kind with regard to this material, including,
More informationA Formalization of Global Simulation Models for Continuous/Discrete Systems
A Formalization of Global Simulation Models for Continuous/Discrete Systems L. Gheorghe, F. Bouchhima, G. Nicolescu, H. Boucheneb Ecole Polytechnique Montréal luiza.gheorghe@polymtl.ca Keywords: Co-Simulation,
More informationA Heterogeneous Hardware-Software Co-Simulation Environment Using User Mode Linux and Clock Suppression
A Heterogeneous Hardware-Software Co-Simulation Environment Using User Mode Linux and Clock Suppression Hannes Muhr, Roland Höller, Member, IEEE, and Martin Horauer, Member, IEEE Abstract With the ever
More informationEEL 5722C Field-Programmable Gate Array Design
EEL 5722C Field-Programmable Gate Array Design Lecture 19: Hardware-Software Co-Simulation* Prof. Mingjie Lin * Rabi Mahapatra, CpSc489 1 How to cosimulate? How to simulate hardware components of a mixed
More informationDesign and Verify Embedded Signal Processing Systems Using MATLAB and Simulink
Design and Verify Embedded Signal Processing Systems Using MATLAB and Simulink Giorgia Zucchelli, Application Engineer, MathWorks 17 January 2011, Technical University Eindhoven 1 Agenda Introduction to
More informationA SystemC HDL Cosimulation Framework
A SystemC HDL Cosimulation Framework Christian Bernard, CEA/LETI Nicolas Tribié, CEA/LETI Marcello Coppolla, ST/AST A systemc HDL cosimulation framework 1 Agenda Motivatio Cosimulation usages Framework
More informationGerhard Noessing, Villach
Gerhard Noessing, Villach AGENDA Frequency Domain simulation Matlab or SystemC-AMS? Noise simulation with SystemC-AMS Compare Time Domain with Frequency Domain Simulation Simulation Results Conclusion
More informationASIC world. Start Specification Design Verification Layout Validation Finish
AMS Verification Agenda ASIC world ASIC Industrial Facts Why Verification? Verification Overview Functional Verification Formal Verification Analog Verification Mixed-Signal Verification DFT Verification
More informationMixed-signal Modeling Using Simulink based-c
Mixed-signal Modeling Using Simulink based-c Shoufeng Mu, Michael Laisne 1 Agenda Objectives of Mixed-signal (MS) modeling Advantages of Simulink based MS modeling Simulink based MS modeling flow 1) Build
More informationOptimizing Models of an FPGA Embedded System. Adam Donlin Xilinx Research Labs September 2004
Optimizing Models of an FPGA Embedded System Adam Donlin Xilinx Research Labs September 24 Outline Target System Architecture Model Optimizations and Simulation Impact Port Datatypes Threads and Methods
More informationExtending Digital Verification Techniques for Mixed-Signal SoCs with VCS AMS September 2014
White Paper Extending Digital Verification Techniques for Mixed-Signal SoCs with VCS AMS September 2014 Author Helene Thibieroz Sr Staff Marketing Manager, Adiel Khan Sr Staff Engineer, Verification Group;
More informationA System-Level Co-Verification Environment for ATM Hardware Design
A System-Level Co-Verification Environment for ATM Hardware Design Guido Post, Andrea Müller and Thorsten Grötker Institute for Integrated Signal Processing Systems RWTH Aachen, University of Technology
More informationMaking the Most of your MATLAB Models to Improve Verification
Making the Most of your MATLAB Models to Improve Verification Verification Futures 2016 Graham Reith Industry Manager: Communications, Electronics & Semiconductors Graham.Reith@mathworks.co.uk 2015 The
More informationWhat's new in MATLAB and Simulink for Model-Based Design
What's new in MATLAB and Simulink for Model-Based Design Magnus Jung Application Engineer 2016 The MathWorks, Inc. 1 What s New? 2 Model-Based Design Workflow RESEARCH REQUIREMENTS DESIGN Scheduling Event
More informationAnalog Verification Concepts: Industrial Deployment Case Studies
Analog Verification Concepts: Industrial Deployment Case Studies Frontiers in Analog CAD (FAC 2014) July, 9-10, 2014, Grenoble, France Peter Rotter, Infineon Technologies AG Agenda Analog Verification
More informationIndex. A a (atto) 154 above event 120, 207 restrictions 178
Symbols! (negation) 174!= (inequality) 174!== (not identical) 174 # delay 166, 216 not in analog process 196 $abstime 83, 175 $bound_step 77, 190 $discontinuity 69, 79, 80, 191 $display 192 $driver_...
More informationSoC Design for the New Millennium Daniel D. Gajski
SoC Design for the New Millennium Daniel D. Gajski Center for Embedded Computer Systems University of California, Irvine www.cecs.uci.edu/~gajski Outline System gap Design flow Model algebra System environment
More informationModelling and Simulation Made Easy with Simulink Tiffany Liang Application Engineer MathWorks
Modelling and Simulation Made Easy with Simulink Tiffany Liang Application Engineer MathWorks 2015 The MathWorks, Inc. 1 What will you learn in this presentation? For those who are not familiar with Simulink
More informationSimulation and Exploration of LAURA Processor Architectures with SystemC
Simulation and Exploration of LAURA Processor Architectures with SystemC M.Sc. thesis of Feraaz Imami July 9, 2009 Leiden Institute of Advanced Computer Science Leiden University Supervisor: Second reader:
More informationfakultät für informatik informatik 12 technische universität dortmund Data flow models Peter Marwedel TU Dortmund, Informatik /10/08
12 Data flow models Peter Marwedel TU Dortmund, Informatik 12 2009/10/08 Graphics: Alexandra Nolte, Gesine Marwedel, 2003 Models of computation considered in this course Communication/ local computations
More informationExperiences and Challenges of Transaction-Level Modelling with SystemC 2.0
Experiences and Challenges of Transaction-Level Modelling with SystemC 2.0 Alain CLOUARD STMicroelectronics Central R&D (Grenoble, France) STMicroelectronics TLM is useful SoC HW/SW design flow Standard
More informationPhilip Andrew Simpson. FPGA Design. Best Practices for Team-based Reuse. Second Edition
FPGA Design Philip Andrew Simpson FPGA Design Best Practices for Team-based Reuse Second Edition Philip Andrew Simpson San Jose, CA, USA ISBN 978-3-319-17923-0 DOI 10.1007/978-3-319-17924-7 ISBN 978-3-319-17924-7
More informationSystemC Modules and Hierarchy. Rolf Drechsler Daniel Große University of Bremen
SystemC Modules and Hierarchy Rolf Drechsler Daniel Große University of Bremen Module Module Basic building block of design partitioned C++ Class, similar to entity (VHDL) or module (Verilog) SC_MODULE(module_name)
More informationSystem level modelling with open source tools
System level modelling with open source tools Mikkel Koefoed Jakobsen (mkoe@imm.dtu.dk) Jan Madsen (jan@imm.dtu.dk) Seyed Hosein Attarzadeh Niaki (shan2@kth.se) Ingo Sander (ingo@kth.se) Jan Hansen (jan@real-ear.com)
More informationHardware Modeling. Hardware Description. ECS Group, TU Wien
Hardware Modeling Hardware Description ECS Group, TU Wien Content of this course Hardware Specification Functional specification High Level Requirements Detailed Design Description Realisation Hardware
More informationModular SystemC. In-house Training Options. For further information contact your local Doulos Sales Office.
Modular SystemC is a set of modules related to SystemC TM (IEEE 1666-2005) aimed at fulfilling teambased training requirements for engineers from a range of technical backgrounds, i.e. hardware and software
More informationSmartSpice Verilog-A Interface. Behavioral and Structural Modeling Tool - Device Model Development
SmartSpice Verilog-A Interface Behavioral and Structural Modeling Tool - Device Model Development Verilog-A Models and Features Agenda Overview Design Capability Compact Modeling Verilog-A Inteface - 2
More informationComprehensive design and verification with the industry s leading simulators
Comprehensive design and verification with the industry s leading simulators Cadence Virtuoso Multi-Mode Simulation combines industry-leading simulation engines to deliver a complete design and verification
More informationTHE DESIGN ENVIRONMENT FOR HETEROGENEOUS SYSTEMS
THE DESIGN ENVIRONMENT FOR HETEROGENEOUS SYSTEMS SystemC / SystemC AMS based Simulation and Modeling Technologies Outline COSIDE Today COSIDE 2.0 COSIDE Future 2 Management Summary Combination of analog
More informationVirtuoso Characterization
A complete solution for fast and accurate characterization and validation The Cadence Virtuoso Characterization Suite delivers the industry s most comprehensive and robust solution for the characterization
More informationCO SIMULATION OF GENERIC POWER CONVERTER USING MATLAB/SIMULINK AND MODELSIM
CO SIMULATION OF GENERIC POWER CONVERTER USING MATLAB/SIMULINK AND MODELSIM Ajay Singh MIT, Modinagar U.P (India) ABSTRACT In this paper we discuss about the co-simulation of generic converter using MATLAB
More informationKey technologies for many core architectures
Key technologies for many core architectures Thierry Collette CEA, LIST thierry.collette@c ea.fr 1 Embedded computing Silicon area offers perfo rmance Applications x 40 from 90 to 45 ns Computing performance
More informationElements of a SystemC Design Platform
Elements of a SystemC Design Platform GEORGE ECONOMAKOS Department of Electrical and Computer Engineering National Technical University of Athens Zographou Campus, GR-15773 Athens GREECE Abstact: - Modern
More informationA SIMULATION BASED METHODOLOGY FOR THE DEVELOPMENT OF EMBEDDED-ANALOGUE-MIXED-SIGNAL SYSTEMS USING SYSTEMC-AMS. Benjamin Mulwa Kathale I56/72438/2008
A SIMULATION BASED METHODOLOGY FOR THE DEVELOPMENT OF EMBEDDED-ANALOGUE-MIXED-SIGNAL SYSTEMS USING SYSTEMC-AMS Benjamin Mulwa Kathale I56/72438/2008 A thesis submitted in partial fulfillment for the degree
More informationEE E6930 Advanced Digital Integrated Circuits. Spring, 2002 Lecture 18. Introduction to Verilog-A/Verilog-AMS
EE E6930 Advanced Digital Integrated Circuits Spring, 2002 Lecture 18. Introduction to Verilog-A/Verilog-AMS References D. Fitzpatrick and I. Miller, Analog Behavior Modeling with the Verilog-A Language,
More informationAbstraction Layers for Hardware Design
SYSTEMC Slide -1 - Abstraction Layers for Hardware Design TRANSACTION-LEVEL MODELS (TLM) TLMs have a common feature: they implement communication among processes via function calls! Slide -2 - Abstraction
More informationSDL. Jian-Jia Chen (slides are based on Peter Marwedel) TU Dortmund, Informatik 年 10 月 18 日. technische universität dortmund
12 SDL Jian-Jia Chen (slides are based on Peter Marwedel) TU Dortmund, Informatik 12 2017 年 10 月 18 日 Springer, 2010 These slides use Microsoft clip arts. Microsoft copyright restrictions apply. Models
More informationFlexRay TM Conformance Testing using OVM
FlexRay TM Conformance Testing using OVM Mark Litterick Co-founder & Verification Consultant Verilab Copyright Verilab 2011 1 Introduction FlexRay overview What is conformance testing Open Verification
More informationNew technological opportunities coming along with SystemC/SystemC AMS for AMS IP Handling and Simulation
New technological opportunities coming along with SystemC/SystemC AMS for AMS IP Handling and Simulation Karsten Einwich, Thilo Vörtler, Thomas Arndt Fraunhofer IIS/EAS Outline n Introduction n SystemC
More informationCosimulation II. Cosimulation Approaches
Cosimulation II Cosimulation Approaches How to cosimulate? How to simulate hardware components of a mixed hardware-software system within a unified environment? This includes simulation of the hardware
More informationCosimulation II. How to cosimulate?
Cosimulation II Cosimulation Approaches Mahapatra-Texas A&M-Fall 00 1 How to cosimulate? How to simulate hardware components of a mixed hardware-software system within a unified environment? This includes
More informationMetaRTL: Raising the Abstraction Level of RTL Design
MetaRTL: Raising the Abstraction Level of RTL Design Jianwen Zhu Electrical and Computer Engineering University of Toronto March 16, 2001 zhu@eecg.toronto.edu http://www.eecg.toronto.edu/ zhu DATE 2001,
More informationDesign and Verification of FPGA and ASIC Applications Graham Reith MathWorks
Design and Verification of FPGA and ASIC Applications Graham Reith MathWorks 2014 The MathWorks, Inc. 1 Agenda -Based Design for FPGA and ASIC Generating HDL Code from MATLAB and Simulink For prototyping
More informationOCCN: A Network-On-Chip Modeling and Simulation Framework. M.Coppola, S.Curaba, M.Grammatikakis, R.Locatelli, G.Maruccia, F.Papariello, L.
OCCN: A Network-On-Chip Modeling and Simulation Framework M.Coppola, S.Curaba, M.Grammatikakis, R.Locatelli, G.Maruccia, F.Papariello, L.Pieralisi Outline Introduction SoC trends SoC: Towards a NoC centric
More informationECEN 468 Advanced Logic Design Department of Electrical and Computer Engineering Texas A&M University. Lab 1
ECEN 468 Advanced Logic Design Department of Electrical and Computer Engineering Texas A&M University (Lab exercise created by Jaeyeon Won and Jiang Hu) Lab 1 Introduction to SystemC and Simulator Purpose:
More informationDesign and Verification of FPGA Applications
Design and Verification of FPGA Applications Giuseppe Ridinò Paola Vallauri MathWorks giuseppe.ridino@mathworks.it paola.vallauri@mathworks.it Torino, 19 Maggio 2016, INAF 2016 The MathWorks, Inc. 1 Agenda
More informationTesting Operating Systems with RT-Tester
Testing Operating Systems with RT-Tester Jan Peleska, Oliver Meyer, Johannes Kanefendt and Florian Lapschies jp@verified.de University of Bremen and Verified Systems International GmbH, Bremen, Germany
More informationPreview. Process Control. What is process? Process identifier The fork() System Call File Sharing Race Condition. COSC350 System Software, Fall
Preview Process Control What is process? Process identifier The fork() System Call File Sharing Race Condition COSC350 System Software, Fall 2015 1 Von Neumann Computer Architecture: An integrated set
More informationRTL design in python:
RTL design in python: porting the mmips Jos Huisken June 25 th, 2013 What is Python? What is Python? A general purpose programming language Growing in popularity Interpreted language (bytecode-interpretive)
More informationHDL Cosimulation August 2005
HDL Cosimulation August 2005 Notice The information contained in this document is subject to change without notice. Agilent Technologies makes no warranty of any kind with regard to this material, including,
More informationApplication of Multi-domain and Multi-language Cosimulation to an Optical MEM Switch Design
Application of Multi-domain and Multi-language Cosimulation to an Optical MEM Switch Design Abstract This paper presents the applicability of a cosimulation methodology based on an object-oriented simulation
More informationWill Silicon Proof Stay the Only Way to Verify Analog Circuits?
Will Silicon Proof Stay the Only Way to Verify Analog Circuits? Pierre Dautriche Jean-Paul Morin Advanced CMOS and analog. Embedded analog Embedded RF 0.5 um 0.18um 65nm 28nm FDSOI 0.25um 0.13um 45nm 1997
More informationDiscrete Event Models
12 Discrete Event Models Jian-Jia Chen (slides are based on Peter Marwedel) TU Dortmund, Informatik 12 Germany Springer, 2010 2016 年 11 月 08 日 These slides use Microsoft clip arts. Microsoft copyright
More informationANALOG IP WITH INTELLIGENT IP FROM SYSTEM TO SILICON
ANALOG IP WITH INTELLIGENT IP FROM SYSTEM TO SILICON Torsten Reich, Fraunhofer IIS/EAS IIP Analog IP with Intelligent IP from system to silicon What is Intelligent IP (on silicon level)? Intelligent IP
More informationFlexible and Executable Hardware/Software Interface Modeling For Multiprocessor SoC Design Using SystemC
Flexible and Executable / Interface Modeling For Multiprocessor SoC Design Using SystemC Patrice Gerin Hao Shen Alexandre Chureau Aimen Bouchhima Ahmed Amine Jerraya System-Level Synthesis Group TIMA Laboratory
More informationMixed Signal Verification of an FPGA-Embedded DDR3 SDRAM Memory Controller using ADMS
Mixed Signal Verification of an FPGA-Embedded DDR3 SDRAM Memory Controller using ADMS Arch Zaliznyak 1, Malik Kabani 1, John Lam 1, Chong Lee 1, Jay Madiraju 2 1. Altera Corporation 2. Mentor Graphics
More informationVLSI Design. Assignment. KU Sommersemester 2006 Analysis of Stream Ciphers. Stream cipher implementation VLSI VLSI PRNG PRNG. Key = K.
Design KU Sommersemester 2006 Analysis of Stream Ciphers 1 Assignment Stream cipher implementation PRNG PRNG Key = K Key = K Keystream Keystream Plaintext Ciphertext Plaintext Plaintext XOR Keystrem =
More informationOverview. Design flow. Principles of logic synthesis. Logic Synthesis with the common tools. Conclusions
Logic Synthesis Overview Design flow Principles of logic synthesis Logic Synthesis with the common tools Conclusions 2 System Design Flow Electronic System Level (ESL) flow System C TLM, Verification,
More informationNgspice: Recent progresses and future plans
Paolo Nenzi 1,2, Francesco Lannutti 1,2, Robert Larice 2, Holger Vogt 2, Dietmar Warning 2 1) DIET University of Roma Sapienza ; 2) Ngspice development team 11 th MOS-AK/GSA ESSDERC/ESSCIRC Workshop, September
More informationSimulation-Based FlexRay TM Conformance Testing using OVM. Mark Litterick Senior Consultant and Co-Founder, Verilab
Simulation-Based FlexRay TM Conformance Testing using OVM Mark Litterick Senior Consultant and Co-Founder, Verilab Agenda FlexRay overview What we mean by conformance testing What OVM brings to the party
More informationHDL-Based Design. Eduardo Sanchez EPFL. Introduction
HDL-Based Design Eduardo Sanchez EPFL Introduction As designs grew in size and complexity, schematic-based design began to run out of steam In addition to the fact that capturing a large design at the
More informationIncisive Enterprise Verifier
Integrated formal analysis and simulation engines for faster verification closure With dual power from integrated formal analysis and simulation engines, Cadence Incisive Enterprise Verifier allows designers,
More informationIntro to System Generator. Objectives. After completing this module, you will be able to:
Intro to System Generator This material exempt per Department of Commerce license exception TSU Objectives After completing this module, you will be able to: Explain why there is a need for an integrated
More information