Towards a Design Flow for Reversible Logic

Make: Electronics: Learning Through Discovery

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

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Circuitbuilding Do-It-Yourself For Dummies

Automatic Methods for the Refinement of System Models: From the Specification to the Implementation

Arduino: A Begineer's Guide

Design Automation for Field-coupled Nanotechnologies

Digital Electronics

Advanced Formal Verification

Electronic Components and Circuits Lab

Formal Verification of Circuits

FPGA Prototyping by SystemVerilog Examples: Xilinx MicroBlaze MCS SoC Edition, Edition 2

Evolutionary Algorithms for VLSI CAD

Practical Electronics: Components and Techniques: Components and Techniques

High Quality Test Pattern Generation and Boolean Satisfiability

Communications Circuits Experiments

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

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

Designing Droplet Microfluidic Networks: A Toolbox for Designers