Directory

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.
	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.
	Teradyne - http://www.teradyne.com/ Teradyne provides application of systems technology to practical problems in the design, production, and servicing of electronics.
	Model Technology - http://www.model.com/ This company is the provider of a PC-based simulator.
	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.

	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.
	Verification Guild - http://verificationguild.com/ A forum where verification professionals can discuss any issues and challenges presented by this most difficult task.
	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.

	IKOS Systems - http://www.ikos.com/ Provides a solution for verifying hardware and software in parallel.
	Verification Central - http://www.verificationcentral.com To purchase the book "The Art of Verification with Vera" online.
	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.
	specman egroup - http://groups.yahoo.com/group/specman/ This is a group for specman users to ask questions, share code, techniques, and experience.
	Tau Simulation - http://www.tausim.com/ Tau Simulation produces high performance simulation software for integrated circuit verification.

	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.
	Verifica - http://www.verifica.org/ The company provides verification tools, consulting and training services.
	VeriSure - http://www.veri-sure.com Provides verification engineering and consulting services in Europe and Israel.
	E language Tutorial - http://www.geocities.com/avidan_e/ An unofficial Specman and E language tutorial including code examples and tips for both beginners and experienced users.
	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.

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

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