Robust system design with uncertain information

Proceedings - 1st ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE 2003

Volumn , Issue , 2003, Pages 283-

  De Micheli, G ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

Abstracts; Crosstalk; Robustness; Routing; Semiconductor device noise; System on a chip; Telecommunication network reliability; Timing; Wires; Working environment noise

Indexed keywords

ABSTRACTING; APPLICATION SPECIFIC INTEGRATED CIRCUITS; COMPLEX NETWORKS; CROSSTALK; DATA TRANSFER; FORMAL METHODS; INTEGRATED CIRCUIT DESIGN; MICROPROCESSOR CHIPS; NETWORK ROUTING; ROBUSTNESS (CONTROL SYSTEMS); SEMICONDUCTOR DEVICE MANUFACTURE; SEMICONDUCTOR DEVICES; SYSTEM-ON-CHIP; SYSTEMS ANALYSIS; TELECOMMUNICATION NETWORKS; WIRE;

ROUTING; SEMICONDUCTOR DEVICE NOISE; SYSTEM ON A CHIP; TIMING; WORKING ENVIRONMENT;

DESIGN;

EID: 49949109604     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/MEMCOD.2003.1210113     Document Type: Conference Paper

References (3)

1. Autonomic Computing: IBM's Perspective on the State of Information Technology, IBM Corporation (2001), available at http://www.research.ibm.com/autonomic/.
2. L. Benini and G. De Micheli, "Networks on Chips: A New SoC Paradigm," IEEE Computers, January 2002, pp. 70-78.
3. "Networks on Chip," Hot-topic session, DATE 2002 Conference, pp. 417-425.