Verification Challenges & Solutions of 10BaseT1s Automotive Ethernet PHY