Functional level simulation in FANSIM3 - algorithms, data structures and results. - S. Hirschhorn; M. Hommel; C. Bures (DAC, 1981)