# Alliance provides a software environement for the development of CAD tools:

- More than 60 librairies written in C langage. Those libraries contain the definition of several data structures and methods allowing to describe circuits from the RTL view up to the physical view. Thoses data structures covered all the design flow and can be used by developpers to implement CAD applications. Those libraries contain also parsers and drivers for several standard file format.
- More than 650 man pages describing the programming interface of those librairies

# Alliance provides CAD tools covering most of all the digital design flow:

- VHDL Compilation and Simulation
- Model checking and formal proof
- RTL and Logic synthesis
- Data-Path compilation
- Macro-cells generation
- Place and route
- Layout edition
- Netlist extraction and verification
- Design rules checking
- etc ...

This is a MIPS-R3000 of 52000 transistors, that has been completely designed using Alliance CAD tools

# Alliance provides also a complete set of portable CMOS libraries:

- standard cells
- specific cells used by the generators (RAM/ROM/etc ...)
- symbolic pad cells

The Alliance CAD system is used in more than 80 Universities all arround the world for teaching and research purposes.
Alliance is the result of a twelve year effort spent at ASIM department of LIP6 laboratory of the Pierre et Marie Curie University