Life Isn't Fair, So Use Formal

Most things in life are not evenly distributed. Consider for example, the sun and the rain. The city of Portland, Oregon gets much more than its fair share of rainy days per year at 164 on average, while in Yuma, Arizona, 90% of all daylight hours are sunny¹. Or, how about life as an adolescent?

Bins
Code Coverage
Coverage Closure
Formal Verification
FSM
Tests
Waivers
October 2013 - Volume 9 Issue 3
Verification Horizons
Beginner

Formal Verification

Roger Sabbagh - Siemens EDA

This content is reserved for members. Register new account or login to view.

Register your account to view Life Isn't Fair, So Use Formal

Full-access members gain access to our free tools and training, including our full library of articles, recorded sessions, seminars, papers, learning tracks, in-depth verification cookbooks, and more.