Formal Verification of Circuits

Learning SOLIDWORKS 2023: Modeling, Assembly and Analysis

Evolutionary Algorithms for VLSI CAD

Manual of Engineering Drawing: Technical Product Specification and Documentation to British and International Standards, Edition 3

Beginner's Guide to SOLIDWORKS 2024 - Level I: Parts, Assemblies, Drawings, SOLIDWORKS Visualize and SimulationXpress

Towards One-Pass Synthesis

Learning Autodesk Inventor 2022: Modeling, Assembly and Analysis

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

SketchUp Pro 2013 step by step

Binary Decision Diagrams: Theory and Implementation

Rapid Prototyping of Digital Systems: SOPC Edition

Reversible and Quantum Circuits: Optimization and Complexity Analysis

Thermal Analysis with SOLIDWORKS Simulation 2022 and Flow Simulation 2022

Towards a Design Flow for Reversible Logic

Getting Started with MakerBot

Formal Specification Level: Concepts, Methods, and Algorithms

SketchUp Pro 2014 New features

High Quality Test Pattern Generation and Boolean Satisfiability

Creo Simulate 9.0 Tutorial: Structure and Thermal

Quality-Driven SystemC Design