It’s no secret that hardware is the new currency in the chip world. It’s no longer the case that the semiconductor industry is in the hands of traditional semiconductor giants; an increasing number of ...

Users of iLogix's Rhapsody and Statemate Magnum software-development tools can now use formal methods to assist with verification of their code. Statemate is a high-level tool for project ...