Synopsys

Considering the issue of functional safety verification in automotive systems design, within the context of ISO26262

A look at implementing Bluetooth low energy interfaces into a design and the trade-offs involved in making different levels of integration

Engineers developing an SoC for the automotive market have to show that it doesn’t have functional safety issues - even if the SoC enters an unexpected state. Here's how to tackle the safety verification task.

Three senior verification specialists talk about how they are navigating the challenge of verifying multibillion-transistor SoCs with limited compute resource, increasing coverage demands and shrinking timescales.

IoT security is critical. Embedding a root of trust in hardware can provide the firm foundation necessary for a more secure IoT implementation.

Emulators have come a long way since their first introduction nearly three decades ago.

A look at the ways in which the I2C serial interface specification is being updated to form I3C, and its use in sensor subsystems

A look at how formal verification strategies can be used to check the security feature of complex SoCs for potential data leakage and data integrity issues

The challenges of creating a more secure IoT, and the role that hardware roots of trust can play in doing so.

Sequential equivalence checking can help trap errors introduced by clock gate insertion, uninitialised registers, and X propagation issues.