Assertion-Based Verification of I2C Module Using SystemVerilog - Dae-Won, Moon (Electronics, 2025)