Please join us for the next DVClub Boston event, featuring a complimentary catered lunch, networking, and enlightening presentation. Special thanks to DVClub Sponsors for making this event possible.

Westford Regency

219 Littleton Rd 
Westford, MA 01886
Wednesday, August 12, 2015 from 11:30 AM to 1:30 PM (EST)

Suckheui Chung (AMD)

"100% Functional Coverage with Formal Methodology"

Formal verification is challenging and its results vary due to many factors. However, in many applications the results justify the investment. This presentation presents one such approach that led to extensive formal verification on an IP thereby achieving 100% functional coverage, a goal nearly impossible to reach through traditional functional simulation, random or direct.


11:30am Doors Open / Networking
12:00pm Lunch and Presentation
1:00pm-1:30pm Networking

Registration Now Open - Click to RSVP

About Suckheui Chung

Suckheui Chung (goes by Chung) has more than 20 year experience of the ASIC/FPGA industry from architecture to design and verification to tapeout. He has delivered more than a dozen chips in applications such as DSP, microprocessor, telecommunication and ATE. He has several US and Korea patents and published in multiple journals and proceedings. He holds MSc in Computer Science from the University of Manchester, UK, MBA from the Northeastern University, US, and BSc in Electronics from Yonsei University, Korea. He is currently working for AMD as verification engineer.