InFormal Chat

Author Archive
Anders Nordstrom

Posts by Anders Nordstrom:


Don’t have a Meltdown over a Spectre in your SoC

You may be concerned about the widely published Spectre and Meltdown vulnerabilities affecting most processors, and if your phone and computer are OK. Or more importantly, if you are designing or verifying SoCs, do you have a specter in your design? Let’s first look at what these two vulnerabilities are and how they are affecting your system.

Continue Reading...

Posted in Automation, Formal Methodology, Property Verification


Interconnect Traffic Jam on your SoC

Interconnect on a System on Chip (SoC) is like the road network. There is a lot of it but it still doesn’t go everywhere and traffic jams mean that even if there is a road, you may not be able to get to your destination.

Continue Reading...

Posted in Connectivity Verification