Statements (27)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
hardware description language
|
| gptkbp:abbreviation |
gptkb:BSV
|
| gptkbp:designedBy |
gptkb:Arvind
|
| gptkbp:developedBy |
gptkb:Bluespec,_Inc.
|
| gptkbp:extendsTo |
gptkb:SystemVerilog
|
| gptkbp:firstAppearance |
2003
|
| gptkbp:hasFeature |
term rewriting system
strong static typing guarded atomic actions parameterized modules synthesis to Verilog |
| https://www.w3.org/2000/01/rdf-schema#label |
Bluespec SystemVerilog
|
| gptkbp:influencedBy |
gptkb:Haskell
gptkb:SystemVerilog |
| gptkbp:license |
proprietary
open source (core compiler) |
| gptkbp:openSource |
partially
|
| gptkbp:paradigm |
functional programming
concurrent programming hardware description |
| gptkbp:usedFor |
ASIC design
FPGA design design of digital circuits hardware synthesis |
| gptkbp:website |
https://bluespec.com
|
| gptkbp:bfsParent |
gptkb:Verilog
|
| gptkbp:bfsLayer |
5
|