Quality-Driven SystemC Design

Formal Verification of Structurally Complex Multipliers

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

Hacking into Hackers' Head: A step towards creating CyberSecurity awareness

Enhanced Virtual Prototyping for Heterogeneous Systems

Ubuntu Using Hacking

The Unaccountability Machine: Why Big Systems Make Terrible Decisions - and How The World Lost its Mind

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

Cyber Security

Advanced Formal Verification

Make: Electronics: Learning Through Discovery

Formal Verification of Circuits

Kali Linux Cookbook: Over 70 recipes to help you master Kali Linux for effective penetration security testing

Evolutionary Algorithms for VLSI CAD

CYBER WAR AND IT'S PROTECTION

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

Deep Thinking: Where Machine Intelligence Ends and Human Creativity Begins

Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification