Sciweavers

531 search results - page 3 / 107
» Formal Methods for Networks on Chips
Sort
View
FMCAD
2007
Springer
15 years 3 months ago
Formal Verification of Partial Good Self-Test Fencing Structures
— The concept of applying partial fencing to logic built-in self test (LBIST) hardware structures for the purpose of using partially good chips is well known in the chip design i...
Adrian E. Seigler, Gary A. Van Huben, Hari Mony
SIGMETRICS
2008
ACM
123views Hardware» more  SIGMETRICS 2008»
14 years 9 months ago
Applying formal methods to gossiping networks with mCRL and groove
Pepijn Crouzen, Jaco van de Pol, Arend Rensink
ISNN
2005
Springer
15 years 3 months ago
A Novel Solid Neuron-Network Chip Based on Both Biological and Artificial Neural Network Theories
Built on the theories of biological neural network, artificial neural network methods have shown many significant advantages. However, the memory space in an artificial neural chip...
Zihong Liu, Zhihua Wang, Guolin Li, Zhiping Yu
CODES
2006
IEEE
15 years 3 months ago
Thermal-aware high-level synthesis based on network flow method
Lowering down the chip temperature is becoming one of the important design considerations, since temperature adversely and seriously affects many of design qualities, such as reli...
Pilok Lim, Taewhan Kim