
Avionyx has experience with most mainstream CPU architectures, including: - PowerPC
- Freescale 68HC11
- HCS12
- Microchip PIC and dsPIC
- Texas Instruments DSPs
- Analog Devices DSPs
- Intel 8051
- ATMEL ATMega
- ARM
Our experience with these CPU architectures includes both software development and verification using high level programming languages as well as assembly language. For these architectures we have fulfilled DO-178B verification objectives including performing stack analysis, memory analysis, and timing analysis, as well as MC/DC code coverage analysis.
|