I recently got into learning verification, therefore, I read Chris Spear's book on Verification. After the book, I wrote the verification code for small blocks such as RAM, adder, etc. However, I am currently looking for resources on writing verification code for complex IP's such as Ethernet, or some MIPS processor, etc. with detailed examples. Therefore, any resources in this direction are most welcome.
Any other approach or resources to enhance my practical knowledge in verification is also welcome.