High-Level Design Conditions for Post-Fabrication Timing-Adjustable Datapaths