Sciweavers

DATE
2006
IEEE
82views Hardware» more  DATE 2006»
14 years 3 months ago
Efficient assertion based verification using TLM
Ali Habibi, Sofiène Tahar, Amer Samarah, Do...
DATE
2006
IEEE
128views Hardware» more  DATE 2006»
14 years 3 months ago
Efficient link capacity and QoS design for network-on-chip
This paper addresses the allocation of link capacities in the automated design process of a network-on-chip based system. Communication resource costs are minimized under Quality-...
Zvika Guz, Isask'har Walter, Evgeny Bolotin, Israe...
DATE
2006
IEEE
98views Hardware» more  DATE 2006»
14 years 3 months ago
Test generation for combinational quantum cellular automata (QCA) circuits
— In this paper, we present a test generation framework for testing of quantum cellular automata (QCA) circuits. QCA is a nanotechnology that has attracted significant recent at...
Pallav Gupta, Niraj K. Jha, Loganathan Lingappan
DATE
2006
IEEE
71views Hardware» more  DATE 2006»
14 years 3 months ago
Quantifier structure in search based procedures for QBFs
Enrico Giunchiglia, Massimo Narizzano, Armando Tac...
DATE
2006
IEEE
120views Hardware» more  DATE 2006»
14 years 3 months ago
Soft delay error analysis in logic circuits
— In this paper, we present an analysis methodology to compute circuit node sensitivity due to charged particle induced delay (timing) errors, Soft Delay Errors (SDE). We define...
Balkaran S. Gill, Christos A. Papachristou, Franci...
DATE
2006
IEEE
85views Hardware» more  DATE 2006»
14 years 3 months ago
A synthesis tool for power-efficient base-band filter design
V. Giannini, Pierluigi Nuzzo, Fernando De Bernardi...
DATE
2006
IEEE
119views Hardware» more  DATE 2006»
14 years 3 months ago
Bootstrapped full--swing CMOS driver for low supply voltage operation
This paper reports a high speed and low power consumption direct–indirect bootstrapped full–swing CMOS inverter driver circuit (bfi–driver). The simulation results, based o...
José C. García, Juan A. Montiel-Nels...
DATE
2006
IEEE
157views Hardware» more  DATE 2006»
14 years 3 months ago
Modeling and simulation of mobile gateways interacting with wireless sensor networks
Sensor networks are emerging wireless technologies; their integration with the existing 2.5G, 3G mobile networks is a key issue to provide advanced services, e.g., health control....
Franco Fummi, Davide Quaglia, Fabio Ricciato, Maur...