CDNLive Silicon Valley 2019

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

Speakers:
Vigyan Singhal, Founder and Chief Oski, Oski Technology
Joe Keirouz, IC Design Engineer, Broadcom

Time: Tuesday, April 2, 4:10 – 4:50 pm
Room: 208

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.