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.
Sites 12
- Teradyne Teradyne provides application of systems technology to practical problems in the design, production, and servicing of electronics.
- Model Technology This company is the provider of a PC-based simulator.
- 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.
- SynaptiCAD Provider of EDA and verification products.
- 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.
- VeriSure Provides verification engineering and consulting services in Europe and Israel.
- VERA Group of Synopsys Provides testbench automation solution for functional verification - The VERATM System Verifier.
- Tau Simulation Tau Simulation produces high performance simulation software for integrated circuit verification.
- 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.
- specman egroup This is a group for specman users to ask questions, share code, techniques, and experience.
- Verification Central To purchase the book "The Art of Verification with Vera" online.
- Specman and SystemVerilog blog A weblog for HVL (Specman - e and SystemVerilog) users, an extensive Specman tutorial and a verification methodology guide.