Technical Tutorial:"Software-Driven Verification Using TLM-2.0 Virtual Platforms"

2/28/11

David Black John Aynsley Bill Bunton Volkan Esen Trevor Wieman
Presenters: David Black, XtremeEDA Corporation; John Aynsley, Doulos; Bill Bunton, LSI Corporation; Volkan Esen, Infineon Technologies; and Trevor Wieman, Intel Corporation

Technical presentations:

  • How We Got Here
  • Software-driven Verification using TLM-2.0 Virtual Platforms
  • LSI Axxia™ VDP Verification Using SystemC TLM-2.0
  • Software-Driven Test Environment for TLM-IP Verification
  • TLM-2.0 Hybrid Virtual Platforms


Find out more >>

NASCUG 16 Presentations

6/6/11

Laurent Isenegger Cristoph Kuznik Umesh Sisodia Larry Lapides David Black

Technical presentations:

  • SystemC IP Generation from Graphics and Verification with a UVM SystemVerilog Testbench
  • Verification Closure of SystemC Designs with Functional Coverage
  • Standard Methodology for Configuration, Control & Inspection of Models
  • Software Verification, Analysis and Profiling on SystemC TLM-2.0 Virtual Platforms
  • TLM-2.0: Miracle Cure or Snake Oil?
  • OSCI and IEEE P1666 Update


Find out more >>

SystemC Day 2011 Video Presentations

2/28/11

Jim Hogan    

Keynote: "Navigating the SoC Era"
Jim Hogan, Vista Ventures LLC, California, USA

 

John Aynsley Cicerone Mihalache Knute Lingaard Ali Poursepanj Eric Lish

Technical presentations:

  • The New IEEE 1666 SystemC Standard
  • Low-cost SystemC Acceleration on Multi-core GNU/Linux Platforms
  • TLM Methodology to Enable Architecture Exploration via Co-simulation of SystemC Models with Legacy C/C++ Models
  • A Common System Memory Model for SoC Software and Architecture Models using a SystemC/TLM-2.0 Interface
  • OSCI Update


Find out more >>

NASCUG 13 Video Presentations

6/13/10

Umesh Sisodia Jiong Ou Bill Bunton John Aynsley Tim Kogel

Technical presentations:

  • How to Create Adaptors Between Modeling Abstraction Levels
  • Modeling Communication Systems Using the SystemC AMS Building Block Library
  • Virtual Development Platforms -- What and How Much to Model?
  • New Features for Process Control in SystemC
  • Generating Workload Models from TLM-2.0 Based Virtual Platforms for Efficient Architecture Performance Analysis


Find out more >>

 

 

                       

OSCI TLM-2.0 Standard and Synthesizable
Subset Video Tutorial

2/22/10

John Aynsley Michael McNamara Mike Meredith
Presenters: John Aynsley, Doulos; Michael McNamara, Cadence Design Systems; and Michael Meredith, Forte Design Systems

Technical presentations:

  • The TLM-2.0 Standard
  • Current Trends in ESL/HLS
  • Why SystemC for Synthesis
  • SystemC Synthesizable Subset Draft V1.3
  • Lessons Learned Using SystemC Synthesis
  • How SystemC HLS Fits in the Design Flow


Find out more >>

SystemC Day 2010 Video Presentations

2/22/10

Gary Smith    

Keynote: "ESL: Where We Are and Where We're Going"
Gary Smith, Gary Smith EDA, California, USA


Technical presentations:

  • The Metaport: A Technique for Managing Code Complexity
  • OCP socket modeling with TLM-2.0
  • ADL Synthesis using ArchC
  • Look Ma, No Clocks! Improving Model Performance
  • TLM-driven Design and Verification Methodology


Find out more >>

TLM Extensions Video Tutorial

John Aynsley    

Using TLM Extensions for Bus Locking and Snooping
John Aynsley, Doulos
7/27/09

Find out more >>

TLM-2.0 in Action Video Tutorial

An Example-based Approach to Transaction-level Modeling and the New World of Model Interoperability
2/24/09

Jack Donovan John Aynsley David Black Zhu Zhou Frank Schirrmeister

Technical presentations:

  • Overview of TLM-2.0 Features
  • TLM Mechanics
  • TLM-2.0 Nuances
  • Performance Modeling Using TLM-2.0
  • Applying TLM-2.0 to Legacy Platforms


Find out more >>

NASCUG 11 Video Presentations

North American SystemC User's Group, 7/27/09

Luca Ferro Karsten Einwich David Black William Gnadt

Technical presentations:

  • A Tool for Assertion-Based Verification of TLM Platforms
  • SystemC-AMS for the Design of Complex Analog/Mixed-signal SoCs
  • Modeling a Virtual MPU
  • High-speed Packet Router Development in SystemC


Find out more >>