Assertions have been a staple in formal verification for years. Now they are being examined to see what else they can be used for, and the list is growing.
Traditionally, design and verification engineers have used assertions in specific ways. First, there are assertions for formal verification, which are used by designers to show when something is wrong. Those assertions help to pinpoint wh...
» read more