El advenimiento de los lenguajes de verificación de alto nivel como y el lenguaje E de Verisity, impulsaron el desarrollo de Superlog, por Co-Design Automation Inc.