Introduction Getting Started Install Dynamatic Tutorials Introduction Examples Modifying Dynamatic Using Dynamatic VM Setup User Guide Advanced Build Analyzing Output Files Command Reference Dependencies Kernel Code Guidelines Optimizations And Directives Sub Modules Guide Verification Developer Guide Introductory Material Contributing Software Architecture Dynamatic HLS Flow File Check Testing Tutorial: Creating Passes 1. Simplifying Merge Like Ops 2. Writing A Simple Pass 3. Greedy Pattern Rewriting Testing & CI Introduction Integration Tests Formatting Checks GitHub Actions Compiler Intrinsics Backend Full Backend Extra Signals Type Verification MLIR Op Instantiation C Level MLIR Primer Signal Manager Timing Information Tutorial: Adding New MLIR Operations Cosimulation Design Decision Proposals Add/Remove/Promote Extra Signals Circuit Interface Type System Wait Synchronization Development Tools Documentation Dynamatic Features And Optimizations Buffering MapBuf Blif Generator Blif Reader Technology Mapping Subject Graph Formal Properties LSQ Group Allocator Port To Queue Dispatcher Queue To Port Dispatcher Speculation Adding Spec Tags to Spec Region Commit Unit Placement Algorithm Integration Tests Save Commit Behavior Synth Blif Exporter Blif File Manager Blif Generator Blif Importer Handshake To Synth Conversion Mark Blif File Synth Dialect Specs Floating Point Units HW Flattening Pass Timing Characterization XLS Lower Handshake To XLS Pass