Stephen Bailey Technical Marketing Chair, IEEE 1076 Working Group Customer presentation Supporting Assertion-Based Verification in VHDL An Assertions Functional.