hw-sw co-simulation 王甦群 r91921007 graduate institute of electrical engineering national taiwan...

Download HW-SW Co-Simulation 王甦群 R91921007 Graduate Institute of Electrical Engineering National Taiwan University July 3, 2003

If you can't read please download the document

Upload: posy-wilkins

Post on 08-Jan-2018

220 views

Category:

Documents


0 download

DESCRIPTION

What is Verification? Verification is the task of ensuring that a design is correct and complete. Such assurance can prevent time-consuming debugging at low abstraction levels and iterating back to high abstraction levels. Correctness means that the design implements its specification accurately. Completeness means that the design ’ s specification described appropriate output responses to all relevant input sequences. + + A B C If C=A+B ?