THE USE OF A FUNCTIONAL DESCRIPTION LANGUAGE FOR TEST GENERATION

Abstract

The paper presents a new hardware-description language (OPART) which serves for spec- ifying the functional models of logic elements for an automatic test-generation program. The significance and novelty of OPART rely on the fact that it enables in a user-oriented way to define models not only for fault simulation, but also for algorithmic test calcula- tion. In the paper the basic syntactic features of OPART are first discussed. After that examples and the computer implementation will be overviewed.