Body and Practice in Kant
This book argues that this standard image of the great German philosopher is radically wrong. Not only does Kant reflect constantly upon the fact that human life is embodied, but the Critique of pure reason itself may be read as a critical reflection aimed at exploring some significant philosophical implications of this fact.
A Practical Guide for SystemVerilog Assertions
SystemVerilog language consists of three very specific areas of constructs - design, assertions and testbench. This guide shows how to use the language to solve real verification problems. It examines how to verify complex protocols and memories using SVA with seeral examples.

