Abstract: Examples of techniques for optimal storage of load data for lifetime prediction for a piece of equipment used in a well operation are disclosed. In one example implementation according to aspects of the present disclosure, a method may include: using a lifetime model for the piece of equipment used in the well operation; discretizing, by a processing device, a load data spectrum into one or more buckets, the one or more buckets having a bucket size, wherein the bucket size of at least one bucket is based on one of the lifetime model and a distribution of load data; collecting load data of the piece of equipment; assigning, by the processing device, the collected load data to the one or more buckets of the load data spectrum; and storing, by the processing device, the collected load data assigned to the one or more buckets to a memory.

Abstract: The present disclosure relates to a method for waveform based debugging in a formal verification of an integrated circuit. The method may include receiving, using at least one processor, an electronic circuit design and partitioning a cone of influence for a cover property of the electronic circuit design into design logic and property logic. The method may further include applying an X-value to all inputs associated with the cone of influence and performing an X-simulation until a fixed point is reached. The method may also include identifying a non-X node and providing a path of X-diffusion at a property output.

Abstract: Methods, systems, computer-readable media, and apparatuses for performing, providing, managing, executing, and/or running a spatially-optimized simulation are presented. In one or more embodiments, the spatially-optimized simulation may comprise a plurality of worker modules performing the simulation, a plurality of entities being simulated among the plurality of worker modules, a plurality of bridge modules facilitating communication between workers and an administrative layer including a plurality of chunk modules, at least one receptionist module, and at least one oracle module. The spatially-optimized simulation may be configured to provide a distributed, persistent, fault-tolerate and spatially-optimized simulation environment. In some embodiments, load balancing and fault tolerance may be performed using transfer scores and/or tensile energies determined among the candidates for transferring simulation entities among workers.

Abstract: One implementation of the disclosure provides a computer implemented method for underbalanced drilling. The implementation may include determining an initial 2D UBD operation envelope based on a set of initial operating points for a selected TVD or time, displaying the initial 2D UBD operation envelope on a computer display, providing at least one data point representing actual data from a well, determining at least one actual UBD operation point using the at least one data point and displaying it on the computer display along with the 2D UBD operation envelope, selecting an optimization parameter, determining a set of optimized operating points based on the optimization parameter, and displaying the set of optimized operating points on the computer display along with the 2D UBD operation envelope.

Abstract: A method for converting real number modeling to cycle-driven simulation interface file is provided. The method includes verifying an input in a file that includes a real number modeling code, cleaning the real number modeling code in the file, converting the file to a cycle-driven simulation interface file, and verifying the cycle-driven simulation interface file. Converting the method includes building a definitions file storing a width of at least one real number in the circuit design, and selecting a real number modeling file from the circuit design. For the real number modeling file, the method includes parsing the real number modeling file, building a header file associated with the real number modeling file, and building a compilation file associated with the cycle-driven simulation interface file. A system and a non-transitory, computer readable medium to perform the above method are also provided.