dmap announces development of do 254 dal a complex semiconductor ip, fully verified with mentor...

1

Click here to load reader

Upload: dmap

Post on 28-Jun-2015

173 views

Category:

Documents


1 download

DESCRIPTION

DMAP Announces Development of DO-254 DAL A Complex Semiconductor IP, Fully Verified with Mentor Graphics Questa® Functional Verification Platform

TRANSCRIPT

Page 1: Dmap Announces Development Of Do 254 Dal A Complex Semiconductor Ip, Fully Verified With Mentor Graphics Questa® Functional Verification Platform

DMAP Announces Development of DO-254 DAL A Complex Semiconductor IP, Fully Verified

with Mentor Graphics Questa® Functional Verification Platform

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 8.4.2.1].

With the Questa functional verification platform from Mentor Graphics, DMAP’s 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 verification‘s code (SV) then Questa® simulator is able to automatically answer the question: Are

we done?

“DMAP’s team is pioneering advanced verification techniques on DO-254 compliant IP” stated Michelle Lange, DO-254 Program

Manager at Mentor Graphics. “It’s 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 DMAP’s product list also includes ARINC429

and CAN bus interface.

Contact DMAP at [email protected] to get your evaluation copy.

About DMAP

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:

[email protected] or visit the company’s 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.