Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations

Broader (1)

Formal methods
Formal specificationVHDL

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2010
Review
2010
Chapter 3 EMBEDDED SYSTEM DESIGN USING PUSSEE METHOD An overview
The approach presented in this book relies on the unification of system specification environments for developing electronic… 
Review
2007
Review
2007
The B Formal Method Bibliography
In this paper we give an overview of some tools that we have developed to support the application of the B Method. ProB is an… 
2006
2006
Dependency Analysis and Default Tolerance in BHDL
Most co-design verification methods depend on co-simulation of two or more types of components that are designed by different… 
2005
2005
Component Reuse in B Using ACL2
We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B… 
2004
2004
A hardware/software codesign framework for developing complex embedded systems using formal model refinement
An aseptically packaged, liquid, non-dairy coffee whitener which is shelf-stable for several months, and a process for preparing… 
2004
2004
BHDL: Principles and tools for generating proven hardware
In this chapter we discuss modeling of hardware and translation to VHDL. Translation to SystemC or Verilog is similar. However… 
2004
2004
Co-design et raffinement en B : BHDL tool, plateforme pourr la conception de composants numériques
Dans le cadre de la modelisation de systemes complexes, la conception d'entree ou appelee systeme represente le plus haut niveau… 
2004
2004
Component based co-design and refinement
This paper focuses on entry design of complex systems and step-wise refinement. Indeed, design of embedded systems and digital… 
2003
2003
BHDL: circuit design in B
The main goal of this project is to provide a method of correct design of digital circuit. It combines the advantages of VHDL… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)