Dismiss
The IQ application will be unavailable on Sunday, November 24th, starting at 9:00am ET while we make system improvements. Access will be restored as quickly as possible.
Browse Prior Art Database

MEMORY ARRAY STATE NODE IDENTIFICATION TOOL

IP.com Disclosure Number: IPCOM000007619D
Original Publication Date: 1996-May-01
Included in the Prior Art Database: 2002-Apr-10

Publishing Venue

Motorola

Related People

Authors:
Manish Pandey Randal E. Bryant

Abstract

Memory arrays in this document refer to a SBAM or DRAM core with at least one write port. Exam- ples of such arrays include multi-ported register files, cache memory SRAM core and cache tag arrays. Identification of state nodes in a memory array is an important prerequisite for many simulation and for- mal verification tasks. Circuit properties are usually expressed in terms of these nodes. Also, for simula- tion, we can initialize the circuit to a given state by setting the internal state nodes to certain values.