摘要:
A 72-bit shift matrix, suitable for LSI implementation in gate arrays, is disclosed. Eight byte shifters and eight bit shifters are combined to produce shifts of 0-72 places in either direction, circularly or open ended with zero or sign fill. A means is additionally provided to regenerate original source parity from the matrix outputs for use in thru checking. A single 9-bit parity generator is all that is required to check the correctness of the matrix.
摘要:
A high speed system utilizing programmably controlled ranks of multiplexers for reformatting data from programmably selected first formats to second formats is described. Interleaved input data is utilized to optimize reformatting rates. The reformatting system provides field selection and justification together with the capability of complementing and magnitude generation of the selected fields. Floating-point operands in two different floating-point formats can be unpacked, that is the characteristic separated from the mantissa and properly aligned, and can be packed by positioning and recombining the characteristic with that associated mantissa. Throughout the entire reformatting process, parity for selected bit groupings is maintained, thereby allowing through checking of reformatting operations. The reformatting system includes programmably selectable constant generation.
摘要:
A characteristic adder for use in a data processing system that performs floating-point arithmetic operations is described. A 1's complement subtractive adder is shown for forming the sum or difference of a pair of exponents under control of function control circuitry, along with an indication of which characteristic is larger for selecting which mantissa operand should be shifted for proper alignment. The function control circuitry responds to function signals to select addition or subtraction, provide the magnitude or complement of the results, and select between two available floating-point formats. Characteristic Overflow and Underflow is tested and signaled for each of the two possible floating-point formats.
摘要:
Failures of duplicate input signals to two indentical electronic modules which may be units, cards, circuits or other entity, are detected by comparison. In each electronic module functional input signals are captured in a plurality of latches on different, or the same, clock phase. Each input signal is captured directly in latches on the same phase as the functional latch which used it to provide a plurality of link signals which are encoded by techniques, such as parity or residue encoding, and compared. The result of the link signal comparison is stored in a register. The outputs of the register are encoded and are supplied to a comparator which compares a signal from the other identical electronic modules. When miscomparison occurs location of the type of failue is facilitated by the system.
摘要:
A system for detecting and isolating fault conditions occurring within a digital electronic system. The digital electronic system includes a first digital logic array for generating digital outputs in response to a set of digital signal inputs applied to it. The digital logic array is replicated and the second array is configured to receive the same inputs as the first. The first and second arrays are made to operate in synchrony so as to normally produce identical outputs in the absence of fault conditions occurring either in the first or second array or in the inputs applied to them. The digital outputs from the first array are applied to first and second residue code generators having different modulii. Likewise, the outputs from the second arry are applied to third and fourth residue code generators which are identical in make-up to the first and second residue code generators. The residue codes developed by the first and third generators are applied to a first comparator while the codes developed by the second and fourth generators are applied to a second comparator. The comparator outputs are applied through combinatorial logic so as to provide an output signal indicative of a fault condition when either the first or second comparator produces an output indicative of inequality between respective residue codes.
摘要:
A method and a means are disclosed for the throughchecking of the normalizer operations of an arithmetic unit of a data processing system involving both integer and floating-point formats in single and double precision operations. A post normalizer is used in conjunction with the main normalizer of the arithmetic unit to determine if the result is indeed normalized. Where the post normalize count is zero, an error designator remains inactivated. However, where the count is non-zero, the error designator is activated to indicate an error exists, unless it is disabled by separate circuitry which detects that the number being shifted is .+-..0.. The preferred embodiment disclosed herein checks the operation of a pair of 72-bit main normalizers with a single 13-bit post normalizer. A plurality of instructions in which this check is significant are illustrated.
摘要:
Instruction processor and method supporting dual-mode execution of computer instructions. In various embodiments, certain instructions are executable in one of two modes. The first mode is compatible with the native instruction set and data words, and the second mode is an adaptation suitable for platform independent instructions. A control word RAM is addressed by the operation code of an instruction, and each word in the control word RAM includes an address into a microcode RAM. The address into the microcode RAM is manipulated in accordance with the various embodiments to reference either a first set of microcode for native instructions and data words, or a second set of microcode for execution in a platform-independent mode.
摘要:
An instruction processor for a data processing system runs arithmetic sequences that are initiated by sequence designator signals and are interrupted by interrupt signals. During operation of the processor logic elements of the processor are selectively cleared by clear signals during time periods that sequence designator signals are in inactive states following the occurrence of an interrupt signal. Dual indentical logic circuits are employed wherein each of the circuits include error circuit elements that are coupled to receive the interrupt signal and arithmetic sequence initiation signals. A comparator is coupled to an output of each of the dual identical logic circuit to receive signals that are used to indicate when an interrupt signal and an arithmetic sequence initiation signal occurs simultaneously in only one of the logic circuits. Clear sequence circuitry in each of the dual identical logic circuits receives the interrupt signal and selectively supplies clear signals to the logic elements.
摘要:
Apparatus for checking and detecting erroneous start signals is provided in the arithmetic section of a high speed instruction processor and may be embodied in other types of processors. The novel logic circuits include circuits for detecting an attempted start signal while a previous instruction is still in process; logic circuits for detecting when an even arithmetic sequence and an odd arithmetic sequence other than the first sequence are being concurrently processed; and logic circuits for detecting when an AR start instruction is being attempted during a wrong minor cycle.
摘要:
A system and method for detecting and correcting errors within a control system is disclosed. A storage device stores data values that are used to control one or more circuits within the system. This storage device may operate as a slave, such that the storage device is addressed using address signals provided by an external source. This storage device may also operate as master such that some of the data signals that are read from the storage device are used to generate the address for performing the next reference the storage device. In the former slave scenario, and in some cases wherein the storage device is operating as a master, data signals that would otherwise be employed to generate an address are instead employed as check bits to implement an error detection and correction scheme.