New Bounds and Constructions for Constant Weighted X-Codes

As a crucial technique for integrated circuits (IC) test response compaction, $X$-compact employs a special kind of codes called $X$-codes for reliable compressions of the test response in the presence of unknown logic values ($X$s). From a combinatorial view point, Fujiwara and Colbourn \cite{FC2010} introduced an equivalent definition of $X$-codes and studied $X$-codes of small weights that have good detectability and $X$-tolerance. In this paper, bounds and constructions for constant weighted $X$-codes are investigated. First, we prove a general lower bound on the maximum number of codewords $n$ for an $(m,n,d,x)$ $X$-code of weight $w$, and we further improve this lower bound for the case with $x=2$ and $w=3$ through the probabilistic method. Then, using tools from additive combinatorics and finite fields, we present some explicit constructions for constant weighted $X$-codes with $d=3,7$ and $x=2$, which are nearly optimal for cases when $d=3$ and $w=3,4$. We also consider a special class of $X$-codes introduced in \cite{FC2010} and improve the best known lower bound on the maximum number of codewords for this kind of $X$-codes.

[1]  Steven S. Lumetta,et al.  X-tolerant test response compaction , 2005, IEEE Design & Test of Computers.

[2]  Abraham Lempel,et al.  Design of universal test sequences for VLSI , 1985, IEEE Trans. Inf. Theory.

[3]  Mark G. Karpovsky,et al.  Testing Computer Hardware through Data Compression in Space and Time , 1983, ITC.

[4]  Vojtech Rödl,et al.  On a Packing and Covering Problem , 1985, Eur. J. Comb..

[5]  D. Burek,et al.  Test data compression , 2003, IEEE Design & Test of Computers.

[6]  Steven S. Lumetta,et al.  X-Codes: Theory and Applications of Unknowable Inputs , 2003 .

[7]  Yixian Yang,et al.  On the undetected error probability of nonlinear binary constant weight codes , 1994, IEEE Trans. Commun..

[8]  Benny Sudakov,et al.  Recent Developments in Extremal Combinatorics: Ramsey and Turan Type Problems , 2011 .

[9]  Steven S. Lumetta,et al.  X-codes: error control with unknowable inputs , 2003, IEEE International Symposium on Information Theory, 2003. Proceedings..

[10]  Gadiel Seroussi,et al.  Vector sets for exhaustive testing of logic circuits , 1988, IEEE Trans. Inf. Theory.

[11]  Charles J. Colbourn,et al.  A Combinatorial Approach to X-Tolerant Compaction Circuits , 2010, IEEE Transactions on Information Theory.

[12]  Janak H. Patel,et al.  Application of Saluja-Karpovsky compactors to test responses with many unknowns , 2003, Proceedings. 21st VLSI Test Symposium, 2003..

[13]  Fan Chung Graham,et al.  Optical orthogonal codes: Design, analysis, and applications , 1989, IEEE Trans. Inf. Theory.

[14]  Gennian Ge,et al.  Sparse hypergraphs: New bounds and constructions , 2017, J. Comb. Theory, Ser. B.

[15]  Itzhak Tamo,et al.  Sparse Hypergraphs with Applications to Coding Theory , 2019, SIAM J. Discret. Math..

[16]  János Komlós,et al.  Extremal Uncrowded Hypergraphs , 1982, J. Comb. Theory, Ser. A.

[17]  Rudolf Lide,et al.  Finite fields , 1983 .

[18]  Itzhak Tamo,et al.  Universally Sparse Hypergraphs with Applications to Coding Theory , 2019, 2019 IEEE International Symposium on Information Theory (ISIT).

[19]  W. Samotij,et al.  Supersaturated sparse graphs and hypergraphs , 2017, 1710.04517.

[20]  László Györfi,et al.  Constructions of binary constant-weight cyclic codes and cyclically permutable codes , 1992, IEEE Trans. Inf. Theory.

[21]  Zoltán Füredi,et al.  Families of Finite Sets in Which No Set Is Covered by the Union of Two Others , 1982, J. Comb. Theory, Ser. A.

[22]  Peter Wohl,et al.  Analysis and design of optimal combinational compactors [logic test] , 2003, Proceedings. 21st VLSI Test Symposium, 2003..

[23]  Damaraju Raghavarao,et al.  New combinatorial designs and their applications to group testing , 1984 .

[24]  Peter Wohl,et al.  Analysis and Design of Optimal Combinational Compactors , 2003 .

[25]  Vojtech Rödl,et al.  On Uncrowded Hypergraphs , 1995, Random Struct. Algorithms.

[26]  Gérard D. Cohen,et al.  Intersecting codes and independent families , 1994, IEEE Trans. Inf. Theory.

[27]  Vojtech Rödl,et al.  The asymptotic number of graphs not containing a fixed subgraph and a problem for hypergraphs having no exponent , 1986, Graphs Comb..

[28]  Noga Alon,et al.  On An Extremal Hypergraph Problem Of Brown, Erdős And Sós , 2006, Comb..

[29]  Yuichiro Fujiwara,et al.  Bounds and Polynomial-Time Construction Algorithm for X-Codes of Constant Weight Three , 2018, 2018 IEEE International Symposium on Information Theory (ISIT).

[30]  Subhasish Mitra,et al.  X-compact: an efficient response compaction technique , 2004, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[31]  Peter Keevash Surveys in Combinatorics 2011: Hypergraph Turán problems , 2011 .

[32]  Felix Lazebnik,et al.  On Hypergraphs of Girth Five , 2003, Electron. J. Comb..

[33]  Zoltán Füredi On r-Cover-free Families , 1996, J. Comb. Theory, Ser. A.

[34]  Richard C. Singleton,et al.  Nonrandom binary superimposed codes , 1964, IEEE Trans. Inf. Theory.

[35]  P. Erdös,et al.  Families of finite sets in which no set is covered by the union ofr others , 1985 .

[36]  Jehoshua Bruck,et al.  Coding for tolerance and detection of skew in parallel asynchronous communications , 2000, IEEE Trans. Inf. Theory.

[37]  Alexandr V. Kostochka,et al.  On independent sets in hypergraphs , 2011, Random Struct. Algorithms.

[38]  Henk D. L. Hollmann Design of test sequences for VLSI self-testing using LFSR , 1990, IEEE Trans. Inf. Theory.

[39]  F. Behrend On Sets of Integers Which Contain No Three Terms in Arithmetical Progression. , 1946, Proceedings of the National Academy of Sciences of the United States of America.

[40]  Peter Vandendriessche,et al.  Bounds on Separating Redundancy of Linear Codes and Rates of X-Codes , 2016, IEEE Transactions on Information Theory.

[41]  János Komlós,et al.  A Note on Ramsey Numbers , 1980, J. Comb. Theory, Ser. A.