Abstract: Examples of techniques for automated attribute propagation and hierarchical consistency checking are disclosed. In one example implementation according to aspects of the present disclosure, a computer-implemented method may include: detecting, by a processor, a non-standard extension during convergence of an integrated circuit logic design; propagating, by the processor, the non-standard extension to each level of a plurality of hierarchies of the integrated circuit design for which a net utilizes a special constraint; and verifying, by the processor, a hierarchy consistency across each level of the plurality of hierarchies.

Abstract: Examples of techniques for automated attribute propagation and hierarchical consistency checking are disclosed. In one example implementation according to aspects of the present disclosure, a computer-implemented method may include: detecting, by a processor, a non-standard extension during convergence of an integrated circuit logic design; propagating, by the processor, the non-standard extension to each level of a plurality of hierarchies of the integrated circuit design for which a net utilizes a special constraint; and verifying, by the processor, a hierarchy consistency across each level of the plurality of hierarchies.

Abstract: An instruction control interface is provided for automatically controlling assigning of one or more instructions for processing by one or more processor cores of a computing device. The control interface separately monitors temperatures of multiple logic units within each processor core of the processor core(s) of the computing device, and controls assigning of one or more instructions for processing by a particular processor core(s) based, at least in part, on the separately monitored temperatures of the multiple logic units within the processor core(s).

Abstract: Examples of techniques for automated attribute propagation and hierarchical consistency checking are disclosed. In one example implementation according to aspects of the present disclosure, a computer-implemented method may include: detecting, by a processor, a non-standard extension during convergence of an integrated circuit logic design; propagating, by the processor, the non-standard extension to each level of a plurality of hierarchies of the integrated circuit design for which a net utilizes a special constraint; and verifying, by the processor, a hierarchy consistency across each level of the plurality of hierarchies.

Abstract: Examples of techniques for automated attribute propagation and hierarchical consistency checking are disclosed. In one example implementation according to aspects of the present disclosure, a computer-implemented method may include: detecting, by a processor, a non-standard extension during convergence of an integrated circuit logic design; propagating, by the processor, the non-standard extension to each level of a plurality of hierarchies of the integrated circuit design for which a net utilizes a special constraint; and verifying, by the processor, a hierarchy consistency across each level of the plurality of hierarchies.

Abstract: Aspects include techniques for selective boundary overlay insertion for hierarchical circuit design. A method may include determining, by a processing device, a block type of a child block. The method may further include electively inserting, by the processing device, at least one of an instantiated boundary overlay and a merged boundary overlay into the hierarchical circuit design based on the block type of the child block. The instantiated boundary overlay enables a parent block to pass a testing at an out-of-context level, and the merged boundary overlay enables the parent block to continue to pass the testing when the child block is inserted into the parent block associated with the child block.

Abstract: Examples of techniques for automated attribute propagation and hierarchical consistency checking are disclosed. In one example implementation according to aspects of the present disclosure, a computer-implemented method may include: detecting, by a processor, a non-standard extension during convergence of an integrated circuit logic design; propagating, by the processor, the non-standard extension to each level of a plurality of hierarchies of the integrated circuit design for which a net utilizes a special constraint; and verifying, by the processor, a hierarchy consistency across each level of the plurality of hierarchies.

Abstract: Examples of techniques for automated attribute propagation and hierarchical consistency checking are disclosed. In one example implementation according to aspects of the present disclosure, a computer-implemented method may include: detecting, by a processor, a non-standard extension during convergence of an integrated circuit logic design; propagating, by the processor, the non-standard extension to each level of a plurality of hierarchies of the integrated circuit design for which a net utilizes a special constraint; and verifying, by the processor, a hierarchy consistency across each level of the plurality of hierarchies.

Abstract: Examples of techniques for automated attribute propagation and hierarchical consistency checking are disclosed. In one example implementation according to aspects of the present disclosure, a computer-implemented method may include: detecting, by a processor, a non-standard extension during convergence of an integrated circuit logic design; propagating, by the processor, the non-standard extension to each level of a plurality of hierarchies of the integrated circuit design for which a net utilizes a special constraint; and verifying, by the processor, a hierarchy consistency across each level of the plurality of hierarchies.

Abstract: Examples of techniques for automated attribute propagation and hierarchical consistency checking are disclosed. In one example implementation according to aspects of the present disclosure, a computer-implemented method may include: detecting, by a processor, a non-standard extension during convergence of an integrated circuit logic design; propagating, by the processor, the non-standard extension to each level of a plurality of hierarchies of the integrated circuit design for which a net utilizes a special constraint; and verifying, by the processor, a hierarchy consistency across each level of the plurality of hierarchies.

Abstract: Aspects include techniques for selective boundary overlay insertion for hierarchical circuit design. A method may include determining, by a processing device, a block type of a child block. The method may further include electively inserting, by the processing device, at least one of an instantiated boundary overlay and a merged boundary overlay into the hierarchical circuit design based on the block type of the child block. The instantiated boundary overlay enables a parent block to pass a testing at an out-of-context level, and the merged boundary overlay enables the parent block to continue to pass the testing when the child block is inserted into the parent block associated with the child block.

Abstract: A technique is provided for system reliability. An input is received, and a computation operation on the input is repeated to generate multiple output values. The multiple output values are stored in a table along with a number of hits for each distinct output value in the multiple output values, and the number of hits indicates a number of times each distinct output value was generated by the repeating. A reliability circuit checks whether the number of hits for any one distinct output value meets a confidence threshold. Based on meeting the confidence threshold for the number of hits, the any one distinct output value is output. Based on the number of hits for the any one distinct output value not meeting the confidence threshold, the computation operation is continuously repeated on the input until the number of hits for the any one distinct output value meets the confidence threshold.

Abstract: A multiple processor core computer system interface assigns instructions to partially functional processor cores based on processing resources available in each partially functional core. Each processor core is labeled as fully functional, partially functional, or non-functional, and an indicator is provided for each partially functional processor core that shows what processing resources are available for a respective core. The indicators can be stored in memory after final test. The interface can monitor cores for changes in available resources and update respective indicators, such as by superseding an existing indicator with or creating a new indicator in read-write memory.

Abstract: An instruction control interface is provided for automatically controlling assigning of one or more instructions for processing by one or more processor cores of a computing device. The control interface separately monitors temperatures of multiple logic units within each processor core of the processor core(s) of the computing device, and controls assigning of one or more instructions for processing by a particular processor core(s) based, at least in part, on the separately monitored temperatures of the multiple logic units within the processor core(s).

Abstract: A multiple processor core computer system interface assigns instructions to partially functional processor cores based on processing resources available in each partially functional core. Each processor core is labeled as fully functional, partially functional, or non-functional, and an indicator is provided for each partially functional processor core that shows what processing resources are available for a respective core. The indicators can be stored in memory after final test. The interface can monitor cores for changes in available resources and update respective indicators, such as by superseding an existing indicator with or creating a new indicator in read-write memory.

Abstract: A technique is provided for system reliability. An input is received, and a computation operation on the input is repeated to generate multiple output values. The multiple output values are stored in a table along with a number of hits for each distinct output value in the multiple output values, and the number of hits indicates a number of times each distinct output value was generated by the repeating. A reliability circuit checks whether the number of hits for any one distinct output value meets a confidence threshold. Based on meeting the confidence threshold for the number of hits, the any one distinct output value is output. Based on the number of hits for the any one distinct output value not meeting the confidence threshold, the computation operation is continuously repeated on the input until the number of hits for the any one distinct output value meets the confidence threshold.

Abstract: A system for providing error detection or correction on a data bus includes one or more caches coupled to a central processing unit and to a hub by one or more buses. The system also includes a plurality of arrays, each array disposed on one of the buses. Each of the arrays includes a plurality of storage cells disposed in an insensitive direction and an error control mechanism configured to detect an error in the plurality of storage cells.

Abstract: A technique is provided for system reliability. An input is received, and a computation operation on the input is repeated to generate multiple output values. The multiple output values are stored in a table along with a number of hits for each distinct output value in the multiple output values, and the number of hits indicates a number of times each distinct output value was generated by the repeating. A reliability circuit checks whether the number of hits for any one distinct output value meets a confidence threshold. Based on meeting the confidence threshold for the number of hits, the any one distinct output value is output. Based on the number of hits for the any one distinct output value not meeting the confidence threshold, the computation operation is continuously repeated on the input until the number of hits for the any one distinct output value meets the confidence threshold.

Abstract: A technique is provided for system reliability. An input is received, and a computation operation on the input is repeated to generate multiple output values. The multiple output values are stored in a table along with a number of hits for each distinct output value in the multiple output values, and the number of hits indicates a number of times each distinct output value was generated by the repeating. A reliability circuit checks whether the number of hits for any one distinct output value meets a confidence threshold. Based on meeting the confidence threshold for the number of hits, the any one distinct output value is output. Based on the number of hits for the any one distinct output value not meeting the confidence threshold, the computation operation is continuously repeated on the input until the number of hits for the any one distinct output value meets the confidence threshold.

Abstract: A method for providing error detection and/or correction to an array of storage cells includes determining a sensitive direction and an insensitive direction of the storage cells and adding a first error control mechanism to the array of storage cells in the insensitive direction. The method also includes adding a second error control mechanism to the array of storage cells in the sensitive direction. The second error control mechanism has a higher Hamming distance than the first error control mechanism.