''Automatic LSI Function Checking Using a Hierarchical Procedural Modelling Concept'' (1979)
Author(s): Russell, G.
Date: July 1979
Conference Name: Proceedings of the International Conference on Computer Aided Design and Manufacture of
Computer Aided Design and Manufacture of Electronic Components, Circuits and Systems