The Quest for Bugs

Quest(noun) - a long search for something that is difficult to find...

ASIC Hardware Verification is a resource limited ‘quest’ to find as many bugs as possible before shipping.

It's a long, difficult and costly search; constrained by cost, time and quality.

The search space is akin to a space search; practically infinite!

In the Quest for Bugs we explore multiple topics related to the 'quest' in the context of ASIC Hardware Verification as a series of white papers and short articles.

All materials co-authored by Joe Convey (Acuerdo) and Bryan Dickman (Valytic Consulting)

Part 1.

The Origin of Bugs (45 min read)

Part 2.

The Cost of Bugs (35 min read)

Part 3.

Dilemmas of Hardware Verification (12 min read)

Part 4.

Deep Cycles (10min read)

Part 5.

System Bug Quest (21 min read)

Part 6.

The Bugs of Power (10 min read)

Part 7.

Power Bug Quest (24 min read)

Part 8.

Correct by Design! (10 min read)

Part 9.

Shift-left, right! (7 min read)

Part 10.

Security Matters! (10 min read)

Part 11.

(New) Made in the Cloud! (20 min read)