無償ウェビナー：SystemVerilogの検証では何が出来る？

FPGA設計・検証に好適な機能を搭載

Active-HDLはWindowsで動作するチーム環境向けFPGAデザイン作成およびシミュレーションの統合ソリューションです。Active-HDLの統合デザイン環境(IDE)には、完全なHDLおよびグラフィカル・デザインツールとRTL/ゲートレベルの混合言語シミュレータがあり、FPGAデザインを短期間で開発から検証までできるようになっています。 ※詳しくはPDF(英語版)をダウンロードして頂くか、お気軽にお問い合わせ下さい。

• その他情報システム

次世代のFPGAやSoCを制作するエンジニアの検証ニーズに対応します！

Riviera-PROは、次世代の最先端FPGAやSoCを制作するエンジニアの検証ニーズに対応します。テストベンチ生産性の最大化、再利用、高性能シミュレーション・エンジンとデバッグ機能を様々な抽象レベルで統合することによる自動化、さらには最新言語と検証ライブラリ規格のサポートなどが、Riviera-PROで実現できます。 ※詳しくはPDF資料をご覧いただくか、お気軽にお問い合わせ下さい。

• その他情報システム

UVMなどのSystemVerilogを使用した検証メソドロジにより、RTL段階での検証効率が向上すると聞いたことはあっても、SystemVerilogで何が出来るのか、どのように使用するのか把握していない設計者も多いのではないでしょうか。 本セミナーでは、SystemVerilogの検証に関する基本的な機能と有用性についてサンプルデザインを用いて紹介いたします。 1．デザイン概要 2．UARTテスト環境 3．アサーション　(SVA & PSL) 4．ファンクショナルカバレッジ 5．ランダムテストベンチ 6．DPI-C

RTCA/DO-254ガイダンスでは、申請者にHDLコーディング標準の定義と施行を推奨しています。この作業は、標準の定義、その施行方法、そしてプロセスが自動化される場合はツールまたは結果の評価方法を含む計画プロセスから始まります。重要な問題はガイダンスには明確に定義された公式標準がなくどのようにしてHDLコードの詳細なレビューを実施するかということになります。 本ウェビナではALINT-PROを使用してコーディング標準を施行し、DO-254の目標を満たすために全体的なデザインレビューを合理化する利点を紹介します。

アドバンテック東洋株式会社は、幕張メッセ国際展示場で開催される 『JASIS 2025』に出展いたします。 当展示会は、分析機器・科学機器メーカーが 一堂に会する最先端科学・分析システム＆ソリューション展で、 analytica、Pittconと並んで、分析・計測に関するアジア最大級の展示会です。 JASIS 2025では、26年4月に施行される水道法省令への対応に効果的なPFAS除去用カートリッジフィルターや 25年10月上市予定の紙製微生物検査用ディスポーザブルフィルターユニットを紹介、 法改正により事業者の自律的管理が求められる薬品に関して「ケミカルデザイン」というリスク管理が出来る アプリケーションのデモ展示、ラボの移設・改修・新設等の問題解決について、専門の説明員からご提案いたします。 皆様のご来場を心よりお待ちしております。

[講　師] 国際大学学長・大学院国際経営学研究科教授 橘川 武郎 氏 [重点講義内容] 今年２月、第７次エネルギー基本計画が閣議決定された。メディア等が伝えない同計画の本質は、どのようなものか。 同計画は、水素・アンモニア・次世代燃料（合成メタン、合成液体燃料、グリーンLPガス等）の開発・社会実装に、いかなる影響を及ぼすか。本講演では、これらの論点について掘り下げる。その際、特に光を当てるのは、同計画が打ち出した二つのシナリオのうち、エネルギー業界の関係者のあいだで本命視されているリスクシナリオの内容、「カーボンニュートラル実現後も重要なエネルギー源」と新たに意味づけられた天然ガスの役割、などの点である。 [講演項目] １．第７次エネルギー基本計画 ２．水素 ３．アンモニア ４．合成燃料 ５．リスクシナリオ ６．天然ガスシフト ７．質疑応答／名刺交換

[講　師] 法政大学 情報科学部 教授 川畑 史郎 氏 [重点講義内容] 石破首相は 2025年を量子産業化元年と位置づけ、量子技術の産業化支援を強化する方針を示しました。また 2025年6月にカナダで開催された主要7カ国首脳会議（G7サミット）において、量子コンピュータを中心とする量子技術に関する共同声明「量子技術の未来に向けた共同声明」が採択されました。量子コンピュータは、重ね合わせや量子もつれなどの量子力学原理を情報処理に利用したコンピュータです。量子コンピュータを用いると、因数分解、機械学習、量子化学計算、金融、線形連立方程式等のいくつかの数学的問題を古典コンピュータに比べて指数関数的に高に解くことが可能となります。そのため、世界的大企業やスタートアップが量子コンピュータハードウェア・ソフトウェア開発やビジネスをグローバルに展開しています。 本セミナーにおいては、量子コンピュータの基礎、最新研究開発･ビジネス動向、技術課題、展望について紹介する。