Sciweavers

4285 search results - page 290 / 857
» Differential Behavioral Analysis
Sort
View
ISLPED
1998
ACM
94views Hardware» more  ISLPED 1998»
15 years 11 months ago
Theoretical bounds for switching activity analysis in finite-state machines
- The objective of this paper is to provide lower and upper bounds for the switching activity on the state lines in Finite State Machines (FSMs). Using a Markov chain model for the...
Diana Marculescu, Radu Marculescu, Massoud Pedram
DAC
1997
ACM
15 years 11 months ago
Sequence Compaction for Probabilistic Analysis of Finite-State Machines
- The objective of this paper is to provide an effective technique for accurate modeling of the external input sequences that affect the behavior of Finite State Machines (FSMs). T...
Diana Marculescu, Radu Marculescu, Massoud Pedram
ITC
1996
IEEE
96views Hardware» more  ITC 1996»
15 years 11 months ago
Analysis and Detection of Timing Failures in an Experimental Test Chip
A 25k gate Test Chip was designed and manufactured to evaluate different test methods for scan-designed circuits. The design of the chip, the experiment, and preliminary experimen...
Piero Franco, Siyad C. Ma, Jonathan Chang, Yi-Chin...
144
Voted
INFOCOM
1993
IEEE
15 years 10 months ago
Analysis of One-Buffer Deflection Routing in Ultra-Fast Optical Mesh Networks
The steady state behavior of regular two-connected multihop networks in homogeneous load under hot-potato and single-buffer deflection routing is analyzed for ultrafast optical ap...
Alberto Bononi, F. Forghieri, Paul R. Prucnal
AINA
2007
IEEE
15 years 10 months ago
Specification Synthesis for Monitoring and Analysis of MANET Protocols
This paper introduces an approach to automatic synthesis of the specification models of routing protocol behavior from the observed flow of the network traffic. In particular, our...
Natalia Stakhanova, Samik Basu, Wensheng Zhang, Xi...