Robert Kurshan | Oski Technology | Formal Verification Methodology
A neat event to attend for anyone in the Verification field, esp. if you are in or around San Jose.
If you go, say hi to (Bob) K. for me! - Connie
"Oski Technology takes pride in helping our customers reach success through formal application and adoption. In 2013, Oski created the industry-wide Decoding Formal Club, with the goal to share formal knowledge and experience. Thus far the Club has been a lively forum for talks on formal sign-off methodology, achieving sign-off with bounded proof or abstraction models and building a formal test plan for sign-off.
Pre-registration is required. To register, please visit: http://tiny.cc/ea6zmx"