Harry D. Foster, Chair FVTC, Chief Methodologist, Jasper Design Automation
|
Abstract:
 | PSL 1.01 has been completed, is well-defined and semantically sound and is available. PSL 1.1 is starting and will provide the semantic framework for SVA definition with alignment of PSL and SVA the goal. |
Bio:
Harry Foster serves as Chairman of the Accellera Formal Verification Technical Committee, which is currently defining the PSL property specification language standard. He is co-author of the new Kluwer Academic Publishers book Assertion-Based Design, as well as the Kluwer book Principles of Verifiable RTL Design. Harry is Jasper Design Automation Chief Methodologis. Harry has researched and developed formal verification tools and methodologies for over 12 years as a Senior Member of the CAD Technical Staff at Hewlett-Packard, and is the original creator of the Accellera Open Verification Library (OVL).
|
