ウィキペディア英語版

出典：Wikipedia

BHDL

出典:『Wikipedia』 (2011/03/12 17:56 UTC 版)

英語による解説

ウィキペディア英語版からの引用
引用

BHDL is method of correct design of digital circuit. It combines the advantages of VHDL, the well-known language of circuit design, with the power of B method that guarantees the correct design (w.r.t. a formal specification). This allows avoiding the design test since it is ”correct by proven construction”.

調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

閲覧履歴

全履歴クリア

・BHDL
・Ellement
・TQFP
・nitratations
・kusuhide
・second printing
・brawning
・abrode
・CELERY
単語帳に追加

BHDLのページの著作権