Web Directory

» 0-In Design Automation
   This company provides functional verification products that help verify multi-million gate ASICs and SOC designs.
   http://www.0-in.com/

» Dynalith Systems
   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.
   http://www.dynalith.com/

» IKOS Systems
   Provides a solution for verifying hardware and software in parallel.
   http://www.ikos.com/

» InnoLogic Symbolic Simulation
   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.
   http://www.innologic-systems.com

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

» Specman and SystemVerilog blog
   A weblog for HVL (Specman - e and SystemVerilog) users, an extensive Specman tutorial and a verification methodology guide.
   http://www.specman-verification.com

» Summit Design
   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.
   http://www.summit-design.com/

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

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

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

» TransEDA
   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.
   http://www.transeda.com

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

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

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

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

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

» specman egroup
   This is a group for specman users to ask questions, share code, techniques, and experience.
   http://groups.yahoo.com/group/specman/