Toulouse, France -- November 28th, 2011 DMAP, a company focused on high reliability semiconductor applications and producing DO-254 compliant IP, has made available to the market PCI Express and Ethernet (Gigabit, 10G) IP for DO-254 applications that has been verified using SystemVerilog and Assertion Based Verification (ABV) in an OVM environment. Adherence to DO-254 compliance during development, and verified using advanced verification methods supported by Mentor Graphics industry-leading Questa® functional verification platform, ensures thorough testing of these complex IP devices.
DO-254 explicitly requires functional coverage, a verification approach that ensures all requirements have been covered in the designed hardware. The DO-254 standard states the following: Evidence is provided that the hardware implementation meets the requirements [DO-254 6.2.1-1]. Regardless of the level of design (LRU, board, device, IP) and design assurance level (DAL) of the item, functional coverage is the fundamental metric of every safe design flow.
Supplementing a requirements-driven approach to verification and functional coverage, HDL code coverage is also commonly used in DO-254 programs. While not explicitly mentioned in DO-254, code coverage is often used in support of elemental analysis, an advanced verification method described in DO-254 Appendix B to ensure that all the design elements have been exercised during verification. Newer regulatory policy has mandated the use of code coverage for DAL A and B digital hardware projects. Specifically, the recent EASA CEH memo states
an HDL code coverage measurement is an acceptable means to assess the way the HDL code has been exercised during device functional verification by simulation. [EASA CM-SWCEH-001 18.104.22.168].
With the Questa functional verification platform from Mentor Graphics, DMAPs verification team has been able to reach 100% coverage on both hardware requirements (i.e., functional coverage) and HDL code (i.e., code coverage) in an automated way. Quite straightforward, both functional and code goals are extracted from the document which describes the verification procedures (HVCP) or verifications code (SV) then Questa® simulator is able to automatically answer the question: Are we done?
DMAPs team is pioneering advanced verification techniques on DO-254 compliant IP stated Michelle Lange, DO-254 Program Manager at Mentor Graphics. Its good to see these methods which are used extensively in every other industry because they offer more efficient and higher quality results being used now in an industry where verification effectiveness is so crucial. DMAP, with their use of Questa and advanced methods, is demonstrating their leadership and understanding of the value of these methods in support of safety-critical design.
By using more modern verification techniques such as SystemVerilog, formal methods, ABV, and Bus Functional Models (BFMs), we are now able to reach all DO-254 goals on very high complex IP or FPGA designs in a short amount time and for a competitive cost. said James Bezamat, CEO and DO-254 evangelist at DMAP.
Already available for DO-254 DAL A designs, our Generation One PCI Express Endpoint and 10/100/100 Ethernet MAC semiconductor IP products can be customized on request to match your needs. The DMAPs product list also includes ARINC429 and CAN bus interface.
Contact DMAP at email@example.com to get your evaluation copy.
DMAP is a company focused on high reliability semiconductor application domains. DMAP was founded in 2009 by two highly skilled engineers in the semiconductor area. With more than 40 years of experience, we are able to combine IP and SoC development for ASIC and FPGA target with high reliability methods provided by the DO-254 guidance. High reliable domains such as aeronautic, medical, defense and space, like other mass markets are sensitive to time-to-market constraints and growing system complexity. That's why we offer IP vendors the opportunity to address new markets and the high reliability sub-contractor community the opportunity to buy DO-254 ready IP to speed up their development process. For more information, please email: firstname.lastname@example.org or visit the companys website at www.dmap.fr.
About Mentor Graphics
Mentor Graphics Corporation is a world leader in electronic hardware and software design solutions, providing products, consulting services and award-winning support for the world's most successful electronic, semiconductor and systems companies. Established in 1981, the company reported revenues in the last fiscal year of about $915 million. Corporate headquarters are located at 8005 S.W. Boeckman Road, Wilsonville, Oregon 97070-7777. World Wide Web site: http://www.mentor.com.