Description: Avertec is a new company specialising in the commercialisation of innovative 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.