A fast timing verification method based on the independence of units

This publication has 2 references indexed in Scilit:

• A Graph-Theoretic Approach for Timing Analysis and its Implementation
  IEEE Transactions on Computers, 1987
• A polynomial time algorithm for solving systems of linear inequalities with two variables per inequality
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1979