S. T. D. and B. B. S., “Assertion Based Verification of I2C Master Bus Controller with RTC”, theijst, vol. 2, no. 5, May 2014.