IEE Colloquium on Structured Methods for Hardware Systems Design