Simanticは、仮想マイクロコントローラ（MCU）上で組み込みファームウェアを実行、検査、テストできるシミュレーションエンジンを提供します。スケーリングや自動化が困難な場合がある物理ハードウェアとは異なり、Simanticのプラットフォームは決定論的な仮想クロック環境を提供します。これは、同じ入力で提供された同じファームウェア（ELFファイル）が、異なる実行間でもバイト単位で正確に同じ出力を生成することを意味します。このプラットフォームは、RP2040や様々なSTM32モデルを含む多数の一般的なMCUをサポートしており、コマンドラインインターフェース（CLI）およびHTTP APIを通じてアクセス可能です。
このロゴは、AIエージェントおよびCI/CDパイプライン向けの新しいファームウェアシミュレーションエンジンをリリースした企業を表しています。
このプラットフォームは、検証が遅く手動になりがちなファームウェア開発のボトルネックを解決するために特化して位置付けられています。Simanticは、プルリクエストに統合するように設計された「Simantic Bot」を導入しました。このボットはファームウェアをビルドし、コードの変更（diff）に基づいて生成したシナリオに対してシミュレーター内で実行し、何がテストされ、何が見つかり、どのような修正が提案されたかを含むレビューを提供します。この自動化は、高速かつ安価になった急速なコード生成と、伝統的に遅い物理ハードウェアの検証プロセスの間のギャップを埋めることを意図しています。
シミュレーションは高精度な環境を提供しますが、特定の技術的境界内で動作します。Simantic CLIは、ローカルのPython 3.12以上のインストールと、バックエンドからMCUモデルを取得するためのSimanticアカウントを必要とします。シミュレーションは決定論的であるため、CI/CD統合の主要なツールとして機能し、すべてのコミットを自動的にテストすることを可能にします。しかし、プラットフォームの正確性はMCUモデルの忠実度に依存します。ドキュメントには、一部のモデルは「不完全」であり警告とともに実行される可能性があることが記されており、このシミュレーションはシリコンのモデルであり、すべての物理的なニュアンスを完璧に置き換えるものではないことを強調しています。