Hardware verification: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

9 December 2010

  • curprev 23:5423:54, 9 December 2010imported>Daniel Hershcovich 68 bytes +68 The term has a more general meaning than formal verification