Wirral, U.K. – January 11, 2016 – LDRA, the leader in standards compliance, automated software verification, source code analysis and test tools, announced today that it has chosen EDAway as a distributor in Italy. Backed by years of experience integrating technologies needed by the safety- and security-critical markets, EDAway will provide local-language sales, support, and service for the LDRA tool suite. As suppliers face an...

Milan, December 1st 2012 – EDAWAY, a leading EDA distributor in Italy today announced that it has expanded its EDA products offering with QNX® products. QNX® offers Operating systems, development tools, and professional services for connected embedded systems running on ARM, MIPS, PowerPC, SH and x86 platforms, and a host of boards implemented in virtually every type of embedded environment. The QNX® Neutrino® RTOS is the first...

The stringent design assurance guideline imposed by DO-254 for custom micro-coded devices like FPGAs present significant verification challenges within the avionics community. As the complexity of the FPGA design increases, so does the verification activities needed to satisfy the verification objectives of DO-254. As defined in the guidance, verification process activities may be satisfied through a combination of methods such as peer...