Grounds for Grounding : A Handbook from Circuits to Systems, Hardcover by Jof...

Formal Verification: An Essential Toolkit for Modern VLSI Design by Seligman

TRANSISTOR SWITCHING and SEQUENTIAL CIRCUITS by John J Sparkes Paperback Book

Polynomial Formal Verification Of Approximate Functions

Circuits, Devices, and Systems - Ralph J. Smith. Owned by Astronaut D. Peterson

Microwave Devices, Circuits & Their Interaction By C.A. Lee/G.C. Dalman 1994 HC

Design Automation Techniques for Approximation Circuits: Verification, Synthesis

Timing Analysis and Optimization of Sequential Circuits by S. Sapatnekar (Englis