1. Home
  2. RISC-Vアーキテクチャ向け包括ソリューション

RISC-Vアーキテクチャ向けソリューション

シーメンスEDAは、フォーマル検証手法を適用したRISC-Vインテグリティ検証ソリューションや、シリコンデバッグやブリングアップのためのDFTソリューション、設計サイクルのシフトレフトを実現する高位設計リューションをはじめ、RTOSやその他の組込みソフトウェア、IP、ツール、サービスを統合し、組込みシステム開発のジャンプスタートを可能にするソリューションなど、包括的なRISC-Vソリューションを提供しています。

6月17日開催ライブウェビナー

RISC-VコアとSoCのインテグリティを保証するために

RISC-Vの背景、検証の課題とシーメンスEDAのフォーマル検証手法を適用したRISC-Vインテグリティ検証ソリューションをご紹介いたします。

ウェビナーを視聴する

プレスリリース

最新のNucleus ReadyStartソリューションで組込みRISC-V開発を効率化、安全性を確保

急速に普及が進むRISC-VアーキテクチャをターゲットとしたNucleus ReadyStart組込み開発向けソリューションの提供を開始

プレスリリースを表示

オンデマンドウェビナー

NVIDIA MatchLibとCatapultによるSoCアーキテクチャ性能評価と高位検証のツボ

Catapult高位合成プラットフォームでのNVIDIA MatchLibの使用方法を、いくつかのAXI4 SOCデモ例を用いて具体的に解説いたします。

ウェビナーを視聴する

オンライン・リソースセンター

Verification Academy

Verification Academyは、高度な機能検証技術に関する情報やトレーニングを提供するオンライン・リソースセンターです。フォーマルベール検証の特集ページでは、OneSpinソリューションを含め、プロパティチェック、カバレッジクロージャ、シーケンシャルロジックの等価性チェックなど、フォーマルベースの機能検証技術にフォーカスしています。

リソースセンターにアクセス

リソース

ホワイトペーパー

RISC-VコアとSoCのインテグリティを保証する

シーメンスEDAのRISC-Vインテグリティ検証ソリューションをご紹介。プロセッサコアとフルチップレベル両方でデザインのインテグリティの4つの側面すべてを検証する方法について解説いたします。

ホワイトペーパーを読む

概要紹介動画

OneSpin機能検証ソリューション

安全性の担保やセキュリティの担保が強く求められるようになり、昨今のICの機能検証にかかる工数はますます増加しています。OneSpin機能検証ソリューションは、大きく分けて機能検証、機能安全、セキュリティという3つの分野で構成されており、そのすべてに対して一貫性のある検証環境を提供します。

技術概要の動画を見る

オンデマンドウェビナー

OneSpin検証ソリューションがVerification Academyに登場!

OneSpinの豊富な検証ソリューションの概要に加え、Verification Academyに掲載されたドキュメント、ビデオなどを併せてご紹介いたします。OneSpin機能検証ソリューションは、RISC-Vコアの検証(拡張命令含む)、FPGAデザインのRTL、ネットの等価性、機能安全(FMEDA分析)など幅広い分野に対応しています。

ウェビナーを視聴する

概要紹介動画

Catapult高位合成プラットフォーム

高位での合成と検証の両方が揃っているシーメンスEDAのCatapultプラットフォームについて、特に高位合成にフォーカスしてご紹介いたします。

技術概要の動画を見る

製品デモ

RISC-Vベースのエッジデバイスやスマートデバイスを実現するNucleus RTOS

このデモでは、Nucleus RTOSをMicrochip PolarFire SoC FPGA Icicleキットで動作させています。このRISC-Vボードは、AWSクラウド上で動作するシーメンスのMendix Web/モバイル・アプリケーションに接続された2つのファン・ユニットを制御しています。

製品デモを見る

ホワイトペーパー

階層型DFTのRISC-Vプロセッサへの適用

Tessentの階層型DFTとATPGの手法をRISC-Vプロセッサに適用した事例をご紹介いたします。階層型DFTフローを採用すると、DFTの作業を設計フローの早い段階で進めることができ、ATPGの実行時間と計算リソースを10分の1にまで削減します。

ホワイトペーパーを読む

ホワイトペーパー

商用グレードのソフトウェア開発エコシステムでRISC-Vベースの組込みシステム開発を確実に成功に導く

RISC-Vの歴史とRISC-Vがもたらすもの、さらにオープンソースのRISC-Vツールチェーンの現状について解説するとともに、シーメンスのツールチェーン・サービスによってRISC-Vプラットフォーム上のアプリケーションを最大限に活用する方法についてご紹介いたします。

ホワイトペーパーを読む

ファクトシート

Nucleus RTOS

Nucleus RTOSは、統合されたソフトウェアIP、ツール、およびパートナーテクノロジを、すぐに使える単一のソリューションにまとめています。拡張可能なフットプリント、接続性、セキュリティ、電力管理、および出た―ミニスティックなパフォーマンスが不可欠なアプリケーションに理想的です。

ファクトシートを読む

RISC-Vアーキテクチャ向けソリューション

シーメンスEDAは、フォーマル検証手法を適用したRISC-Vインテグリティ検証ソリューションや、シリコンデバッグやブリングアップのためのDFTソリューション、設計サイクルのシフトレフトを実現する高位設計リューションをはじめ、RTOSやその他の組込みソフトウェア、IP、ツール、サービスを統合し、組込みシステム開発のジャンプスタートを可能にするソリューションなど、包括的なRISC-Vソリューションを提供しています。

OneSpinフォーマル検証ソリューション

ICのインテグリティを保証

OneSpinフォーマル検証ソリューションは、今日の重要なICインテグリティ問題を解決。設計チームは最も困難な次世代検証の課題に取り組み、機能的に正しく、安全で、セキュアかつ信頼性の高いSoCを開発できます。

製品情報を表示

高位設計ソリューション

Catapult高位合成および高位検証ソリューション

Catapult高位合成ソリューションは、C++/SystemC両言語対応、FPGA/ASIC非依存、ASICパワー推定/最適化に加えて、フィジカルを考慮した(Physical Aware)最新のマルチVth制約下での面積/性能最適化を提供します。

製品情報を表示

ハードウェア支援検証システム

Veloceハードウェア支援検証システム

Veloceは、高度に洗練された次世代集積回路(IC)のデザインを迅速に検証するためのハードウェア支援検証システムです。クラス最高のバーチャル・プラットフォーム、ハードウェア・エミュレーション、FPGAプロトタイピング・テクノロジを初めて完全に統合したVeloceによるソリューションは、ハードウェア支援検証メソドロジの真価を発揮します。

製品情報を表示

Nucleus RTOS

今日の高度な設計のためのRISC-V対応リアルタイム・オペレーティング・システム

Nucleus RTOSは、スケーラブルなフットプリント、接続性、セキュリティ、電力管理、および決定論的パフォーマンスが不可欠なアプリケーションに最適なカーネルリッチ機能とツール機能をまとめて提供します。産業用システム、医療機器、航空機システム、自動車など、厳しい安全性とセキュリティ要件が要求される市場で広く採用されています。

製品情報を表示