Books by John B. (University of Manchester) Gosling

This book describes the structure of simulators suitable for use in the design of digital electronic systems. It includes the compiled code and event driven algorithms for digital electronic system simulators, together with timing verification. A chapter is devoted to fault simulation. The text introduces hardware accelerators and modellers.