Introduction

MapBuf is the new addition to the family of buffer insertion algorithms in Dynamatic that considers technology mapping and logic synthesis in the timing constraints. Compared to its siblings, who precharacterize the combinational delays of each elastic component, MADBuf estimates propagation delays more accurately and places buffers more aggressively.

Currently, MapBuf works as a plugin to the Dynamatic workflow and requires Gorubi as the backend MILP solver.