The role of behaviour in VLSI design languages - Davie, Bruce S.; Milne, George J. (1986)
Keywords: Formal languages; Integrated circuits -- Very large scale integration