Quality-Driven SystemC Design

🔒Hacking: The Core of Hacking: An Easy Guide to Open Secret Knowledge of Hacker🔓

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

Kali Linux Cookbook

Formal Verification of Circuits

CYBER WAR AND IT'S PROTECTION

Evolutionary Algorithms for VLSI CAD

Deep Thinking: Where Machine Intelligence Ends and Human Creativity Begins

Binary Decision Diagrams: Theory and Implementation

footprinting & scanning

Towards a Design Flow for Reversible Logic