April 2-3, 2019
Santa Clara Convention Center – Santa Clara, CA
Session Track: IP / Block Verification
Title: A Novel Approach to Verifying a PCIe Receiver Framer
Vigyan Singhal, Founder and Chief Oski, Oski Technology
Joe Keirouz, IC Design Engineer, Broadcom
Time: Tuesday, April 2, 4:10 – 4:50 pm
Abstract: In this session, we will present a novel approach to verifying the absence of payload-header data interference in a PCIe receiver framer. This worry-case has been a known cause of simulation-resistant bugs in the framer. We demonstrate a formal verification approach which verifies that the receiver framer never confuses payload data with framing tokens or packet header symbols, for every combination of payload data, packet lengths, modes, link widths and all types of framing errors.
For more event details and registration, please click here.