Quality-Driven SystemC Design

Electronics Engineering

Arduino: A Begineer's Guide

Formal Verification of Structurally Complex Multipliers

Make: Electronics: Learning Through Discovery

Enhanced Virtual Prototyping for Heterogeneous Systems

Electronic Components and Circuits Lab

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Communications Circuits Experiments

Advanced Formal Verification

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

Formal Verification of Circuits

Practical Electronics: Components and Techniques: Components and Techniques

Evolutionary Algorithms for VLSI CAD

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

High Quality Test Pattern Generation and Boolean Satisfiability

Introduction to Oscillators

Automated Analysis of Virtual Prototypes at the Electronic System Level: Design Understanding and Applications

Circuitbuilding Do-It-Yourself For Dummies

Robustness and Usability in Modern Design Flows