Spruce Goose

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