Directory Help Search only in VerificationSearch the Web

Verification

Science > Technology > Electronics > CAD > Electronic Design Automation > ASIC Design > Verification

Go to Directory Home

Web Pages

Viewing in Google PageRank order               View in alphabetical order

	VERA Group of Synopsys - http://www.systems.com/ Provides testbench automation solution for functional verification - The VERATM System Verifier.
	Teradyne - http://www.teradyne.com/ Teradyne provides application of systems technology to practical problems in the design, production, and servicing of electronics.
	0-In Design Automation - http://www.0-in.com/ This company provides functional verification products that help verify multi-million gate ASICs and SOC designs.
	Model Technology - http://www.model.com/ This company is the provider of a PC-based simulator.
	Dynalith Systems - http://www.dynalith.com/ The company provides EDA solutions that enable electronic system designers to verify their algorithms in real hardware environments at an early design stage using C/C++/SystemC.

	Verification Guild - http://verificationguild.com/ A forum where verification professionals can discuss any issues and challenges presented by this most difficult task.
	IKOS Systems - http://www.ikos.com/ Provides a solution for verifying hardware and software in parallel.
	Aptix Corporation - http://www.aptix.com/ The company develops, manufactures and markets products for designing and verifying complex electronic systems and system-on-chip designs such as digital wireless cellular phones, wireless base stations, network routers, and graphics and multimedia devices.
	Tanner EDA - http://www.tanner.com/eda/ Provides integrated circuit design tools for PC platforms.
	TransEDA - http://www.transeda.com/ Provider of ready-to-use verification solutions for the SoC (system-on-a-chip), ASIC (application-specific integrated circuit) and FPGA (field-programmable gate array) markets.

	SynaptiCAD - http://www.syncad.com/ Provider of EDA and verification products.
	Verification Central - http://www.verificationcentral.com To purchase the book "The Art of Verification with Vera" online.
	Specman and SystemVerilog blog - http://www.specman-verification.com A weblog for HVL (Specman - e and SystemVerilog) users, an extensive Specman tutorial and a verification methodology guide.
	Tau Simulation - http://www.tausim.com/ Tau Simulation produces high performance simulation software for integrated circuit verification.
	VeriSure - http://www.veri-sure.com Provides verification engineering and consulting services in Europe and Israel.

	Verifica - http://www.verifica.org/ The company provides verification tools, consulting and training services.
	InnoLogic Symbolic Simulation - http://www.innologic-systems.com ESP is an event driven Verilog symbolic simulator. ESP increases functional coverage and reduces verification runtime. ESP is ideal for memory and block level verification.
	specman egroup - http://groups.yahoo.com/group/specman/ This is a group for specman users to ask questions, share code, techniques, and experience.
	Summit Design - http://www.summit-design.com/ Provider of electronic design automation (EDA) software and services that enhance and accelerate the design and building of advanced electronic systems critical to the delivery of electronic products.

Help build the largest human-edited directory on the web. Submit a Site - Open Directory Project - Become an Editor

Modified by Google - ©2009 Google
Advertise with Us - Jobs, Press, Cool Stuff...