Offers design and verification services oriented towards companies working within programs that will be certified to the DO-254 standard including DO-254 certifiable IP cores that can be quickly integrated in the customer's design, verification IP cores and design and verification services at all levels of the DO-254 process.