Micron Technology Incorporated

Casco Signal Co., Ltd.

Cheng Zhang

Jingwei Cheng

Fan Yang

Wenyan Zhang

Min Wei

Yanqin Wang

Mingyao Zhang

Xiao Lui

Shaoxin Wang

An interlocking data safe conversion method for formal verification and a translator. Two translators with same functions are developed by adopting different programming methods and programming languages. An input file of each of the translators at least comprises an interlocking information table in interlocking data, a device interface information table, a station yard description data and interlocking Boolean logic data. Consistency of output files of the two translators is compared to realize detection process failure.

Interlocking data safe conversion method for formal verification and translator

Methods, systems, and devices for configurable memory die capacitance are described. A memory device may include a capacitive component, which may include one or more capacitors and associated switching components. The capacitive component may be coupled with an input/output (I/O) pad and an associated input buffer, and the one or more capacitors of the capacitive component may be selectively couplable with the I/O pad via the switching components. Switching components may be activated individually, in coordination, or not at all, such that one, multiple, or none of the capacitors may be coupled with the I/O pad. The capacitive component, I/O pad, and input buffer may be included in a same die of the memory device. In some cases, a configuration of the capacitive component may be based on signaling received from a host device.

Configurable memory die capacitance

Growing community of inventors

Shanghai, China

Cheng Zhang