W. C. Mallon and J. T. Udding. Using metrics for proof rules for recursively defined delay-insensitive specifications. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems, pages 175--183. IEEE Computer Society Press, Apr. 1997. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Delay-Insensitive Interface Specification and Synthesis - Josephs, Furey (2000) (Correct)
....instruction decoders. DI Algebra has suffered hitherto from a lack of CAD tool support, aside from some noteworthy tool building activity at the University of Groningen. DI Algebra has been implemented in HOL [6] and PVS [17] in order to provide support for algebraic manipulation of expressions [7, 12], and digg automates translation from DI Algebra into finite state machines [13] A route to automated circuit synthesis from DI Algebra specifications is therefore desirable, and could be obtained by way of a translation from them to Petri nets. Our work pertains to the development of a ....
W. C. Mallon and J. T. Udding. Using metrics for proof rules for recursively defined delay-insensitive specifications. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems, pages 175--183. IEEE Computer Society Press, Apr. 1997.
Construction of an operational semantics for DI-algebra - Willem Mallon (1997) (1 citation) Self-citation (Mallon Udding) (Correct)
....equivalent to ; which is not at all equal to A . More generally, it turns out that this approach to the creation of a finite automaton goes wrong in all cases where it would cause ffl cycles in the finite automaton. This seems closely related to the notion of guardedness in specifications[MU97] but we have not investigated that any further. We define two relations on states of machines in the M 1 family. Recall that we have previously observed that the set of states of machines M 1 :oe is not dependent on oe. In all subsequent transformation steps, we change only transitions that ....
Willem C. Mallon and Jan Tijmen Udding. Using metrics for proof rules for recursively defined delay-insensitive specifications. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems. IEEE Computer Society Press, April 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC