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
Loading new listings for you to review...
- 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.