Question: Synopsys, an American company, is the leading company by sales in the Electronic Desing Automation industry. OpenVera is a hardware verification language developed and managed by Synopsys, what is Synopsys' first and best known product?
Sentence (from "Rajeev Madhavan"): Red Herring" magazine named Madhavan to its “Top Innovators” list in 2002.
Relevant evidence: No