(Cat? OR feline) AND NOT dog?
Cat? W/5 behavior
(Cat? OR feline) AND traits
Cat AND charact*

This guide provides a more detailed description of the syntax that is supported along with examples.

This search box also supports the look-up of an IP.com Digital Signature (also referred to as Fingerprint); enter the 72-, 48-, or 32-character code to retrieve details of the associated file or submission.

Concept Search - What can I type?

For a concept search, you can enter phrases, sentences, or full paragraphs in English. For example, copy and paste the abstract of a patent application or paragraphs from an article.

Concept search eliminates the need for complex Boolean syntax to inform retrieval. Our Semantic Gist engine uses advanced cognitive semantic analysis to extract the meaning of data. This reduces the chances of missing valuable information, that may result from traditional keyword searching.

Publishing Venue

Related People

Abstract

The correctness of the timing is important in the technology of static field-effect transistors (FETs). Herein is provided an algorithm for timing determination in this technology.

Country

United States

Language

English (United States)

This text was extracted from a PDF file.

At least one non-text object (such as an image or picture) has been suppressed.

This is the abbreviated version, containing approximately
100% of the total text.

Page 1 of 2

Switching Circuit Timing Verification

The correctness of the timing is important in the technology of static field-
effect transistors (FETs). Herein is provided an algorithm for timing
determination in this technology.

As a model for static FET switching designs a contact network such as is
shown in the figure is utilized. The problem is to determine the longest acyclic
path in time from a to i. It is assumed that the delays of the transistors are all
equal. This being assumed, the longest paths in time are the longest acyclic
paths.

The following procedure is a method for finding the longest acyclic paths.
Label the initially chosen terminal node as 1. Label all nodes immediately
adjacent to it as 2. Having labelled all nodes of length i or less from a by multiple
labels, label all nodes adjacent to the maximally labelled node, if the maximal
label thus far is k, with the label k+i; add this label to the labels of these adjacent
nodes provided only that no cycles are introduced.

The test for cyclicity is simple: a sequence of nodes beginning and ending
with a given node and in the sequence of the delay-number assignments is
strictly ascending.

The maximal path is obtained by "walking" back from the first terminal node
c, it having been labelled by the process to the terminal node a.

In the example, two paths of length 9 are determined: one, a,b, d,g,e,c,f,h,i
and the other, a,c,f,h,e,b,d,g,i.