International Business Machines Corporation

Ido Rozenberg

Stefan Payer

Erez Barak

Wolfgang Penth

Shiri Moran

Osher Yifrach

Lior Binyamini

Shlomit Koyfman

Examples of techniques for modifying testing tools are described herein. An example computer-implemented method includes receiving, via a processor, a netlist comprising a complex coverage event that depends on a singular independent signal. The method includes detecting, via the processor, that complex coverage event can be separated into the singular independent signal and a logic state based on a structural logic analysis. The method also includes modifying, via the processor, a testing tool to test the netlist based on the singular independent signal.

Testing netlists based on singular independent signals

A memory array includes m&#xb7;(n+1) memory cells, wherein n and m are natural numbers greater than zero. Each of the plurality of memory cells is connected to one of (n+1) bitlines and one of m wordlines. The memory array further includes n outputs configured for reading a content of the memory array. The memory array further includes n output switches, wherein an i-th output switch is configured for selectively connecting, in response to a switching signal, either an i-th bitline or an (i+1)-th bitline to an i-th output, and wherein i is a natural number and 0&#x2266;i&#x2266;n&#x2212;1. The memory array further includes an (n+1)-th output switch, wherein the (n+1)-th output switch is configured for selectively connecting, in response to the switching signal, either the (n+1)-th bitline or a defined potential to an (n+1)-th output.

Automatic built-in self test for memory arrays

Growing community of inventors

Rishon Le-Zion, Israel

Ido Rozenberg