1. Introduction
  3. Getting Started
  4. Install Dynamatic
  5. Tutorials
    1. Introduction
      1. Examples
      2. Modifying Dynamatic
      3. Using Dynamatic
  7. VM Setup
  9. User Guide
  10. Advanced Build
  11. Analyzing Output Files
  12. Command Reference
  13. Dependencies
  14. Kernel Code Guidelines
  15. Optimizations And Directives
  16. Sub Modules Guide
  17. Verification
  19. Developer Guide
  20. Introductory Material
    1. Contributing
    2. Software Architecture
    3. Dynamatic HLS Flow
    4. File Check Testing
    5. Tutorial: Creating Passes
      1. 1. Simplifying Merge Like Ops
      2. 2. Writing A Simple Pass
      3. 3. Greedy Pattern Rewriting
  22. Compiler Intrinsics
    1. Backend
    2. Extra Signals Type Verification
    3. MLIR Op Instantiation C Level
    4. MLIR Primer
    5. Signal Manager
    6. Timing Information
    7. Tutorial: Adding New MLIR Operations
  24. Design Decision Proposals
    1. Add/Remove/Promote Extra Signals
    2. Circuit Interface
    3. Type System
    4. Wait Synchronization
  26. Development Tools
  27. Documentation
  28. Dynamatic Features And Optimizations
    1. Buffering
      1. MapBuf
        1. Blif Generator
        2. Blif Reader
        3. Technology Mapping
        4. Subject Graph
    3. Formal Properties
    4. LSQ
      1. Group Allocator
      2. Port To Queue Dispatcher
      3. Queue To Port Dispatcher
    6. Speculation
      1. Adding Spec Tags to Spec Region
      2. Commit Unit Placement Algorithm
      3. Integration Tests
      4. Save Commit Behavior
  30. Specs
    1. Floating Point Units
    2. Timing Characterization
  32. XLS
    1. Lower Handshake To XLS Pass