avertec company

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.