Title :
A Model for Non Interpreted Structures of Logical Systems
Author :
Alali, R. ; Durante, C. ; Mercier, J.J.
Author_Institution :
Laboratoire d´´automatique et de microelectronique de Montpellier Universite des Sciences et Techniques du Languedoc, Montpellier-Cedex, France
Abstract :
This paper presents a model for non interpreted structures of logical systems, i.e., structures in which neither the type of transformations nor the contents of informations are specified. Systems structures are modelled by a set of Primitive Functional Entities (PFE), while informations are represented by dynamic entities called Information Flow Entity (IFE). To compensate the role of information contents, two subjectivity attributes are associated with each IFE. An application example is given to show how the above concepts are used.
Keywords :
Design automation; Design methodology; Fault detection; Hardware design languages; Microcomputers; Microwave integrated circuits; System testing;
Conference_Titel :
Design Automation, 1984. 21st Conference on
Print_ISBN :
0-8186-0542-1
DOI :
10.1109/DAC.1984.1585804
