The Power Of Assertions In Systemverilog by Eduard Cerny & Surrendra Dudani