(computer science) A computer language that facilitates the documentation, design, and manufacturing of digital systems, particularly very large-scale integrated circuits, and combines program verification techniques with expert system design methodologies.

McGraw-Hill Dictionary of Scientific and Technical Terms. Copyright © 2003, 1994, 1989, 1984, 1978, 1976, 1974 by McGraw-Hill Companies, Inc. All rights reserved.