1. Akbarpour, B., Abdel-Hamid, A.T., Tahar, S., and Harrison, J. (2009). Verifying a synthesized implementation of IEEE-754 floating-point exponential function using HOL. The Computer Journal (10 April), 1–24.
2. Aldec Inc. (2007). DO-254 Hardware verification: prototyping with vectors mode. White Paper, Rev. 1.2. Henderson, Nevada, June 26, 2007.
3. Aldec Inc. (2008). Tool Assessment and Qualification with the Aldec DO-254 Compliance Tool Set, Rev. 2.0. Henderson, Nevada, August 29, 2008.
4. Aldec Inc. (2009). Design Verification Methodology with the Aldec DO-254 Compliance Tool Set, Rev. 2.0. Henderson, Nevada, February 24, 2009.
5. Co-design and refinement for safety critical systems;Aljer;IEEE,2004