Innoveda Inc.
- http://www.innoveda.com/
- Provides electronic design automation software products focussing on systems design including schematic capture, board and electromechanical design and manufacturing. Online product descriptions and demonstration software and sample data available for download.
Magma Design Automation
- http://www.magma-da.com
- EDA start up offering a physical design solution claiming guaranteed accurate prediction and delivery of the best possible timing results, without iterations.
SynaptiCAD
- http://www.syncad.com/
- Software tools for EDA, VHDL and Verilog model generation, simulation, and timing diagram editor.
avertec company
- http://www.avertec.com/
- Commercialises VLSI verification tools developed in university research laboratories. Its main areas of expertise are in hierarchical timing analysis and the automatic abstraction of behavioural model from circuit netlists.