Technical Report Number
Lsim2 is gate/switch-level digital logic simulator. It enables users to model digital circuits both at the gate and switch level and incorporates features the support investigation of the simulation task itself. Lsim2 is an augmented version of the original lsim* with the addition of several new MSI-type components models. This user's manual describes procedures for specifying a circuit in lsim2, mechanisms for controlling the simulation, and approaches to modeling systems.
Chamberlain, Roger D. and Edelman, Mark N., "LSIM2 User's Manual" Report Number: WUCS-88-03 (1988). All Computer Science and Engineering Research.