Integrating Hardware and Software in Microprocessors to Expedite Avionics Certification