针对美国FAA认可的机载电子硬件开发标准DO-254,美国EDA厂商Aldec提供的整套全流程解决方案的资料介绍