BHDL とは

BHDLはデジタル回路の正しい設計方法です。これは、よく知られた回路設計の言語であるVHDLの利点と、正しい設計(正式仕様)を保証するB法の能力とを組み合わせたものです。これにより、「実績のある構造で正しい」ため、設計テストを回避できます。