Capilano Computing produces books (including software) that explain its schematic editor and logic simulators, LogicWorks and DesignWorks, for PC and Macintosh platforms [ 1995], as well as its Verilog interface . The book by Ciccarelli  includes a circuit simulator, BreadBoard, with a schematic-entry program.
Miczo [ 1994] covers digital simulation in general. Arora [ 1993] covers MOS models in detail. Carey et al.  cover the mathematical aspects of circuit and device modeling. Cheng and Agrawal [ 1989] cover vector generation from the perspective of testing. Hëorbst’s edited book contains papers on simulation [ 1986]. Hill and Coelho [ 1987] cover mixed-level or multilevel simulation. Tuinenga [ 1988], Banzhaf [ 1989], Morris , Fenical , Conant , Nilsson and Riedel , Kielkowski [ 1994], and Lamey  are all introductory books on simulation using the SPICE or PSpice. The book by Al-Hashimi  on PSpice covers both digital and analog simulation. Massobrio and Antognetti [ 1993] cover the internal details of the SPICE and PSpice models. Meta Software’s HSPICE User Manual is very detailed and an essential companion for serious users of any flavor of the SPICE [ 1996]. McCalla [ 1988] covers the mathematical principles of circuit simulation. Ogrodzki [ 1994] covers simulation algorithms. Pillage et al. [ 1994] cover newer circuit and system simulation methods as alternatives to the SPICE including asymptotic waveform evaluation ( AWE ). Rao et al. [ 1989] cover switch-level simulation. White and Sangiovanni-Vincentelli [ 1987] cover waveform relaxation simulation. Zukowski [ 1986] is an advanced text on bounding approach to simulation. Divekar  covers device modeling. Fjeldly, Ytterdal, and Shur  cover device modeling and simulation. Two books by Tsividis cover device modeling: the first [ 1987] is an advanced treatment of the MOS transistor; the second [ 1996] includes an introduction to the problems of device modeling.