CAN is widely used in the transportation industry. Verification of RTL models gets challenging without use of automated techniques.