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, 3rd Edition