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.
Quadrupling the performance of a dedicated CNN engine within an embedded vision processing core brings more complex graph processing within reach.
SoC developers who want to use USB Type-C in their designs will have to implement HDCP 2.2 content protection so that the target devices will be able to play protected content.
German consultancy E-Cooling describes its strategy for thermal and airflow analysis.
The increasing complexity of human-machine interfaces is challenging processor designers to produce the necessary performance within a limited power budget
Our new columnist introduces himself and traces the progress of formal verification over the last two decades. Join the discussion.
This second part looks at Mentor's views on flow neutrality, how DRS360 was born, machine learning and the threat from embedded Trojans.
View All Sponsors