Abstract: Techniques are disclosed for eliminating redundancy in fault simulations to improve efficiency and to reduce the time and computing power required to generate a robust fault list, which results in adequate diagnostic coverage of a particular post-silicon electronic device for functional safety applications. The techniques described herein implement an automated methodology to identify identical sub-circuits in a design after the design is synthesized to gates, and utilize isomorphism to define a manner in which identical blocks may be reliably identified to ensure adequate coverage and accurate, consistent fault injection results. The netlist may advantageously implement a “flat” as opposed to a hierarchal design. Moreover, multiple levels of granularity may be identified for the various sub-circuits associated with the reference graphs used to identify isomorphic sub-graphs.

Abstract: A method of generating a 3D thermogram of an object includes capturing geometrical data of the object to prepare a 3D model of the object, capturing measured temperature values and recording conditions for object points of at least one partial surface of the object, associating the measured temperature values with the object points to generate a 3D thermogram, repeating capturing of measured temperature values for the object points on new recording conditions and comparing the recording conditions with the new recording conditions for the object points. The method further includes automatically overwriting the captured measured temperature value with the repeated captured measured temperature values for the respective object point of the 3D thermogram when the new recording conditions are closer to ideal conditions than the recording conditions, and projecting the generated 3D thermogram onto the associated at least one partial surface of the object itself.

Abstract: Methods, systems and apparatuses may provide for technology that applies a functional safety test stimulus to a hardware level simulator, automatically compiles an output of the hardware level simulator into a software test library (STL), and iteratively verifies that the diagnostic coverage of the STL file approximates the diagnostic coverage of the functional safety test stimulus.

Abstract: A method and an apparatus for generating a three-dimensional thermogram of an object. The method having steps of capturing geometrical data of the object and preparing a three-dimensional model of the object using the captured geometrical data, capturing measured temperature values for object points of at least one partial surface of the object, associating the measured temperature values for the object points of the at least one partial surface with associated object points of a partial surface, repeating capturing of measured temperature values for the object points and comparing the data on recoding conditions for the object points. The method further includes automatically associating the repeated captured measured temperature value with the respective associated object point in the three-dimensional thermogram when captured under better recording conditions, and projecting the generated three-dimensional thermogram onto the associated at least one partial surface of the object.

Abstract: Methods, systems and apparatuses may provide for technology that applies a functional safety test stimulus to a hardware level simulator, automatically compiles an output of the hardware level simulator into a software test library (STL), and iteratively verifies that the diagnostic coverage of the STL file approximates the diagnostic coverage of the functional safety test stimulus.

Abstract: The invention relates to a water bar comprising nozzle parts for a suction chamber to apply jets to fabrics, knitted fabric webs, or nonwoven fabrics copoosed of staple fibers, endless filaments, or cellulose fibers, also in several layers, or mixtures thereof, and a suction area which is located on the bottom side of the suction chamber and is used for sucking off spraying water. The aim of the invention is to largely prevent spraying water or spraying mist in the region of the water jet that is discharged from the water jet beam. Said aim is achieved by assigning an air supplying device to the water bar and/or the suction chamber, said air supplying device being provided with at least one outlet which is located in the region of the water bar and extends to the region of the nozzle ports of the water bar.

Abstract: Aluminium effect pigments having the following properties: a) a d50-value of the volume averaged particle size distribution curve of 1 ?m to 15 ?m, b) an average thickness h50 of 15 to 150 nm determined by counting from SEM images, c) an x-ray diffractogram measured on said aluminium effect pigments in essentially plane-parallel alignment showing main peaks which are not [111]- or [222]-reflections. Furthermore, the disclosure relates to an ink jet printing ink and a method of producing an ink jet printing ink and the use of aluminium effect pigments as well as an ink jet printing ink.

Abstract: A method and system for comparing a first model and a second model of an electronic design, wherein the first model is at a transaction level and the second model is at a register transfer level, comprises the steps of: translating signal values of the second model to a transaction stream; comparing a transaction stream of the first model against the transaction stream of the second model based on data at timing points of transaction phases of the transaction streams; and generating results based on the comparison of the transaction streams.

Abstract: The invention relates to a water bar comprising nozzle parts for a suction chamber to apply jets to fabrics, knitted fabric webs, or nonwoven fabrics composed of staple fibers, endless filaments, or cellulose fibers, also in several layers, or mixtures thereof, and a suction area which is located on the bottom side of the suction chamber and is used for sucking off spraying water. The aim of the invention is to largely prevent spraying water or spraying mist in the region of the water jet that is discharged from the water jet beam. Said aim is achieved by assigning an air supplying device to the water bar and/or the suction chamber, said air supplying device being provided with at least one outlet which is located in the region of the water bar and extends to the region of the nozzle ports of the water bar.

Abstract: Aluminium effect pigments having the following properties: a) a d50-value of the volume averaged particle size distribution curve of 1 ?m to 15 ?m, b) an average thickness h50 of 15 to 150 nm determined by counting from SEM images, c) an x-ray diffractogram measured on said aluminium effect pigments in essentially plane-parallel alignment showing main peaks which are not [111]- or [222]-reflections. Furthermore, the disclosure relates to an ink jet printing ink and a method of producing an ink jet printing ink and the use of aluminium effect pigments as well as an ink jet printing ink.

Abstract: To perform a simulation, a design can be divided into “blocks” described by models. To ensure that data is efficiently transferred from an source model to a destination model, a dynamic first-in first-out (FIFO) can be placed between these models. The initial size of the dynamic FIFO can be set to a relatively small value. To prevent deadlock, the size of the FIFO can be automatically increased in size by increments. In this manner, the memory resources of the FIFO can be tightly controlled. Advantageously, the size of the optimized dynamic FIFO can be used as the desired size of the FIFO implemented in silicon, thereby also ensuring efficient use of silicon resources.

Abstract: To perform a simulation, a design can be divided into “blocks” described by models. To ensure that data is efficiently transferred from an source model to a destination model, a dynamic first-in first-out (FIFO) can be placed between these models. The initial size of the dynamic FIFO can be set to a relatively small value. To prevent deadlock, the size of the FIFO can be automatically increased in size by increments. In this manner, the memory resources of the FIFO can be tightly controlled. Advantageously, the size of the optimized dynamic FIFO can be used as the desired size of the FIFO implemented in silicon, thereby also ensuring efficient use of silicon resources.

Abstract: A methodology for process modeling and control and the software system implementation of this methodology, which includes a rigorous, nonlinear process simulation model, the generation of appropriate linear models derived from the rigorous model, and an adaptive, linear model predictive controller (MPC) that utilizes the derived linear models. A state space, multivariable, model predictive controller (MPC) is the preferred choice for the MPC since the nonlinear simulation model is analytically translated into a set of linear state equations and thus simplifies the translation of the linearized simulation equations to the modeling format required by the controller. Various other MPC modeling forms such as transfer functions, impulse response coefficients, and step response coefficients may also be used. The methodology is very general in that any model predictive controller using one of the above modeling forms can be used as the controller.

Abstract: A technique to provide dynamic modeling, parameter estimation and optimization for processes having operating targets. The technique has an optimization cycle and a simulation cycle. The simulation cycle runs at a rate that is equal to or faster than the run rate of the optimization cycle. Both cycles obtain data from the field about the process. The optimization cycle provides a simulation execution of a dynamic process model and the results of that simulation are used to match the model response to the actual plant response. This matching determines if a dynamic parameter estimation and data reconciliation is needed for the model parameters. Optimized operating targets are determined using either the estimated and reconciled parameters and data or if the same is not needed the collected process data. Mathematical and heuristic assessment tools are used to determine if the optimized operating targets should or should not be invoked.