A Practical Guide for SystemVerilog Assertions, by Srikanth Vijayaraghavan and Meyyappan Ramanathan. Images are of actual product. The product is still in original cellophane wrapping.