WEDNESDAY July 22, 3:30pm - 5:00pm
TOPIC AREA: DESIGN
KEYWORD: VERIFICATION/VALIDATION, FRONT END DESIGN, ARCHITECTURE & SYSTEM DESIGN
EVENT TYPE: DESIGNER TRACK
Who's Got the Ball? Pragmatic Approaches to Formal Sign-Off of Deadlocks
Chair:
Jacob Chang - SiFive, Inc., San Mateo, CA
Organizer:
Roger Sabbagh - Oski Technology, Inc., San Jose, CA
Special/Invited Session
Modern IC designs have become very complex, with a high degree of parallelism and concurrency, which increases the risk of deadlock. Deadlock scenarios often occur in rare cases, which involve several preconditions occurring in a particular sequence with specific timing. Consequently, deadlock bugs are at risk of surviving the traditional verification process. Formal verification models the conditions under which a design is expected to make forward progress, i.e. it has the “ball”. Formal analysis then exhaustively explores all possible input combinations and sequences to prove the absence of deadlocks, or find deadlock bugs, by showing all the ways that the ball can be dropped. In this session, three invited speakers present pragmatic approaches to sign-off on the absence of deadlocks using formal verification.

Thank you to our Designer Track Sponsor:


70.1Proving Absence of Deadlock in High-Performance Cache Sub-Systems
 Speaker: Vaibhavi Solanki - Qualcomm Technologies, Inc., San Diego, CA
 Authors: Vaibhavi Solanki - Qualcomm Technologies, Inc., San Diego, CA
Nishant Yadav - Oski Technology, Inc., Gurugram, India
Chirag Agarwal - Oski Technology, Inc., Gugrugram, India
70.2Covering the Last Mile in SoC Level Deadlock Verification
 Speaker: Dhruv Gupta - Oski Technology, Inc., Gurugram, India
 Authors: Jef Verdonck - u-blox AG, Leuven, Belgium
Konstantinos Liatakis - u-blox AG, Athens, Greece
Khaled Nsaibia - u-blox AG, Thalwil, Switzerland
Dhruv Gupta - Oski Technology, Inc., Gurugram, India
Sagar Dewangan - Oski Technology, Inc., Gurugram, India
Tarun Upadhyay - Oski Technology, Inc., Gurugram, India
70.3Starvation Avoidance Verification in Bus Interconnect Fabrics
 Speaker: Brad Bingham - IBM Systems Group, Austin, TX
 Authors: Brad Bingham - IBM Systems Group, Austin, TX
Viresh Paruthi - IBM Systems Group, Austin, TX