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.
	Tanner EDA - http://www.tanner.com/eda/ Provides integrated circuit design tools for PC platforms.
	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.
	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.
	IKOS Systems - http://www.ikos.com/ Provides a solution for verifying hardware and software in parallel.
	Verification Guild - http://verificationguild.com/ A forum where verification professionals can discuss any issues and challenges presented by this most difficult task.
	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.

	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.
	VeriSure - http://www.veri-sure.com Provides verification engineering and consulting services in Europe and Israel.
	Verification Central - http://www.verificationcentral.com To purchase the book "The Art of Verification with Vera" online.
	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.
	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.
	specman egroup - http://groups.yahoo.com/group/specman/ This is a group for specman users to ask questions, share code, techniques, and experience.

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...