無償ウェビナー：DO-254プロジェクトにおけるHDLコーディング標準の徹底

Windows/Linuxで動作可能なスタティックデザイン解析ツール

『ALINT-PRO』は、コーディングスタイルと命名規則、RTLと合成結果のシミュレーション不一致、スムーズで好適な合成、正しいFSM記述、 設計の後工程での問題、クロックおよびリセットツリーの問題、CDC、RDC、DFT、およびポータビリティと再利用のためのコーディングなどを中心に、VHDL、Verilog、SystemVerilogで記述されたRTLコードを解析する検証ソリューションです。 このソリューションは、RTLとSDC (Synopsys Design Constraints)ソースファイルをベースにスタティック解析を行い、デザインの早期段階で重大なデザインの問題点を見つけ出し、設計時間の大幅短縮に貢献します。 RTLシミュレーションおよび論理合成前にALINT-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サミット）において、量子コンピュータを中心とする量子技術に関する共同声明「量子技術の未来に向けた共同声明」が採択されました。量子コンピュータは、重ね合わせや量子もつれなどの量子力学原理を情報処理に利用したコンピュータです。量子コンピュータを用いると、因数分解、機械学習、量子化学計算、金融、線形連立方程式等のいくつかの数学的問題を古典コンピュータに比べて指数関数的に高に解くことが可能となります。そのため、世界的大企業やスタートアップが量子コンピュータハードウェア・ソフトウェア開発やビジネスをグローバルに展開しています。 本セミナーにおいては、量子コンピュータの基礎、最新研究開発･ビジネス動向、技術課題、展望について紹介する。