Survey of analysis, simulation and modeling for large scale logic circuitsAlbert E. Ruehli1981DAC 1981