DocumentCode
1573018
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
fYear
2003
Firstpage
241
Lastpage
242
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Application of Concurrency to System Design, 2003. Proceedings. Third International Conference on
Print_ISBN
0-7695-1887-7
Type
conf
DOI
10.1109/CSD.2003.1207723
Filename
1207723
Link To Document