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.