Matches in DBpedia 2014 for { <http://dbpedia.org/resource/BHDL> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- BHDL abstract "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”.".
- BHDL wikiPageExternalLink 18870241.pdf?template=1&loginState=1&userData=anonymous-IP%253A%253AAddress%253A%2B69.22.172.150%252C%2B%255B172.16.161.5%252C%2B69.22.172.150%252C%2B127.0.0.1%255D.
- BHDL wikiPageID "30596404".
- BHDL wikiPageRevisionID "539217302".
- BHDL hasPhotoCollection BHDL.
- BHDL subject Category:Formal_methods.
- BHDL subject Category:Formal_specification_languages.
- BHDL type Ability105616246.
- BHDL type Abstraction100002137.
- BHDL type Cognition100023271.
- BHDL type Communication100033020.
- BHDL type FormalMethods.
- BHDL type FormalSpecificationLanguages.
- BHDL type Know-how105616786.
- BHDL type Language106282651.
- BHDL type Method105660268.
- BHDL type PsychologicalFeature100023100.
- BHDL comment "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”.".
- BHDL label "BHDL".
- BHDL label "BHDL".
- BHDL sameAs BHDL.
- BHDL sameAs m.0g9x2tn.
- BHDL sameAs Q2877041.
- BHDL sameAs Q2877041.
- BHDL sameAs BHDL.
- BHDL wasDerivedFrom BHDL?oldid=539217302.
- BHDL isPrimaryTopicOf BHDL.