Doc Formal: Achieving exhaustive formal verification of packet-based designs
Ashish Darbari breaks down formal's value to this challenging verification task with code examples and reference to VC Formal from Synopsys.
I2C
I3C specification updates I2C for sensor subsystems
A look at the ways in which the I2C serial interface specification is being updated to form I3C, and its use in sensor subsystems