9 research outputs found
Digital Sensitivity: Predicting signal interaction using functional analysis
Abstract Maintaining signal integrity in digital systems is becoming increasingly dicult due to the rising number of analog effects seen in deep sub-micron design. One such eect, the signal crosstalk problem, is now a serious design concern. Signals which couple electrically may not aect system behavior because of timing or function in the digital domain. If we can isolate observable coupling eects then we can constrain layout synthesis to eliminate the
Proceedings of the 1994 Monterey Workshop, Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development: Evolution Control for Large Software Systems Techniques for Integrating Software Development Environments
Office of Naval Research, Advanced Research Projects Agency, Air Force Office of Scientific Research, Army Research Office, Naval Postgraduate School, National Science Foundatio
RICIS Symposium 1992: Mission and Safety Critical Systems Research and Applications
This conference deals with computer systems which control systems whose failure to operate correctly could produce the loss of life and or property, mission and safety critical systems. Topics covered are: the work of standards groups, computer systems design and architecture, software reliability, process control systems, knowledge based expert systems, and computer and telecommunication protocols