Today, Virtuoso is the platform name for suite of solutions for any design challenge. Today's Virtuoso platform offers everything from formal analog verification and formal constraint management to electrically aware design, FinFET design.