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. Testing & CI
    1. Introduction
    2. Integration Tests
    3. Formatting Checks
    4. GitHub Actions
  24. Compiler Intrinsics
    1. Backend
    2. BetaBackend
    3. Extra Signals Type Verification
    4. MLIR Op Instantiation C Level
    5. MLIR Primer
    6. Signal Manager
    7. Timing Information
    8. Tutorial: Adding New MLIR Operations
  26. Design Decision Proposals
    1. Add/Remove/Promote Extra Signals
    2. Circuit Interface
    3. Type System
    4. Wait Synchronization
  28. Development Tools
  29. Documentation
  30. 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
  32. Specs
    1. Floating Point Units
    2. Timing Characterization
  34. XLS
    1. Lower Handshake To XLS Pass