Quality-Driven SystemC Design

Electronics Engineering

Arduino: A Begineer's Guide

Formal Verification of Structurally Complex Multipliers

Make: Electronics: Learning Through Discovery

Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test

Electronic Components and Circuits Lab

Enhanced Virtual Prototyping for Heterogeneous Systems

Communications Circuits Experiments

Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs

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

Advanced Formal Verification

Practical Electronics: Components and Techniques: Components and Techniques

Formal Verification of Circuits

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

Evolutionary Algorithms for VLSI CAD

Introduction to Oscillators

Formal Specification Level: Concepts, Methods, and Algorithms

Circuitbuilding Do-It-Yourself For Dummies

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