Sebastian R, Mary SR, Gayathri M, Thomas A. Assertion based verification of SGMII IP core incorporating AXI Transaction Verification Model. 2015 International Conference on Control Communication & Computing India (ICCC). 2015:585-588.