Full licensing opportunity for VirtuosoNext and GoedelWorks