Functional level simulation at Raytheon. - Dan C. Nash; Keith Russell; Paul Silverman; Mary Thiel (DAC, 1980)