技術資料『RTL とネットリストの等価性の達成：リント は必須』

Henderson, NV, USA – 2023年2月6日 – HDL混在言語シミュレーションとFPGAおよびASICのハードウェア・アシステッド・ベリフィケーションのパイオニアである Aldec, Inc. (以下「アルデック」）は、人気のリンティングツール ALINT-PROをアップデートし、マイクロチップ社のLibero SoC Design Suiteのサポートを強化しました。新リリースでは、VHDL、Verilog、SystemVerilogのハードウェアデザインのスタティックリンティングとクロックドメインクロッシング（CDC）解析のために、LiberoプロジェクトをALINT-PROの環境に自動変換する機能をサポートしています。 続きは添付資料をご参照ください

Henderson, NV, USA – 2022年6月1日 – HDL混在言語シミュレーションとFPGAおよびASICのハードウェア・アシステッド・ベリフィケーションのパイオニアである Aldec, Inc. (以下「アルデック」）は、Riviera-PROの最新リリース（リリースバージョン2022.04）でOpen Component Portability Infrastructure (OpenCPI)をサポートすることにしました。 OpenCPIは、FPGA、GPU、DSP、汎用プロセッサ（GPP）など複数のプロセッサタイプをターゲットとし、PCIe、AXI、Avalon、Ethernet、Auroraなど複数のインターコネクト技術で接続された異種組込みシステム上でコンポーネントベースのアプリケーションを開発し実行するためのオープンソースソフトウェアフレームワークおよび方法論である。 続きは添付資料をご参照ください

アルデックのActive-HDLの最新リリースは、IEEE 1076-2019のプロテクトタイプをサポートしているため、エンジニアは検証用のデータ構造の構築を簡素化および抽象化することが可能です。 Henderson, NV – 2022年3月29日 – HDL混在言語シミュレーションとFPGAおよびASICのハードウェア・アシステッド・ベリフィケーションのパイオニアであるAldec, Inc.(以下「アルデック」）は、Active-HDLバージョン 13.0でVHDLの検証機能を進化させました。 この最新リリースでは、VHDL-2019 のジェネリックスを使用したプロテクトタイプ、プロテクトタイプのコンポジット、プロテクトタイプのオブジェクトへのポインタとプロテクトタイプの構成のサポートが導入されています。 続きは添付資料をご参照ください

アルデックは、Thales社(以下「タレス」）が高速バスインタフェースを使用するFPGAデザインに対するトランザクションレベルモデリングの使用を評価、ハイレベルなテストシナリオを適用、FPGAレベルの要件をテストの100%検証、会社全体の検証時間を短縮することを支援しています。 Henderson, NV, USA – 2022年1月12日 – HDL混在言語シミュレーションとFPGAおよびASICのハードウェア・アシステッド・ベリフィケーションのパイオニアであるAldec, Inc.(以下「アルデック」）は、DO-254コンプライアンスを必要とするPCIeベースのFPGAデザインDAL(Development Assurance Level) AまたはBに分類されるアビオニクスにTLMが使用された最初の例と考えられます。 続きは添付資料をご参照ください