Functional verification

From Free net encyclopedia