A soft error-mitigating semiconductor design system and associated methods that tailor circuit design steps to mitigate corruption of data in storage elements (e.g., flip flops) due to Single Events Effects (SEEs). Required storage elements are automatically mapped to triplicated redundant nodes controlled by a voting element that enforces majority-voting logic for fault-free output (i.e., Triple Modular Redundancy (TMR)). Storage elements are also optimally positioned for placement in keeping with SEE-tolerant spacing constraints. Additionally, clock delay insertion (employing either a single global clock or clock triplication) in the TMR specification may introduce useful skew that protects against glitch propagation through the designed device. The resultant layout generated from the TMR configuration may relax constraints imposed on register transfer level (RTL) engineers to make rad-hard designs, as automation introduces TMR storage registers, memory element spacing, and clock delay/triplication with minimal designer input.

A system and method for providing formal property verification across circuit design versions is described. In one embodiment, the system receives a first version and a second version of a circuit design. The received first version has a first set of constraints, a first set of next-state functions representing the first version of the circuit design, and a first property that has been verified as true for the first version of the circuit design. The received second version has a second set of constraints, a second set of next-state functions representing the second version of the circuit design, and a second property for the second version of the circuit design. The described embodiments further construct a composite circuit design based on the first set of constraints, the first set of next-state functions, and the first property and further based on the second set of constraints, the second set of next-state functions, and the second property. A third property is constructed for the composite circuit design in which the first property implies the second property. Some described embodiments output a proof or a counterexample for the second circuit design, based on the proof of the third property for the composite circuit design, since a user of the system and method is trying to verify the second circuit design, not the composite circuit design.

A casting system design method is disclosed. The casting system design method comprises the steps of: receiving an input of entities associated with the shape of a cast product; generating respective entities for the constituent elements of a casting system on the basis of the inputted shape-related entities and pre-stored knowledge-based basic design information; generating a 3Dgraphic shape of a casting system designed on the basis of the generated entities; and editing the design of the casting system according to editing commands inputted on a graphics user interface (GUI) on which a 2D graphic shape corresponding to the generated 3D graphic shape is displayed, and dynamically modifying and displaying the 2D graphic shape so as to correspond to the editing.

A machine learning model processes a current partial design of a technical system and a candidate component for a next design step of designing the technical system. The model computes a probability distribution, which is a probability distribution over changes of a design KPI if the candidate component is added to the current partial design, with the design KPI describing a property of the technical system, and a predicted impact value predicting an absolute value of the design KPI or a change of the design KPI if the candidate component is added to the current partial design. These predictions (for partial designs that cannot be processed by a simulation environment due to their incompleteness) can drastically shorten the feedback loop between engineers in charge of designing a new technical system/product and a simulation environment used for estimating the performance characteristics of the product.

A system for representing attributes in a transportation system digital twin includes a digital twin datastore and one or more processors. The digital twin datastore stores a transportation-system digital twin including real-world-element digital twins embedded therein. The transportation system digital twin corresponds to a transportation system. Each real-world-element digital twin provides a digital twin of a respective real-world element that is disposed within the transportation system. The real-world-element digital twins include mobile-element digital twins. Each mobile-element digital twin provides a digital twin of a respective mobile element within the real-world elements. The one or more processors are configured to, for each mobile element, determine, in response to an occurrence of a triggering condition, a position of the mobile element, and update, in response to determining the position of the mobile element, the mobile-element digital twin corresponding to the mobile element to reflect the position of the mobile element.

Disclosed techniques include software-defined modular energy system design and operation. A set of energy system plant requirements for a mechanical system is obtained. The mechanical system comprises a plurality of components. The plurality of components includes a liquid piston heat engine. One or more processors are used to optimize a plant description. The plant description is based on the set of energy system plant requirements and a library of components. Processors are used to design a specification for an energy system plant. The specification includes components from the library of components and couplings among the components. An energy system plant design is output based on the specification. The design enables energy system plant construction. The energy system plant design is simulated to enable a reliability analysis and to provide feedback about the plant description. The simulating generates operational controls to enable energy system plant functionality.

The present invention relates to an electronic test device for at least one avionic function to be tested, intended to be embedded in an aircraft, the aircraft comprising at least one avionic equipment item, the test device being intended to be connected to the at least one avionic equipment item and comprising: an acquisition module, configured to acquire flight data from the at least one avionic equipment item, and a computing module, configured to compute simulated output data, from acquired flight data and via an implementation of the avionic function to be tested, the avionic function to be tested being able, from the flight data, to deliver the output data.

Example implementations involve systems and methods which can involve storing interface (I/F) communication activity records of a plurality of simulation engines during execution of a co-simulation, and for a subsequent execution of the co-simulation, replacing one or more of the plurality of simulation engines with a simulation engine repeater configured to reproduce I/F communication activity from the stored I/F communication activity records corresponding to the replaced one or more of the plurality of simulation engines during the subsequent execution of the co-simulation and to log a real time consumed for execution of the reproduced I/F communication activity in the subsequent execution and a simulation time consumed for execution of the reproduced I/F communication activity for each simulation step, the real time determined based on a real time difference between a start of each simulation step and completion of synchronization with a co-simulator bus at an end of each simulation step.

A self-contained computerized system includes a processor and a memory. The memory stores instructions for causing the self-contained computerized system to perform the process of morphing a finite element mesh of a legacy design to the finite element mesh of a component design and applying measurement variations from the legacy design to the finite element mesh of the component design.

A 3D model evaluation system includes: a loading unit that loads 3D model data created by 3D CAD; a history checking unit that checks a creation history which is added to the 3D model data loaded by the loading unit and which is obtained in a case where the 3D model data is created by the 3D CAD; and an evaluation unit that evaluates a degree of coincidence between the creation history of the 3D model data checked by the history checking unit and a predetermined rule.