Google Directory - Science > Technology > Electronics > CAD > Electronic Design Automation > ASIC Design

Directory Help
Search only in VerificationSearch the Web

Verification

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

Web Pages

View in Google PageRank order Viewing in alphabetical order

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.

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.

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.

Model Technology - http://www.model.com/
This company is the provider of a PC-based simulator.

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.

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.

SynaptiCAD - http://www.syncad.com/
Provider of EDA and verification products.

Tanner EDA - http://www.tanner.com/eda/
Provides integrated circuit design tools for PC platforms.

Tau Simulation - http://www.tausim.com/
Tau Simulation produces high performance simulation software for integrated circuit verification.

Teradyne - http://www.teradyne.com/
Teradyne provides application of systems technology to practical problems in the design, production, and servicing of electronics.

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.

VERA Group of Synopsys - http://www.systems.com/
Provides testbench automation solution for functional verification - The VERATM System Verifier.

Verifica - http://www.verifica.org/
The company provides verification tools, consulting and training services.

Verification Central - http://www.verificationcentral.com
To purchase the book "The Art of Verification with Vera" online.

Verification Guild - http://verificationguild.com/
A forum where verification professionals can discuss any issues and challenges presented by this most difficult task.

VeriSure - http://www.veri-sure.com
Provides verification engineering and consulting services in Europe and Israel.

Help build the largest human-edited directory on the web.

Submit a Site - Open Directory Project - Become an Editor