“a language for electronic system design”