Verification of an AXI cache controller with a multi-thread approach based on OOP design patterns