|
Published Articles >> Table of Contents >> Abstract
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE’03)
p. 249
Bluespec: A language for hardware design, simulation, synthesis and verification Invited Talk
Arvind, Massachusetts Institute of Technology
Full Article Text:
 
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MEMOCODE.2003.10000
Send link to a friend
| Abstract |
|
Bluespec has an execution model based on atomic actions.
This model is quite different from traditional hardware
description languages like Verilog, VHDL and SystemC.
Its also different from software languages like C and
Java. Bluespec is based on research at MIT in using Term
Rewriting Systems (TRS) for hardware descriptions and was
developed into an "industrial strength" language and compiler
by the Sandburst Corporation. Bluespec, because of
its execution model, strong typing, and object orientation,
can raise the level of hardware design significantly without
compromising the ability to synthesize efficient hardware.
In this talk I will outline how and why Bluespec improves
the chip design process by giving examples from microprocessor
and other complex chips.
|
 Additional Information
|
Citation:
Arvind,
"Bluespec: A language for hardware design, simulation, synthesis and verification Invited Talk,"
memocode,
p. 249,
First ACM and IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE’03),
2003
|
|
