Advanced Formal Verification

Electronics Engineering

Formal Verification of Circuits

Arduino: A Begineer's Guide

Evolutionary Algorithms for VLSI CAD

Make: Electronics: Learning Through Discovery

Electronic Components and Circuits Lab

High Quality Test Pattern Generation and Boolean Satisfiability

Communications Circuits Experiments

Quality-Driven SystemC Design

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

Robustness and Usability in Modern Design Flows

Practical Electronics: Components and Techniques: Components and Techniques

In-Memory Computing: Synthesis and Optimization

Introduction to Oscillators

Debugging at the Electronic System Level

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

Towards One-Pass Synthesis

Circuitbuilding Do-It-Yourself For Dummies

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