| Directory > Science > Technology > Electronics > CAD > Electronic Design Automation > ASIC Design > Verification Experto Ltd.
This company provides software consulting, outsourcing and training and ASIC verification services
in Israel.
http://www.experto.co.il
Reviews Rating: Not yet Rated
Whois Check
Verification Central
To purchase the book "The Art of Verification with Vera" online.
http://www.verificationcentral.com
Reviews Rating: Not yet Rated
Whois Check
Standard Logic
Standard Logic specializes in the field of software and hardware verification.
http://www.stdlogic.com
Reviews Rating: Not yet Rated
Whois Check
specman egroup
This is a group for specman users to ask questions, share code, techniques, and experience.
http://groups.yahoo.com/group/specman
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.innologic-systems.com
Reviews Rating: Not yet Rated
Whois Check
Verification Guild Mailing List
A moderated mailing list where verification professionals can discuss any issues and challenges
presented by this most difficult task.
http://www.janick.bergeron.com/guild/
Reviews Rating: Not yet Rated
Whois Check
Veritools
Providers of productivity tools for Verilog and VHDL users.
http://www.veritools-web.com/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.verisity.com/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.transeda.com/
Reviews Rating: Not yet Rated
Whois Check
Teradyne
Teradyne provides application of systems technology to practical problems in the design,
production, and servicing of electronics.
http://www.teradyne.com/
Reviews Rating: Not yet Rated
Whois Check
Tau Simulation
Tau Simulation produces high performance simulation software for integrated circuit verification.
http://www.tausim.com/
Reviews Rating: Not yet Rated
Whois Check
VERA Group of Synopsys
Provides testbench automation solution for functional verification - The VERATM System Verifier.
http://www.systems.com/
Reviews Rating: Not yet Rated
Whois Check
Tanner EDA
Provides integrated circuit design tools for PC platforms.
http://www.tanner.com/eda/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.quickturn.com/
Reviews Rating: Not yet Rated
Whois Check
Numerical Technologies
This company provides software tools and services that enable the semiconductor industry to produce
subwavelength integrated circuits.
http://www.numeritech.com/
Reviews Rating: Not yet Rated
Whois Check
VeriSure - Verification Consulting and Engineering
VeriSure provides verification engineering and consulting services in Europe and Israel.
http://www.veri-sure.com
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.nuthena.com/
Reviews Rating: Not yet Rated
Whois Check
Model Technology
This company is the provider of a PC-based simulator.
http://www.model.com/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.dynalith.com/
Reviews Rating: Not yet Rated
Whois Check
Interra
Interra Technologies offers a comprehensive suite of integrated front-end design tools.
http://www.interrainc.com/
Reviews Rating: Not yet Rated
Whois Check
IKOS Systems
Provides a solution for verifying hardware and software in parallel.
http://www.ikos.com/
Reviews Rating: Not yet Rated
Whois Check
FTL Systems
Provider of parallel, optimizing compiler/simulators and related technologies.
http://www.ftlsystems.com/
Reviews Rating: Not yet Rated
Whois Check
Fintronic USA
This company provides solutions for hardware verification using Verilog.
http://www.fintronic.com/
Reviews Rating: Not yet Rated
Whois Check
Chronology
Supplier of software products for the specification and verification of digital integrated
circuits.
http://www.chronology.com/
Reviews Rating: Not yet Rated
Whois Check
SynaptiCAD
Provider of EDA and verification products.
http://www.syncad.com/
Reviews Rating: Not yet Rated
Whois Check
Axis Systems
The Company provides EDA tools, products and services to verify functionality of advanced
integrated circuits and system-on-chip.
http://www.axiscorp.com/
Reviews Rating: Not yet Rated
Whois Check
SimuCAD
Provides UNIX and Windows based logic simulation and fault simulation products. Contact and
product information are found on the site.
http://www.simucad.com/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.summit-design.com/
Reviews Rating: Not yet Rated
Whois Check
0-In Design Automation
This company provides functional verification products that help verify multi-million gate ASICs
and SOC designs.
http://www.0-in.com/
Reviews Rating: Not yet Rated
Whois Check
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.
http://www.aptix.com/
Reviews Rating: Not yet Rated
Whois Check
|
