Symbolic Simulation Methods for Industrial Formal Verification by Robert B. Jones