RTL Design and Verification


> Support in Requirement Engineering

> System Architecture

> Selection of technologies 

> Calculations of data paths

> Creating signal processing data paths


> Implementation of digital circuits in all common RTL
   description languages

> Generation of complex circuits 

> Conversion or integration of complex data paths in
   signal processing

> Implementation of 3rd party processor technologies 

> Development of complex bus systems (AMBA) 

> High speed data paths

> Image processing and wireless technologies


> Test design 

> Test plans according to standards (e. g. DO254, medical

   technology or Common Criteria) or customer requirements

> Generic deveritec test environment

> Test cases in all common description languages

> Coverage Reports 

> Project reporting 

> Formal and functional verification