Show simple item record

dc.contributor.authorKeller, Robert M.en_US
dc.contributor.authorPanangaden, Prakashen_US
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.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


This item appears in the following Collection(s)

Show simple item record