assertion languageとは 意味・読み方・使い方

ASSERTION DESCRIPTION LANGUAGE GENERATION METHOD AND DEVICE, AND ASSERTION BASE SIMULATION PROGRAM USING IT例文帳に追加

アサーション記述言語生成方法、装置及びそれを用いたアサーションベースシミュレーションプログラム - 特許庁

yet another new candidate for an industry-standard assertion language発音を聞く 例文帳に追加

業界標準表明言語のさらにまた新しい候補 - コンピューター用語辞典

The assertion language that RST developed is used to specify the condition that an assertion statement is verifying.発音を聞く 例文帳に追加

RSTで開発した表明言語は、ある表明ステートメントが実証される条件を規定するのに用いられる。 - コンピューター用語辞典

Even the designer not well informed about a verification property language such as PSL can easily perform assertion-based verification.例文帳に追加

さらに、ＰＳＬなどの検証プロパティ言語に精通していない設計者にも容易にアサーションベース検証を行うことができる。 - 特許庁

To generate an operation model which can verify a condition that the correct operation of hardware is established in a cycle precision level by assertion as general-purpose programming language description.例文帳に追加

サイクル精度レベルでハードウェアの正しい動作が成立する条件をアサーションにより検証可能な動作モデルを汎用プログラミング言語記述として生成する。 - 特許庁

When a foreign language application is cited as a ground for refusal of another application(Article 29bis or Article 39), and when the applicant of the latter makes an assertion that the foreign language document of the cited application contains new matter beyond the original text.発音を聞く 例文帳に追加

外国語書面出願をある出願の拒絶理由の根拠(第29条の2又は第39条)として引用した場合において、引用した上記外国語書面出願について、出願人が外国語書面には原文新規事項があると主張したとき。 - 特許庁

Many Korean scholars have mixed feelings in relation to documents which prove that literature and an original writing system had been widely established in Japan including for people outside the aristocracy much earlier than in Korea; therefore, some Korean scholars may prefer to adhere to hypothesis of direct relationship between 'the ancient Korean language' and the "Manyoshu" without concrete scientific evidence to back up the assertion.発音を聞く 例文帳に追加

多くの韓国人学者は、庶民も含む広範な文学の成立と固有言語の表記法が、自国よりもはるか以前の時期に日本において文献で確認できることに複雑な感情を抱いており、「古代朝鮮語」と『万葉集』の直結的関連性については、韓国の学界では科学的論証を経ずに肯定的に捉えられている。 - Wikipedia日英京都関連文書対訳コーパス