For pt.I see ibid., vol.1, no.2 (1979). The basic structure, simulation control language, and characteristics of the logic simulation program, SALOGS IV, are described. This code is a time-based, table-driven simulator, can be used in the 4- or 8-state mode, contains complex built-in delay and gate level models, and has a functional modelling capability.