x86

If we thought about verfication-for-security in a different way, the Spectre and Meltdown vulnerabilities could well have been avoided.

The chipmaker used Calypto’s PowerPro to carry out power analysis of its latest core design at the RTL rather than at post-gate synthesis.

The technique enables early software development and hardware/software co-design strategies before a project is more rigidly defined in RTL.