Chips are getting bigger and more complex. Naturally, verification requirements are getting more rigorous. And if you’re still going the simulation route, you’ll be writing test-benches…and decoding results… …till the cows come home.  Not to mention spending big bucks… er…loads of cash. But there’s a cleaner approach… You can start using formal verification.  You’re aware that it’s more efficient and more thorough. Yet you can’t shake that nagging feeling that formal is harder to use. OneSpin can help. This chalk talk will show you how.