Computer Logic, Testing and Verification. By Paul Roth

[1]  James R. Armstrong,et al.  GSP: A Logic Simulator for LSI , 1981, 18th Design Automation Conference.