Advanced Formal Verification

Make: Electronics: Learning Through Discovery

Formal Verification of Circuits

Arduino: A Begineer's Guide

Evolutionary Algorithms for VLSI CAD

Electronic Components and Circuits Lab

Communications Circuits Experiments

High Quality Test Pattern Generation and Boolean Satisfiability

Practical Electronics: Components and Techniques: Components and Techniques

Design for Testability, Debug and Reliability: Next Generation Measures Using Formal Techniques

Introduction to Oscillators

Formal and Practical Techniques for the Complex System Design Process using Virtual Prototypes: Better Early than Never

Digital Electronics

Towards One-Pass Synthesis

Make: Analog Synthesizers: Make Electronic Sounds the Synth-DIY Way

Binary Decision Diagrams: Theory and Implementation

Beginner's Guide to Reading Schematics, Third Edition: Edition 3

Towards a Design Flow for Reversible Logic

Circuitbuilding Do-It-Yourself For Dummies

Reversible and Quantum Circuits: Optimization and Complexity Analysis