|
DESCRIPTION
| Click here |
 |
to begin the Lecture. |
This talk
discusses functional verification of register-transfer-level (RTL)
hardware descriptions. A new white-box verification technique,
known as "semi-formal verification", is presented which combines
the advantages of simulation with the thoroughness and completeness
of formal verification.
|
