ASIC Design Verification

• Dynalith Systems  - Combines design verification solutions for rapid prototyping requirements. Also has available system for embedded processor support and hardware interface through a universal serial bus port.
• ModelSim  - Simulation environment with debugging capabilities created for integrated circuits with specified applications. Provides multi-language support for SystemVerilog and VHDL among others.
• SynaptiCAD Inc.  - Various selection of tools with capabilities in test bench generation, simulation, debugging, checking of equipment and command line devices for Verilog and VHDL translation.
• Tanner EDA  - Affiliated company that supplies companies with electronic design automation software to enable design and verification of either mixed or analog signal integrated circuits and micro-electro mechanical systems.
• Tau Simulation  - Specializes in the production of Verilog simulator and other tools for integrated circuit verification. Introduces the capabilities of available device.
• Teradyne  - Designer and producer of automatic test equipment for electronic applications. Also has available product to test semiconductors and vehicle diagnostics solutions.
• TransEDA  - Focuses in digital design verification processing through its selection of closure measurement solutions available for industries requiring the technology.
• Verifica  - Description of the coverage of studies included in the instructional and training modules offered.
• Verification Guild  - Discussion among professionals engaged in verification processes. Presents relevant topics and tips.
• VeriSure Consulting Ltd.  - Customization services rendered for verification processes. Features an archive of articles providing technical guide.