Referenced Items are not available for this document.
Bounded indirection is a restricted form of pointers, for system specification. It provides a mechanism for compact descriptions of many complex control structures, such as interrupts, continuations, and dynamic connections between machines. We describe three kinds of indirection-control state, value and net indirection-for use in different aspects of system description. Transformations on indirection representations and methods for synthesizing bounded indirection within the framework of behavior tables are presented
Published in:
VLSI, 1995. Proceedings., Fifth Great Lakes Symposium on
Date of Conference: 16-18 Mar 1995
- Page(s):
- 86 - 89
- Meeting Date :
- 16 Mar 1995-18 Mar 1995
- ISSN :
- 1066-1395
- Print ISBN:
- 0-8186-7035-5
- INSPEC Accession Number:
- 5137497
- Conference Location :
- Buffalo, NY
- Digital Object Identifier :
- 10.1109/GLSV.1995.516030
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
