Generic selectors
Exact matches only
Search in title
Search in content
Post Type Selectors

SemiWiki: An Ah-Ha Moment for Testbench Assembly

Blogs-Placeholder

Sometimes we miss the forest for the trees, and I’m as guilty as anyone else. When we think testbenches, we rightly turn to UVM because that’s the agreed standard, and everyone has been investing

Semiconductor Engineering: Industry Transforming In Ways Previously Unimaginable

Blogs-Placeholder

“Formal can theoretically find every possible bug, but it may take orders of magnitude more time. Formal can be used for unit level, but you often can’t use it on bigger blocks just because the depth to figure out any bug can be too difficult and may take a lifetime to complete. What can be done today, is to use models that represent RTL. In these models, we can abstract out a lot of things that cause depth problems. This can decrease the amount of time it would take to verify the architecture said Chirag Ghandhi, director of verification for…