Specification vs. Description

Specification: Saying what I want; describes behavior in terms of results.

e.g. ?A { A[i,j] ? 0}

Description: Saying how to do it; describes behavior in terms of procedure or process.

e.g. for(i=0; i<N; i++)

for(j=0; j<M; j++)
A[i][j] = 0;

We do not have specification languages for general-purpose digital design. For some special-purpose applications (e.g. DSP) we do.

Previous slide

Next slide

Back to first slide

View graphic version