Institutions queue up for university programme

Verisity has significantly expanded its university programme with 22 new university members, bringing the total number of participating academic institutions to 45.

Verisity has significantly expanded its university programme with 22 new university members, bringing the total number of participating academic institutions to 45.

Of these, 14 are listed among the top 50 engineering universities in the USA, as reported by US News.

The new member universities are: Alfred University, Arizona State University, University of Bristol, Darmstadt University, Kyoto University, Loughborough University, Massachusetts University, Nebraska-Lincoln University, Northwestern Polytechnic University, Ohio State University, Osaka University, Purdue University, Santa Clara University, Swiss Federal Institute of Technology (EPFL), Texas A and M University, University of Texas at Austin, The University of Arizona, University of California at Irvine, University of California at Berkeley, University of California at Davis, Washington State University and Washington University.

"We consider it extremely important for our graduates to have familiarity with leading commercial tools such as Specman Elite", said Prof Mulvaney of Loughborough University in the UK.

"Experience with industry-standard tools enhances their employability and ensures our programme remains attractive to new students.

We value highly the partnership between Verisity and Loughborough that has been established by the university programme".

"Leading engineering universities realise the critical role that functional verification plays and are choosing to partner with Verisity to bring Verisity's proven verification process automation solutions to their students", said Yaron Kashai, Vice President of Research and Strategic Technologies, Verisity Design.

"I'm pleased to see such a strong pull for our solutions from the academic community and that many engineering students are now entering the workforce with knowledge of Verisity's verification methodology, Specman Elite and the emerging IEEE standard e verification language".

Many member universities are using Verisity tools to introduce functional verification concepts to their undergraduate students, while others are developing courses based on the emerging IEEE standard e verification language for senior-level and graduate students.

Other programme members are using Verisity tools for research projects in cooperation with commercial companies.

Those projects range from e-based tool research and development, student research projects in verifying complex designs, co-operative research with commercial companies, course laboratories, and tool and methodology instruction.

Any educational institution with research programmes focusing on innovative verification techniques, formal methods, language semantics and high-level specifications, or research projects involving complex verification tasks may join the programme.

Member universities receive support for ongoing research projects as well as access to Verisity's process automation solutions, including Specman Elite verification process automation solution and SureCov code coverage.

Back to top