コード解析・コード変換・並列化
Cコード解析、 C++からC並列化コード自動生成 MBD処理速度予測、関数の依存関係解析
超高速なシミュレータ
高性能でリターゲット可能な 機能的命令セットシミュレータ RISC-V, ARM-M, Aシリーズ対応 QEMU, SNPSとの統合可能
NPU, DSP, CPUを1コアで実現
Chimera GPNPU DEVSTUDIOにてHW/SW同時開発・最適化 将来のAIアルゴリズムにも対応可能
SW/HWインターフェースの設計・検証支援
SW/HWの仕様書を”ゴールデン化” レジスタ定義から デバイスドライバ、RTL、ドキュメント自動生成
設計/検証IDE
デザイン階層や 検証コードの構造ビュー スマートエディタ(自動補間、コードテンプレート) ハイパーリンクを使ったソースコード内の移動
RTL・CDC検証用 リント・ツール
ASIC及びFPGA設計向け RTL,CDC,チェック 及びデバック統合環境
検証IP・デザインIP・カスタマイズ
全自社製 安価/高速/高精度な 600種の検証IP/200種類の設計IP RISC-V検証サービス
アナログIP&カスタムASIC開発
超高精度、超高速および低消費電力の ADC・DACアナログIPを約100種類販売 自動キャリブレーション機能搭載
ネクストリームニュース
ネクストリームの日常と、皆様のお役に立てる情報をいち早くお届け
4月26日(水)16:00-17:00 Vervesemi社ウェビナーを開催!データ・コンバータの動向と課題、アナログIPの独自技術を解説
この度当社ではVervesemi社のウェビナーを開催する運び[…]
Read moreemmtrix
ソフトウェアを自動で並列化
高性能な組込みマルチコア・システムをターゲットとしたソフトウェア開発を効率的に行うための、ソリューションプロバイダーです。
マルチコア・プロセッサ、ベクトル・プロセッサ、アクセラレータ(GPU、DSPなど)、あるいはこれらのヘテロジニアスな組み合わせのシステムをサポートしています。 learn moreMachineWare
超高速シミュレータ
MachineWare社はFTL(Fast Transfer Library)をはじめとする独自テクノロジを開発することで、柔軟性が高く、数百MHzから数GHzの超高速シミュレーションを実現しています。
MachineWare社のSIM-Vを、GDBやEclipseなどの標準的なソフトウェアデバッガと接続することで、実機レスでのインタラクティブなデバッグや、テストの自動化を実現します。 SystemC TLM-2.0上で動作するFTLベースのプロセッサ・モデルは、既存のARMコアやTLM2.0で作成されたバーチャル・プロトタイプ環境に容易に統合可能です。 learn moreQuadric
革命的な機械学習推論IP
デバイス上の人工知能処理向けに最適化された、最先端のプロセッサ・アーキテクチャChimera汎用ニューラル処理ユニット あらゆる機械学習モデルの移植を高速化し、市場投入までの時間を短縮 古典的なMLモデルの実行、LLMの実行、トランスフォーマーの実行 – すべてを実行可能 SoC設計の簡素化によって、新規MLモデルの移植を大幅に加速 CPU, DSP, NPUといった各種プロセッサ向けに手作業でソースコードを分割することなく、複雑なC++コードを実行 Learn moreAgnisys
SW/HWインターフェースの設計・検証支援
AgnisysではWord、エクセル、IP-XACT、SystemRDL等で記載されたレジスタ情報から、合成可能なレジスタ回路、System Verilog、UVMモデル、Cヘッダファイル、ドキュメント等を自動生成するツールIDesignSpec、およびUVMのシーケンス自動生成ツールISequenseSpecを提供しています。
learn moreAmiq
Verilog、SystemVerilog、Verilog AMS、VHDL、UPF、CPF、e 言語、PSSを使用する設計・検証エンジニアにとって、生産性を大幅に向上できる統合開発環境(IDE)
通常使用されるテキスト・エディタとは異なり、コードをコンパイルすることで、入力中にエラーを通知し、自動補完機能(オートコンプリート)と修正提案機能(クイック・フィックス・プロポーザル)を使用してコードの記述速度を加速すると同時に、探しているものを即座に見つけることができたり、デバッグやリントチェック、ソースコードから正確で整理されたドキュメントを自動生成可能 Learn moreBluePearl
リント/CDC関連ソリューション
コストパフォーマンスの高いRTL,CDCチェックおよびグラフィカルなデバッグ環境を提供しています。 検証機関を大幅に短縮可能です。 ・HDL Creator:書きながらコーディングチェック ・Analyzer RTL:リントチェックとデバッグ ・Advanced Clock Environment:クロック系統の自動解析 ・Clock Domain Crossing:クロックドメインの解析 ・SDC Generator:業界標準SDCの自動生成 ・Management Dashboard:進捗状況およびError,Warning,Waiver等のリアルタイム管理 ・FPGAフローとの統合:FPGAのライブラリからプロジェクトを直接インポート、UltraFastルール対応
learn moreSmartDV
検証IP関連ソリューション
ベンダのシミュレータやエミュレータに非依存な、広範囲・安価・高速・高精度な検証IP/設計IP/デザインIP 560種類を全て自社で開発しています。
プロトコルデバッガ機能もあり、効率的な検証を提供しています。 またRISC-V向け検証IPおよびデザインに対する検証サービスも開始しました。 ・シミュレータ向け検証IP ・SimXL:合成可能な検証IP ・ポストシリコン検証IP ・アサーション向けVIP ・デザインIP ・検証サービス ・デザインサービス learn moreVervesemi
超高精度、超高速および低消費電力のADC・DACアナログIP
・高精度なAD/DAコンバータ: 耐震、医療、計量器、センサー、プロセス制御など様々な用途に利用可能な24b ADC, 32b AFE ・超低消費電力コンバータ: 組込みマイコン向け12b 5Msps ADC and 16b 5Msps ADC(他社IPの約半分の消費電力) ・超高速AD/DAコンバータ:5G向け12b 1Gsps/2Gsps/5Gsps DAC ・特許取得済みの自動キャリブレーションシステムを搭載
learn moreACCESS
田園都市線たまプラーザ駅改札口から徒歩7分です。 たまプラーザ駅の北口(東急百貨店側)から、 信号を渡ってドトールとファミリーマートの間にある商店街をまっすぐ進み、 セブンイレブンを過ぎて商店街の一番端にある横浜美しが丘郵便局の4階になります。 郵便局前の駐輪場の奥にある階段をお使いください。 お近くへ来られる機会がございましたら、是非お立ち寄りください。
Welcome to contact!
Address:
〒225-0002 神奈川県横浜市青葉区美しが丘 2-21-10