RTL Design and Verification
Design
> Support in Requirement Engineering
> System Architecture
> Selection of technologies
> Calculations of data paths
> Creating signal processing data paths
Development
> 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
Verification
> 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
