Logical- and physical-synthesis tools have revolutionized digital-ASIC design over the past decade, increasing chip functions and designer productivity. However, many of today's SOC (system-on-chip) ...