翻訳と辞書 Words near each other ・ Bhikhi Khurd ・ Bhikhi, Pakistan ・ Bhikhi, Punjab ・ Bhikhiwind ・ Bhikhu Parekh ・ Bhikkhu ・ Bhikkhu Analayo ・ Bhikkhu Bodhi ・ Bhikkhu Cintita ・ BHC ・ BHC Communications ・ BHCC ・ BHD ・ Bhdhabare ・ Bhdhegau ・ BHDL ・ BHE ・ Bhe v Magistrate, Khayelitsha ・ Bhechada ・ Bhedabheda ・ Bhedaghat ・ Bhedapu ・ Bhedarganj Upazila ・ Bhede River ・ Bhedi Khazana ・ Bhedia ・ Bhedian Kalan ・ Bhedihari ・ Bhediya ・ Bhediyahi Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク BHDL ： ウィキペディア英語版 BHDL 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”. ==Relation between VHDL and B method== The relation between the abstract machine and the refinement in B method in a B project seems like the Entity-Architecture relation in a VHDL project. In BHDL, from an enriched VHDL notation, the main structure is captured and communicated to the main formal model in order to prove the consistency of the structure and the coherence in relation to the abstract architecture and with the other components of the system. From the graphical tool, VGUI, the main structure of the system is created. Then, two different notations are generated VHDL and B. The produced B method code contains the main features of VHDL one. After that, design may be separated in relation to the techno-logic choices. For more flexibility, designer may write directly the enriched VHDL notation. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「BHDL」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.