Based on the recent advancement in languages, this paper presents a novel methodology for the verification of analog and mixed-signal circuits using HVLs. HVLs improve reuse and enables automation to help quality control and reduce time to market.