High-Level Synthesis of Efficient Pipelines with Visibility Control
The problem is that existing high-level synthesis (HLS) tools either lack fine-grained control over pipeline structure and hazard resolution or sacrifice sequential semantics to provide it. The method introduces an HLS tool built on visibility control, a novel programming abstraction that unifies hazard resolution strategies including stalling, bypassing, speculation, deferred commit, and register renaming within a sequential programming model. Experimental evidence shows that on in-order RISC-V cores, histograms, and an AES accelerator, compiled pipelines outperform HLS tools with sequential semantics and achieve power, performance, and area (PPA) comparable to hand-written RTL. This matters because it enables rapid design-space exploration for efficient pipelines without requiring RTL or concurrent programming models.