|
|
|
|
Home / Science / Technology / Electronics / CAD / Electronic Design Automation / ASIC Design / Verification
|
|
|
|
Web Sites
|
- 0-In Design Automation - This company provides functional verification products that help verify multi-million gate ASICs and SOC designs.
www.0-in.com
- Aptix Corporation - The company develops, manufactures and markets products for designing and verifying complex electronic systems and system-on-chip designs such as digital wireless cellular phones, wireless base stations, network routers, and graphics and multimedia devices.
www.aptix.com
- Axis Systems - The Company provides EDA tools, products and services to verify functionality of advanced integrated circuits and system-on-chip.
www.axiscorp.com
- Chronology - Supplier of software products for the specification and verification of digital integrated circuits.
www.chronology.com
- 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.
www.dynalith.com
- Fintronic USA - This company provides solutions for hardware verification using Verilog.
www.fintronic.com
- FTL Systems - Provider of parallel, optimizing compiler/simulators and related technologies.
www.ftlsystems.com
- IKOS Systems - Provides a solution for verifying hardware and software in parallel.
www.ikos.com
- 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.
www.innologic-systems.com
- Interra - Interra Technologies offers a comprehensive suite of integrated front-end design tools.
www.interrainc.com
- Model Technology - This company is the provider of a PC-based simulator.
www.model.com
- Nu Thena Systems - This company provides system level modeling and simulation tool technology that helps the designer identify and eliminate errors early in the product development process.
www.nuthena.com
- Numerical Technologies - This company provides software tools and services that enable the semiconductor industry to produce subwavelength integrated circuits.
www.numeritech.com
- Qualis Design Corporation - Qualis is the independent leader in advanced verification tools and methodologies, breaking the functional verification bottleneck with its line of Domain Verification Components (DVCs) for networking, wireless, and processor designs. Qualis DVCs support Synopsys Vera and Verisity Specman Elite.
www.qualis.com
- Quickturn Design Systems - Quickturn, a Cadence Company, is the leading provider of high-performance verification products and TtME[tm] (time-to-market engineering) services for the design of complex IC and electronic systems.
www.quickturn.com
- SimuCAD - Provides UNIX and Windows based logic simulation and fault simulation products. Contact and product information are found on the site.
www.simucad.com
- specman egroup - This is a group for specman users to ask questions, share code, techniques, and experience.
groups.yahoo.com/group/specman
- Standard Logic - Standard Logic specializes in the field of software and hardware verification.
www.stdlogic.com
- Summit Design - Provider of electronic design automation (EDA) software and services that enhance and accelerate the design and building of advanced electronic systems critical to the delivery of electronic products.
www.summit-design.com
- SynaptiCAD - Provider of EDA and verification products.
www.syncad.com
- Tanner EDA - Provides integrated circuit design tools for PC platforms.
www.tanner.com/eda
- Tau Simulation - Tau Simulation produces high performance simulation software for integrated circuit verification.
www.tausim.com
- Teradyne - Teradyne provides application of systems technology to practical problems in the design, production, and servicing of electronics.
www.teradyne.com
- 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.
www.transeda.com
- VERA Group of Synopsys - Provides testbench automation solution for functional verification - The VERATM System Verifier.
www.systems.com
- Verification Central - To purchase the book "The Art of Verification with Vera" online.
www.verificationcentral.com
- Verification Guild Mailing List - A moderated mailing list where verification professionals can discuss any issues and challenges presented by this most difficult task.
www.janick.bergeron.com/guild
- Verisity Design - Verisity provides technologies and software products used to efficiently verify designs of electronic systems and complex integrated circuits that are essential to the communications and other segments of the electronics industry.
www.verisity.com
- VeriSure - Verification Consulting and Engineering - VeriSure provides verification engineering and consulting services in Europe and Israel.
www.veri-sure.com
- Veritools - Providers of productivity tools for Verilog and VHDL users.
www.veritools-web.com
|
|
|
|
|