Dismiss
The InnovationQ application will be updated on Sunday, May 31st from 10am-noon ET. You may experience brief service interruptions during that time.
Browse Prior Art Database

Physical-Design Verification

IP.com Disclosure Number: IPCOM000043665D
Original Publication Date: 1984-Sep-01
Included in the Prior Art Database: 2005-Feb-05

Publishing Venue

IBM

Related People

Authors:
Kurtzberg, JM Roth, JP [+details]

Abstract

An essential aspect in the design of computers has always been the physical design Pd, a fortiori, for VLSI. Pd is preceded by logic design L, which, from the point of view of Pd, consists of a graph, directed for bipolar technologies, whose nodes are primitive functions performed by prescribed assemblages of transistors, whose inputs are primary inputs (PIs) or register inputs (RIs) or the outputs from other nodes. A regular design, abbreviated R-design, is a particular prescription for forming a logic design L which is capable of (efficiently) realizing any function and which prevents designs which will be indeterminate in their operation, that is, for which there will be sequences for which, because of "local races" in the design, it is impossible to predict the outputs.