Rishiyur S. Nikhil
Abstract
Bluespec refers to a language and associated tools which are being used for all aspects of hardware system design . specification, synthesis, modeling, and verification. The language, BSV (Bluespec SystemVerilog), is based on a new model of computation for hardware, where all behavior is described as a set of rewrite rules, or Guarded Atomic Actions. Unlike the process/thread model of Verilog, VHDL and SystemC, or the sequential model of C/C++, all behavior of a BSV program can be understood in terms of atomic rule firings. This computational model has a long pedigree in formal specification and verification systems (e.g., Dijkstra's Guarded Commands, UNITY, TLA+, and EventB), and BSV makes it available for hardware design.
- }}R.S.Nikhil, Bluespec, a General-Purpose Approach to High-Level Synthesis Based on Parallel Atomic Transactions, in High Level Synthesis: from Algorithm to Digital Circuit, Philippe Coussy and Adam Morawiec (editors), Springer, 2008, pp. 129-146Google Scholar
- }}Arvind, R.S.Nikhil, D.Rosenband and N.Dave, High-Level Synthesis: An Essential Ingredient for Designing Complex ASICs, in Proc. Intl. Conf. on Computer Aided Design (ICCAD), 2004 Google ScholarDigital Library
- }}www.bluespec.com, website of Bluespec, Inc, including examples, training material, user forums, etc.Google Scholar
- }}http://csg.csail.mit.edu/oshd, http://www.opencores.com, open-source BSV designs for H.264 decoder, 802.11a Transmitter and Receiver, Cryptosorter, etc.Google Scholar
Index Terms
- What is Bluespec?
Recommendations
VHDL vs. Bluespec system verilog: a case study on a Java embedded architecture
SAC '08: Proceedings of the 2008 ACM symposium on Applied computingThis paper compares two hardware design flows, based on the classic VHDL on one side and the relatively new Blue-spec System Verilog (BSV) on the other side. The comparison is based on a case study of a Java embedded architecture, comprising a Java ...
What is Bluespec?
Bluespec refers to a language and associated tools which are being used for all aspects of hardware system design . specification, synthesis, modeling, and verification. The language, BSV (Bluespec SystemVerilog), is based on a new model of computation ...
Bluespec: A language for hardware design, simulation, synthesis and verification Invited Talk
MEMOCODE '03: Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-DesignBluespec has an execution model based on atomic actions.This model is quite different from traditional hardwaredescription languages like Verilog, VHDL and SystemC.Its also different from software languages like C andJava. Bluespec is based on research ...
Comments