ATVA
2007
Springer
14 years 21 days ago
2007
Springer
A fair non-repudiation protocol should guarantee, (1) when a sender sends a message to a receiver, neither the sender nor the receiver can deny having participated in this communic...
ATVA
2007
Springer
14 years 21 days ago
2007
Springer
We present a new verification technique for Promela which exploits state-space symmetries induced by scalarset values used in a model. The technique involves efficiently computing ...
ASYNC
2007
IEEE
14 years 21 days ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
In the paper, we develop a systematic methodology for modeling sampled interconnect frequency response data based on spline interpolation. Through piecewise polynomial interpolatio...
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
- A Cyclic-CPRS (Column Parity Row Selection) technique is presented to diagnose built-in self tested (BISTed) circuits, even in the presence of many unknowns and transient errors....
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
Deep submicron effects drive the complication in designing chips, as well as in package designs and communications between package and board. As a result, the iterative interface d...
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
1 The low throughput at IC (Integrated Circuit) testing is mainly due to the increasing test data volume, which leads to high ATE (Automatic Test Equipment) memory requirements and...
ASPDAC
2007
ACM
14 years 21 days ago
2007
ACM
- This paper presents a real time programmable irregular Low Density Parity Check (LDPC) Encoder as specified in the IEEE P802.16E/D7 standard. The encoder is programmable for fram...