Invited: The Future of Functional ECO Automation and Logical Equivalence Checking for Advanced Digital Design Flows. - Zhuo Li 001; David Stratman (ISPD, 2025)