This company provides software consulting, outsourcing and training and ASIC verification services in Israel.
http://www.experto.co.il
Computer Engineering Research Center for VLSI Testing and Design for Testability at The University of Texas, Austin
http://www.cerc.utexas.edu/~jaa/testing/testing.html
Interra Technologies offers a comprehensive suite of integrated front-end design tools.
http://www.interrainc.com/
This company provides functional verification products that help verify multi-million gate ASICs and SOC designs.
http://www.0-in.com/
This company provides software tools and services that enable the semiconductor industry to produce subwavelength integrated circuits.
http://www.numeritech.com/
Verisity provides technologies and software products used to efficiently verify designs of electronic systems and complex integrated circuits that are essential to the communications and other segments of the electronics industry.
http://www.verisity.com/
VeriSure provides verification engineering and consulting services in Europe and Israel.
http://www.veri-sure.com
provides proprietary technologies for embedded tests.
http://www.logicvision.com/