Richard Pugh shows how the fast-growing market for drone silicon highlights emulation's power where high data volumes are critical.
In part two of this series, Ashish Darbari introduces a checklist to address verification challenges and build the meta model.
John Ferguson reviews the key capital metrics you need to review when deciding whether to move to a new process.
The challenge for designers is to find ways of providing high levels of security in low-cost devices that have become worthwhile targets because of their role as gateways to more valuable information.
Why is verification still such a challenge in spite of all the technologies and techniques being brought to bear
The assumption has been that extra security eats into profit margins. But with some lateral thinking it can actually improve the bottom line.
Doc Formal concludes his introduction to formal verification with a practitioner's view of the technology.
Using VESA's Display Stream Compression (DSC) standard to enable visually lossless performance and low latency for ultra-high-definition displays.
Doc Formal begins a two-part series by describing the solid and well-established foundations of formal verification.
CCIX is a cache coherency protocol, based on PCI Express, for interconnecting high-performance heterogenous multiprocessing systems.
View All Sponsors