Quality-Driven SystemC Design

Make: Electronics: Learning Through Discovery

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

Formal Verification of Structurally Complex Multipliers

Enhanced Virtual Prototyping for Heterogeneous Systems

Arduino: A Begineer's Guide

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

Electronic Components and Circuits Lab

Digital Electronics

Advanced Formal Verification

Practical Electronics: Components and Techniques: Components and Techniques

Formal Verification of Circuits

Communications Circuits Experiments

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

Towards a Design Flow for Reversible Logic

Circuitbuilding Do-It-Yourself For Dummies

Formal Specification Level: Concepts, Methods, and Algorithms