On verifying a high-level designAn overview of design verification techniques is presented, and some of the current research in high-level design verification is described. Formal hardware description languages that are capable of adequately expressing the design specifications have been developed, but some time will be required before they can have the expressive power needed to be used in real applications. Simulation-based approaches are more useful in finding errors in designs than they are in proving the correctness of a certain design. Hybrid approaches that combine simulation with other formal design verification techniques are argued to be the most promising over the short term.
Document ID
19940034901
Acquisition Source
Legacy CDMS
Document Type
Conference Paper
Authors
Mathew, Ben (NASA Langley Research Center Hampton, VA, United States)
Wehbeh, Jalal A. (NASA Langley Research Center Hampton, VA, United States)
Saab, Daniel G. (Illinois Univ. Urbana, United States)
Date Acquired
August 16, 2013
Publication Date
January 1, 1993
Publication Information
Publication: In: AIAA Computing in Aerospace Conference, 9th, San Diego, CA, Oct. 19-21, 1993, Technical Papers. Pt. 2 (A94-11401 01-62)
Publisher: American Institute of Aeronautics and Astronautics