Enhancing ASIC Design Efficiency: A Focus on RTL Verification with Spyglass. - Dhaval Fichadia; Nikeeta Shah; Bhavesh Soni (COMS2, 2024)