Semiconductor Engineering .:. The Week In Review: Design

Tools OneSpin revealed new formal applications focused on random fault verification for safety critical analysis in automotive and other mission-critical applications. The Fault Injection App provides controlled injection of faults and assertion mapping to associated fault scenarios, as well as visibility into corrupted design behavior. The Fault Detection App allows the detection of dangerous random faults or faults not detected by the safety mechanism. Additionally, the Fault Propagation App was updated to include a new debugger and support for SystemVerilog Assertions (SVA) and Property Specification Language (PSL). Cadence launched VirtualBridge Adapter, a virtual emulation technology allowing user applications and OS drivers to establish a virtual protocol connection to Palladium platforms.