There are many timing violations in NIC-400 bus matrix, e.g., address from one AXI slave to another AHB master through BM. There is no DFF in that path, but timing is very critical.
Using Socrates, how can we fix the timing violation by inserting pipeline ?