Verification blogger reviews DAC presentation

At the recent DAC in Jun 2013 in Austin Texas, Vicki Mitchell of Altera presented about the use of Imperas tools to find bugs in Operating Systems and RTOS. Ther is more information here.

Miyashita-san of Fuji Xerox follows developments regarding OVP and Imperas and gives an update in his blog here: http://blogs.yahoo.co.jp/verification_engineer/68146679.html