Question: who produced the  brand  which adopted  Intel BiCMOS logic circuit family that is co invested by Young  

Context articles: Sequential logic
Don't-care term
Pentium
Asynchronous circuit
Logic optimization
Synchronous circuit
Tseytin transformation
Ian A. Young
Resistor–transistor logic
Fan-in

In digital circuit theory, sequential logic is a type of logic circuit whose output depends not only on the present value of its input signals but on the sequence of past inputs, the input history.
 This is in contrast to "combinational logic", whose output is a function of only the present input.
 That is, sequential logic has "state" ("memory") while combinational logic does not.
In digital logic, a don't-care term for a function is an input-sequence (a series of bits) for which the function output does not matter.
 An input that is known never to occur is a can't-happen term.
 Both these types of conditions are treated the same way in logic design and may be referred to collectively as "don't-care conditions" for brevity.
 The designer of a logic circuit to implement the function need not care about such inputs, but can choose the circuit's output arbitrarily, usually such that the simplest circuit results (minimization).
Pentium is a brand used for a series of x86 architecture-compatible microprocessors produced by Intel since 1993.
 In their form as of 2011 , Pentium processors are considered entry-level products that Intel rates as "two stars", meaning that they are above the low-end Atom and Celeron series, but below the faster Core i3, i5, i7, i9, and high-end Xeon series.
An asynchronous circuit, or self-timed circuit, is a sequential digital logic circuit which is not governed by a clock circuit or global clock signal.
 Instead it often uses signals that indicate completion of instructions and operations, specified by simple data transfer protocols.
 This type of circuit is contrasted with synchronous circuits, in which changes to the signal values in the circuit are triggered by repetitive pulses called a clock signal.
 Most digital devices today use synchronous circuits.
 However asynchronous circuits have the potential to be faster, and may also have advantages in lower power consumption, lower electromagnetic interference, and better modularity in large systems.
 Asynchronous circuits are an active area of research in digital logic design.
Logic optimization, a part of logic synthesis in electronics, is the process of finding an equivalent representation of the specified logic circuit under one or more specified constraints.
 Generally the circuit is constrained to minimum chip area meeting a prespecified delay.
A synchronous circuit is a digital circuit in which the changes in the state of memory elements are synchronized by a clock signal.
 In a sequential digital logic circuit, data is stored in memory devices called flip-flops or latches.
 The output of a flip-flop is constant until a pulse is applied to its "clock" input, upon which the input of the flip-flop is latched into its output.
 In a synchronous logic circuit, an electronic oscillator called the "clock" generates a string of pulses, the "clock signal".
 This clock signal is applied to every storage element, so in an ideal synchronous circuit, every change in the logical levels of its storage components is simultaneous.
 Ideally, the input to each storage element has reached its final value before the next clock occurs, so the behaviour of the whole circuit can be predicted exactly.
 Practically, some delay is required for each logical operation, resulting in a maximum speed at which each synchronous system can run.
The Tseytin transformation, alternatively written Tseitin transformation takes as input an arbitrary combinatorial logic circuit and produces a boolean formula in conjunctive normal form (CNF), which can be solved by a CNF-SAT solver.
 The length of the formula is linear in the size of the circuit.
 Input vectors that make the circuit output "true" are in 1-to-1 correspondence with assignments that satisfy the formula.
 This reduces the problem of circuit satisfiability on any circuit (including any formula) to the satisfiability problem on 3-CNF formulas.
Ian.
 A. Young is an Intel engineer .
 Young is a co-inventor of the design for an oscillator used in Intel microprocessors Young was a co-inventor on Intel BiCMOS logic circuit family, adopted in Pentium, Pentium Pro, Pentium II microprocessors.
 Young also developed microprocessor performance optimization metric for transistors (Front End Transistor Metric) and interconnects, .
Resistor–transistor logic (RTL) is a class of digital circuits built using resistors as the input network and bipolar junction transistors (BJTs) as switching devices.
 RTL is the earliest class of transistorized digital logic circuit used; other classes include diode–transistor logic (DTL) and transistor–transistor logic (TTL).
 RTL circuits were first constructed with discrete components, but in 1961 it became the first digital logic family to be produced as a monolithic integrated circuit.
 RTL integrated circuits were used in the Apollo Guidance Computer, whose design was begun in 1961 and which first flew in 1966.
Fan-in is the number of inputs a gate can handle.
 For instance the fan-in for the AND gate shown in the figure is 3.
 Physical logic gates with a large fan-in tend to be slower than those with a small fan-in.
 This is because the complexity of the input circuitry increases the input capacitance of the device.
 Using logic gates with higher fan-in will help reducing the depth of a logic circuit.