Quality-Driven SystemC Design

Arduino Project Handbook: 25 Practical Projects to Get You Started

Arduino Book for Beginners

Enhanced Virtual Prototyping: Featuring RISC-V Case Studies

The Hardware Hacking Handbook: Breaking Embedded Security with Hardware Attacks

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

Micro:bit for Mad Scientists: 30 Clever Coding and Electronics Projects for Kids

Enhanced Virtual Prototyping for Heterogeneous Systems

Internet of Things. Qualitative Aspects of Concept and Implications in the Educational Field With Special Reference to India

Advanced Formal Verification

Building Your Own Smart Mirror with Raspberry Pi: A Beginner's Guide to Customizing and Building Your Own Smart Mirror with Raspberry Pi

Formal Verification of Circuits

Internet of Things in Agriculture. An Overview

Evolutionary Algorithms for VLSI CAD

DIY Weather Station: Building Your Own Weather Station with Raspberry Pi

High Quality Test Pattern Generation and Boolean Satisfiability

Building Smart Robots Using ROS: Design, Build, Simulate, Prototype and Control Smart Robots Using ROS, Machine Learning and React Native Platform

Towards a Design Flow for Reversible Logic

Introduction to SystemVerilog

Formal Specification Level: Concepts, Methods, and Algorithms