Quantcast
Channel: Cadence Blogs
Viewing all articles
Browse latest Browse all 6660

Formally Verifying Processor Security

$
0
0
Intel has had a couple of major events that totally changed their attitude to verification. The first was in 1994 when they had the Pentium floating-point divide bug. This caused Intel to take a...

[[ Click on the title to access the full blog on the Cadence Community site. ]]

Viewing all articles
Browse latest Browse all 6660

Trending Articles