- 2 6 ▁ ▁Category : Can ad ian ▁federal ism ▁case ▁law ▁Category : S up reme ▁Court ▁of ▁Canada ▁cases ▁Category : 2 0 1 4 ▁in ▁Canadian ▁case ▁law ▁* Reference ▁Category : S up reme ▁Court ▁of ▁Canada ▁reference ▁question ▁cases ▁Category : Can ad ian ▁jud icial ▁review ▁case ▁law ▁Category : C ourt ▁administration ▁Category : J ud icial ▁nomin ations ▁and ▁appoint ments <0x0A> </s> ▁B H DL ▁is ▁method ▁of ▁correct ▁design ▁of ▁digital ▁circuit . ▁It ▁comb ines ▁the ▁advantages ▁of ▁V H DL , ▁the ▁well - known ▁language ▁of ▁circuit ▁design , ▁with ▁the ▁power ▁of ▁B ▁method ▁that ▁guarante es ▁the ▁correct ▁design ▁( w . r . t . ▁a ▁formal ▁specification ). ▁This ▁allows ▁avoid ing ▁the ▁design ▁test ▁since ▁it ▁is ▁” correct ▁by ▁proven ▁construction ”. ▁ ▁Rel ation ▁between ▁V H DL ▁and ▁B ▁method ▁The ▁relation ▁between ▁the ▁abstract ▁machine ▁and ▁the ▁ref in ement ▁in ▁B ▁method ▁in ▁a ▁B ▁project ▁seems ▁like ▁the ▁Entity - Arch itecture ▁relation ▁in ▁a ▁V H DL ▁project . ▁In ▁B H DL , ▁from ▁an ▁en rich ed ▁V H DL ▁notation , ▁the ▁main ▁structure ▁is ▁captured ▁and ▁communic ated ▁to ▁the ▁main ▁formal ▁model ▁in ▁order ▁to ▁prove ▁the ▁consist ency ▁of ▁the ▁structure ▁and ▁the ▁coh er ence ▁in ▁relation ▁to ▁the ▁abstract ▁architecture ▁and ▁with ▁the ▁other ▁components ▁of ▁the ▁system . ▁From ▁the ▁graph ical ▁tool , ▁V G UI ,