Rules

• Rules Of Rules - more detail on exactly how rules work
• Rules of Wires - more detail on wires and how they work in BSV
• Are rule guards always mutually exclusive?

Using Advanced Types

• Using Structures
• Using the Maybe type
• Using Vectors

System Design Examples

• Synchronous State Machine
• Using RWire to Avoid Registers and Latency

Testbenches

• Controlling Simulation
• Stored Test Patterns
• Generating Random Test Patterns

Helping the Scheduler

• Rules vs. Always Blocks
• Alleviating Read/Write Conflicts with ConfigReg
• Register Updates

Debugging Bluespec Designs

• Debugging Hints and Tips
• Debugging Long Compilations
• Viewing Complex Data Structures

Clocks

• Multi Clock Designs  pos and neg edge (and pos reset) in bsv, and DDR...
• Working with Gated Clocks

Import BVI  You may want or need to use an existing verilog block inside BSV... 

Power  Strategies for using Bluespec to reduce power consumption