Show simple item record

dc.contributor.authorKeller, Robert M.en_US
dc.contributor.authorPanangaden, Prakashen_US
dc.date.accessioned2007-04-23T17:11:58Z
dc.date.available2007-04-23T17:11:58Z
dc.date.issued1985-12en_US
dc.identifier.citationhttp://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR85-717en_US
dc.identifier.urihttps://hdl.handle.net/1813/6557
dc.description.abstractWe discuss a formal model based upon dataflow, usable for high-level digital hardware design, among other things. One of our goals is to give a denotational semantics for this model, which includes indeterminate modules. While it is well known that denotational semantics for networks containing only determinate modules can be simply expressed as a composition of stream functions, this aproach has previously been shown unacceptable for networks with indeterminate modules. Our approach is to devise composition rules based on modelling a network by the set of its possible behaviors, i.e., sequences of computational events, where each event is the appearance or consumption of a token on a data path. A sequence of such events is called a history and a set of such histories is called an archive. We give composition rules that allow us to derive an archive for a network from the archive of its constituents. We show how causal and operational constraints on network behavior can be inferred from the specification of archives. We also present a construction which allows us to obtain the the denotation of networks containing loops by a process of successive approximations. This construction is carried out using a construction resembling the category-theoretic notion of limit, which differs from that of more traditional domain theory.en_US
dc.format.extent2004026 bytes
dc.format.extent396591 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypeapplication/postscript
dc.language.isoen_USen_US
dc.publisherCornell Universityen_US
dc.subjectcomputer scienceen_US
dc.subjecttechnical reporten_US
dc.titleSemantics of Digital Networks Containing Indeterminate Modulesen_US
dc.typetechnical reporten_US


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record

Statistics