18th NASCUG MeetingのAgenda

Verification Evangelistの戯言 : Twitter
SystemVerilogの世界へようこそ、すべては、SystemC v0.9公開から始まった

SystemC Japan 2012は7月6日ですが、NASCUGはDAC中の6月6日(オーメンの生まれた日)に行われました。
午後のみで、アジェンダはこんな感じ。アブストラクトもあります。

引用
    ・Welcome, Agenda & Introduction
　　　　David Black, NASCUG Program Committee

　　・Accellera Systems Initiative Update
　　　　Mike Meredith, Accellera Systems Initiative

　　・Keynote: A Sneak Preview of the Upcoming SystemC AMS 2.0 Standard
　　　　Martin Barnasconi, SystemC AMS Working Group Chair

　　・A Comparison of TLM Modeling Styles' Performance and Accuracy
　　　　Bill Bunton, LSI, USA

　　・An Open-Source, Standards-Based Library for Achieving Interoperability 
　　　Between TLM Models in SystemC and SystemVerilog
　　　　Adam Erickson, Mentor Graphics Corporation, USA

　　・Modeling of Automotive Wheel-speed Sensor ICs in SystemC
　　　　Friedrich Rasbornig, Infineon, Austria

　　・Beyond TLM 2.0: New Virtual Platform Standards Proposals from ST and Cadence
　　　　Stuart Swan, Cadence Design Systems, USA
　　　　Jerome Cornet, STMicroelectronics, USA

　　・Hybrid Simulation of Digital and Analog Models: 
　　　A Study Towards Understanding Various Analog Modeling Methods
　　　　Tor Jeremiassen, Texas Instruments, USA
　　　　Abhilash Nair, Texas Instruments, India

　　・Using Formalized Programming Sequences for Higher Quality Virtual Prototypes
　　　　Jack Donovan, Duolog Technologies Ltd., Ireland

　　・TLM-RTL Accuracy Quantification
　　　　Farooq Chughtai, Ericsson AB, Sweden

AMSとTLMって感じですかね？

気になるのは、Using Formalized Programming Sequences for Higher Quality Virtual Prototypes

それから、 

Beyond TLM 2.0: New Virtual Platform Standards Proposals from ST and Cadence

こちらはソースコードが公開されるようです。

追記(2012.6.10)
プレゼンテーション資料も公開されました。

検証、Verification、SystemC