Bluespec(TM) Reference Guide Bsv

User Manual:

Open the PDF directly: View PDF .
Page Count: 462 [warning: Documents this large are best viewed by clicking the View PDF Link!]

Scroll down to view the document on your mobile browser.

Table of Contents
Introduction
- Meta notation
Lexical elements
- Whitespace and comments
- Identifiers and keywords
- Integer literals
  - Type conversion of integer literals
- Real literals
  - Type conversion of real literals
- String literals
  - Type conversion of string literals
- Don't-care values
- Compiler directives
Packages and the outermost structure of a BSV design
- Scopes, name clashes and qualified identifiers
- The Standard Prelude package
- AzureIPTM Foundation Libraries
Types
- Polymorphism
- Provisos (brief intro)
  - The pseudo-function valueof (or valueOf)
- A brief introduction to deriving clauses
Modules and interfaces, and their instances
- Explicit state via module instantiation, not variables
- Interface declaration
  - Subinterfaces
- Module definition
- Module and interface instantiation
  - Short form instantiation
  - Long form instantiation
- Interface definition (definition of methods)
- Rules in module definitions
- Examples
- Synthesizing Modules
  - Type Polymorphism
  - Module Interfaces and Arguments
Static and dynamic semantics
- Static semantics
- Dynamic semantics
User-defined types (type definitions)
- Type synonyms
- Enumerations
- Structs and tagged unions
Variable declarations and statements
- Variable and array declaration and initialization
- Variable assignment
- Implicit declaration and initialization
- Register reads and writes
- Begin-end statements
- Conditional statements
- Loop statements
  - While loops
  - For loops
- Function definitions
  - Definition of functions by assignment
  - Function types
Expressions
- Don't-care expressions
- Conditional expressions
- Unary and binary operators
- Bit concatenation and selection
- Begin-end expressions
- Actions and action blocks
- Actionvalue blocks
- Function calls
- Method calls
- Static type assertions
- Struct and union expressions
- Interface expressions
  - Differences between interfaces and structs
- Rule expressions
Pattern matching
- Case statements with pattern matching
- Case expressions with pattern matching
- Pattern matching in if statements and other contexts
- Pattern matching assignment statements
Finite state machines
Important primitives
- The types bit and Bit
  - Bit-width compatibility
- UInt, Int, int and Integer
- String and Char
- Tuples
- Registers
- FIFOs
- FIFOFs
- System tasks and functions
Guiding the compiler with attributes
- Verilog module generation attributes
  - synthesize
  - noinline
- Interface attributes
- Scheduling attributes
- Evaluation behavior attributes
  - split and nosplit
- Input clock and reset attributes
- Module argument and parameter attributes
- Documentation attributes
Advanced topics
- Type classes (overloading groups) and provisos
- Higher-order functions
- Module types
Embedding RTL in a BSV design
- Parameter
- Method
- Port
- Input clock
- Default clock
- Output clock
- Input reset
- Default reset
- Output reset
- Ancestor, same family
- Schedule
- Path
- Interface
- Inout
Embedding C in a BSV Design
- Argument Types
- Return types
- Implicit pack/unpack
- Other examples
Keywords
The Standard Prelude package
- Type classes
- Data Types
- Operations on Numeric Types
- Registers and Wires
- Miscellaneous Functions
- Environment Values
- Compile-time IO
AzureIP Foundation Libraries
- Storage Structures
- FIFOs
- Aggregation: Vectors
- Aggregation: Lists
- Math
- FSM
  - StmtFSM
- Connectivity
- Utilities
- Multiple Clock Domains and Clock Generators
- Special Collections
Other Libraries
Index
Function and Module by Package
Packages provided as BSV source code
Typeclasses

Navigation menu