A compilation system accesses a compilation operations that can be used by a compiler to compile a design under test (DUT). The compilation system can determine a sequence of the compilation operations for the compiler to perform the compilation. The compilation system can detect a failure at a first compilation operation of the sequence of operations during the compilation of the DUT, and the compilation of the DUT can be paused after the failure is detected. The compilation system can determine a second compilation operation of the accessed compilation operations based on one or more netlist parameters of the DUT's netlist. The compilation system then modifies the sequence of compilation operations based on the second compilation operation and resumes the compilation of the DUT at the second compilation operation using the modified sequence of compilation operations.

Provided is a method of detecting a defective layer. A method, performed by a computing system, of detecting a defective layer of a semiconductor device including a plurality of layers includes obtaining candidate defective layer information regarding a plurality of candidate defective layers and obtaining physical structure information regarding the candidate defective layers, dividing each of wires in the candidate defective layers into virtual micro areas based on the candidate defective layer information and based on the physical structure information, and identifying a defective layer from among the candidate defective layers according to a number of the virtual micro areas.

A method for generating a fault tree of a multi-component system is provided. The multicomponent system includes a logical-functional system layer and a physical system layer as different layers of abstraction. The physical system layer may correspond, for example, to software and/or hardware implementing the functional aspects of the logical-functional system layer. The method first provides a logical-functional fault tree for the logical-functional system layer and a physical fault tree for the physical system layer, the latter having elements corresponding to elements in the logical-functional fault tree. Next, a mixed-layer fault tree is generated by combining aspects of both fault trees in a systematic way. The disclosed is particularly relevant for analyzing safety-critical systems. However, the present concepts are not limited to these applications and may be applied to general use cases where fault tree analysis is applicable.

The technology disclosed relates to verifying metastability for a clock domain crossing (CDC) in a circuit design. The technology disclosed may include, for a destination clock domain in the circuit design, creating a circuit graph based, at least in part, on the circuit design. The circuit graph includes start points and stop points. The start points may be data inputs, clocks, and enables of the destination clock domain. The stop points may be synchronizer outputs of the destination clock domain and a source clock domain in the circuit design. The technology disclosed may also include traversing the circuit graph to mark all graph nodes that reside in a source-destination path of the CDC. Based on the marked graph nodes, the start points, and the stop points, the technology disclosed may also include propagating destination domain qualifiers on the circuit graph within an allowed sequential depth.

Methods and devices for recording and processing elevator data of an existing elevator system are described. In some instances, each floor is approached by at least one measuring run, and measurement data representing the floor heights are recorded a measuring device. In addition, a three-dimensional digital-double dataset is generated from component model datasets, which reproduces at least each floor recorded by the measuring run in the recorded sequence and with the determined floor height.

A pump machine unit optimized operation regulation system is provided, and includes a physical body, a digital twin, a digital twin body of the physical body and a digital space. The digital space drives the digital twin to realize data mirroring, mapping reconstruction, information interactive feedback and simulation of a pump machine unit optimized regulation system in virtual space and a pump machine unit optimized regulation system in physical space. The disclosure constructs the virtual twin body of the physical body of the pump system based on the digital twin to realize the data mirror and information interaction between the physical body and the virtual twin body, and physical object twin, operation process twin and control performance twin of the physical entity and digital twin body. Running state monitoring, optimized regulation, simulation and health prediction of the pump machine unit can be realized.

A computer-implemented method for designing a mechanical product formed in one or more materials including obtaining inputs including a finite element model representing the mechanical product and having an initial value of design variables, one or more load cases, a corresponding load history for each load case, boundary conditions, fatigue properties of the one or more materials, and a fatigue calculation scheme. The method further includes computing a distribution of fatigue damage over the finite element model based on the inputs, computing a distribution of sets of fatigue damage sensitivities over the finite element model based on the computed distribution of fatigue damage, each fatigue damage sensitivity of each set approximating a derivative of the fatigue damage relative to a respective design variable, and updating the value of the design variables based on the fatigue damage sensitivities.

A method, computer system, and a computer program product for manufacturing optimization is provided. The present invention may include, receiving data for one or more physical assets utilized in a manufacturing process. The present invention may include, generating a digital twin, wherein the digital twin includes a digital representation of the one or more physical assets utilized in the manufacturing process. The present invention may include, simulating a performance of the digital twin for the manufacturing process under a plurality of conditions. The present invention may include, analyzing the performance of the digital twin under the plurality of conditions.

A composite material design device using a genetic algorithm includes: a first generation generating unit that generates, as a first-generation group of individuals, a plurality of individual models using each of laminate member models having strength directionalities designed on the basis of a load condition; an evaluating unit that segments each individual model in the generated group of individuals into predetermined cells, and evaluates a lamination pattern in each cell using at least one of indices including symmetry, adjacent directionality, and continuous laminability; and a next generation generating unit that selects an individual model from the group of individuals through ranked selection, generates a new individual model through crossover, replication, and mutation, and updates the group of individuals as a next generation.

Vehicle environment data about operation of a plurality of vehicles and vehicle component data for a vehicle component is input into a machine learning program to obtain a transfer function that correlates vehicle environment data to vehicle component data within a specified range of vehicle component parameters. A first event is identified by determining that a datum in the vehicle component data is outside the specified range. A predictive damage model of a vehicle component is updated based on the first event. A virtual parameter of a component model is adjusted based on output from the predictive damage model.