functional verificationとは 意味・読み方・使い方

INFORMATION PROCESSING SYSTEM, INFORMATION PROCESSOR, FUNCTIONAL VERIFICATION SUPPORT METHOD OF NEW COMPUTER AND COMPUTER PROGRAM例文帳に追加

情報処理システム、情報処理装置、新計算機の機能検証支援方法、及びコンピュータプログラム - 特許庁

The logic verification method is provided with: a means of determining whether the output of a functional block test is an input to another functional block test; and a means of making the output be the input to the other functional block test.例文帳に追加

機能ブロックテストの出力が他の機能ブロックテストの入力となるかどうかを判定する手段と、出力を他の機能ブロックテストの入力とする手段を設ける。 - 特許庁

A generation part 3 of a functional model with input restriction generates a functional model for verification by combining the description of the port type of the functional model with the generated input restriction description.例文帳に追加

入力制約付き機能モデル生成部３は、機能モデルのポート型の記述に前記生成された入力制約記述を合成することで検証用機能モデルを生成する。 - 特許庁

To efficiently perform scenario verification in which data are transferred between functional blocks of a logic system.例文帳に追加

論理システムにおける機能ブロック間でのデータの受け渡しを行うシナリオ検証を効率的に行うことを目的とする。 - 特許庁

Functional coverage is calculated according to the result of the one chip verification (ST11) and the items 25 to be verified (ST12).例文帳に追加

１チップ検証（ＳＴ１１）の結果および検証すべき項目２５に基づいて機能カバレッジを算出する（ＳＴ１２）。 - 特許庁

This function verification method is provided with a process for preparing a first functional block 100a capable of operating a function required inside a semiconductor integrated circuit, a process for preparing a second functional block 100b serving as a verification object having the substantially same configuration as the first functional block, and a process for verifying the function of the second functional block 100b by the first functional block 100a.例文帳に追加

本発明の機能検証方法では、半導体集積回路内で要求された機能を実行することが可能な第１の機能ブロック１００ａを用意する工程と、第１の機能ブロックと実質的に同一の構成を有する検証対象となる第２の機能ブロック１００ｂを用意する工程と、第１の機能ブロック１００ａによって第２の機能ブロック１００ｂの機能を検証する工程を有している。 - 特許庁

To provide a technology capable of accelerating the speed of verification of a large-scale, multi-functional and complicated logic in the development of an LSI, and achieving early removal of a defect, and remarkable improvement of verification efficiency.例文帳に追加

ＬＳＩ開発において、多機能、複雑かつ大規模な論理の検証を加速し、不良の早期摘出と検証効率の飛躍的改善を実現することができる技術を提供する。 - 特許庁

To generate a functional model for enabling reliable verification and to verify the equivalence of functionality in a short time.例文帳に追加

確実に検証を行うことが可能な機能モデルを生成でき機能性の等価性検証を短時間で行うことを可能にする。 - 特許庁