アプリケーション検証ツールの英語

ＩＣカード用アプリケーションプログラムの実行時検証をＩＣカード外の正統ツールチェーンで充分にアプリケーションプログラムを検証し、実行時検証の一部機能をメモリ資源等の乏しいＩＣカード上の実装から取り除くこと。例文帳に追加

To remove the partial function of verification at execution from installed functions on an IC card whose memory resources, etc., are insufficient by sufficiently verifying an application program with a legitimate tool chain outside the IC card about the verification of the application program for the IC card at the execution. - 特許庁

標準化言語は、ターゲット命令セットの構成可能な定義、命令セットを実行するのに必要なハードウェアのＨＤＬ記述、及び検証及びアプリケーション開発のための開発ツールを開発するために使用されるので、設計処理の高度の自動化を可能にする。例文帳に追加

A standardized language is used to develop configurable definitions of target instructions sets, HDL descriptions of hardware needed to implement the instruction set, and development tools for verification and application development, thus enabling a high degree of automation in the design process. - 特許庁

標準化言語は、ターゲット命令セットの構成可能な定義、命令セットを実行するのに必要なハードウェアのＨＤＬ記述、及び検証及びアプリケーション開発のための開発ツールを開発するために使用されるので、設計処理の高度の自動化を可能にする。例文帳に追加

A standardized language is used to develop configurable definitions of target instruction sets, HDL descriptions of a hardware needed to implement the instruction set, and development tools for verification and application development, thus a high degree of automation in a design process can be achieved. - 特許庁