DvCon2010
Paper:                   DvCon10_Checkers_paper.pdf
Presentation:         DvCon10_Checkers_slides.pdf
Code and results: * ccntrl_0602_10.zip (with checkers) // Update 6/2/2010
                               For explanation of change, see http://tinyurl.com/27crkos
                              *ccntrl_mti_021810.tar  (no checkers)

SystemVerilog Assertions Handbook, 2nd Edition
With 10% DvCon discount: $135 + shipping
Book shipped via flat-rate priority mail
2-3 days within USA, 5 to 10-days outside USA
Payment via PayPal