Applying ROBDDs for Logical Circuit Delay Testing

2019 ◽  
Vol 62 (5) ◽  
pp. 827-834
Author(s):  
A. Yu. Matrosova ◽  
V. V. Andreeva ◽  
V. Z. Tychinskiy ◽  
G. G. Goshin
Author(s):  
A.Yu. Matrosova ◽  
◽  
V.V. Andreeva ◽  
V.Z. Tychinskiy ◽  
G.G. Goshin ◽  
...  

1995 ◽  
Vol 05 (02) ◽  
pp. 275-280 ◽  
Author(s):  
BEATE BOLLIG ◽  
MARTIN HÜHNE ◽  
STEFAN PÖLT ◽  
PETR SAVICKÝ

For circuits the expected delay is a suitable measure for the average case time complexity. In this paper, new upper and lower bounds on the expected delay of circuits for disjunction and conjunction are derived. The circuits presented yield asymptotically optimal expected delay for a wide class of distributions on the inputs even when the parameters of the distribution are not known in advance.


Author(s):  
Shi-Yu Huang ◽  
Yu-Hsiang Lin ◽  
Kun-Han (Hans) Tsai ◽  
Wu-Tung Cheng ◽  
Stephen Sunter ◽  
...  
Keyword(s):  

2014 ◽  
Vol 529 ◽  
pp. 359-363
Author(s):  
Xi Lei Huang ◽  
Mao Xiang Yi ◽  
Lin Wang ◽  
Hua Guo Liang

A novel concurrent core test approach is proposed to reduce the test cost of SoC. Before test, a novel test set sharing strategy is proposed to obtain a minimum size of merged test set by merging the test sets corresponding to cores under test (CUT).Moreover, it can be used in conjunction with general compression/decompression techniques to further reduce test data volume (TDV). During test, the proposed vector separating device which is composed of a set of simple combinational logical circuit (CLC) is designed for separating the vector from the merged test set to the correspondent test core. This approach does not add any test vector for each core and can test synchronously to reduce test application time (TAT). Experimental results for ISCAS’ 89 benchmarks have been rproven the efficiency of the proposed approach.


Sign in / Sign up

Export Citation Format

Share Document