Directory of Verification Resources

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

This category contains sites that are relevant to high level verification languages and development environments: such as Specman, Vera, and SystemC. The category is mainly dedicated to sites that contain free information in the form of tutorials, scripts, and developer forums.

Resources in This Category

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

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

• SynaptiCAD

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

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

• Verification Central

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

• VeriSure

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

 

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

 

---

 

Thanks to DMOZ, which built a great web directory for nearly two decades and freely shared it with the web. About us