Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2010
Review
2010
The approach presented in this book relies on the unification of system specification environments for developing electronic… Expand
  • figure 3-1
  • figure 3-2
  • figure 3-3
  • figure 3-4
  • figure 3-5
Is this relevant?
Review
2007
Review
2007
In this paper we suggest to use the B formal method to model a protocol dedicated to smart cards. We use a pragmatic approach to… Expand
Is this relevant?
2006
2006
Most co-design verification methods depend on co-simulation of two or more types of components that are designed by different… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
In this chapter we discuss modeling of hardware and translation to VHDL. Translation to SystemC or Verilog is similar. However… Expand
Is this relevant?
2004
2004
Dans le cadre de la modelisation de systemes complexes, la conception d'entree ou appelee systeme represente le plus haut niveau… Expand
Is this relevant?
2004
2004
An aseptically packaged, liquid, non-dairy coffee whitener which is shelf-stable for several months, and a process for preparing… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
This paper focuses on entry design of complex systems and step-wise refinement. Indeed, design of embedded systems and digital… Expand
Is this relevant?
2003
2003
The main goal of this project is to provide a method of correct design of digital circuit. It combines the advantages of VHDL… Expand
Is this relevant?