VERIFICATION OF AHB PROTOCOL USING SYSTEM VERILOG ASSERTIONS - Gaikwad, Nikhil B.; Patil, Vijay N. (International Journal of Advance Research and Innovative Ideas In Education, 2018)