Title :
BHDL: circuit design in B
Author :
Aljer, Ammar ; Devienne, Philippe ; Tison, Sophie ; Boulanger, Jean-Louis ; Mariano, Georges
Author_Institution :
Lab. d´´Informatique Fondamentale de Lille, France
Abstract :
The main goal of this project is to provide a 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". Furthermore, this project provides a tool, called BHDL, with a graphical interface for creating, editing, viewing and proving modular hardware architectures.
Keywords :
digital circuits; formal specification; graphical user interfaces; hardware description languages; hardware-software codesign; B method; BHDL tool; VHDL; digital circuit design; formal specification; graphical interface; hardware architectures; Circuit simulation; Circuit synthesis; Circuit testing; Computer languages; Design methodology; Digital circuits; Formal specifications; Hardware; Software prototyping; Software tools;
Conference_Titel :
Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on
Print_ISBN :
0-7695-1887-7
DOI :
10.1109/CSD.2003.1207723
