The exact solution of timing verification

Timing Analysis Using Functional Analysis

IEEE Transactions on Computers

On the general false path problem in timing analysis

DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference

Efficient algorithms for computing the longest viable path in a combinational network

DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference

Static timing analysis of dynamically sensitizable paths

DAC '89 Proceedings of the 26th ACM/IEEE Design Automation Conference