DocumentCode
3149596
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
fYear
1984
fDate
25-27 June 1984
Firstpage
258
Lastpage
264
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Design Automation, 1984. 21st Conference on
ISSN
0738-100X
Print_ISBN
0-8186-0542-1
Type
conf
DOI
10.1109/DAC.1984.1585804
Filename
1585804
Link To Document