Abstract: Embodiments are generally directed to a mechanism to provide back-to-back testing of memory controller operation. An embodiment of an apparatus includes a test controller including a specialized self-testing mechanism for memory control testing, the memory control testing including testing with back-to-back transactions; and a memory controller, the memory controller including one or more transaction arbiters, one or more arbiter queues for memory transactions, an auto response mechanism to provide a response to a read transaction, and a switching mechanism to switch the memory control between a functional mode and an auto response mode. The test controller is to generate test transactions and transfer the test transactions to the memory controller. The memory controller is to block the one or more transaction arbiters, place the plurality of test transactions in the one or more arbiter queues, and to unblock the transaction arbiters upon an event.

Abstract: Systems, methods, and products implementing a dynamic register transfer level (DRTL) monitor are disclosed. The DRTL monitor may be rapidly constructed and implemented in one or more emulator devices during the runtime of the emulation of a device under test (DUT). The systems may receive monitor modules and corresponding monitor instances in high level hardware description language and compile the monitor modules and instances to generate a monitor within the one or more emulator devices. The systems may then connect one or more input ports of the monitor to one or more signal sources in the DUT. The systems may further allow removal of the monitor, addition or more monitors, and/or modification of the monitor during the run time of the emulation of the DUT.

Abstract: The present disclosure relates to a computer-implemented method for electronic design simulation using a profiler. The method may include simulating, using a computing device, an electronic design associated with a programming language. The method may further include recording a first time corresponding to a first user-defined point in the simulation. The method may also include recording a second time corresponding to a second user-defined point in the simulation. The method may further include determining a difference in time between the first and second times and displaying a visualization including at least one of the first time, the second time, a value of a variable at the first time, a value of the variable at a second time, and the difference in time.

Abstract: Embodiments of machines, systems, computer-implemented methods, and computer program products certify oil and gas well equipment. Embodiments identify a selected well equipment device, a device test specification, and testing sequences to be performed by a corresponding testing apparatus. Embodiments select a testing sequence responsive to the selected device. Embodiments control the testing apparatus for the selected testing sequence so that the corresponding testing apparatus performs the sequence responsive to the device test specification. Embodiments generate testing data for the selected testing sequence and link the testing data for the selected testing sequence to the device identifier for the device so that a certificate can be generated. Embodiments generate a certificate for the selected device responsive to the testing sequences having been performed upon the selected device and link the certificate for the selected device to the device identifier so that the certificate can be readily recalled.

Abstract: A method for testing an air interface device by simulating multi-UE uplink virtual MIMO includes receiving, by a multi-UE simulator, a downlink signal transmission from an air interface device under test. The method further includes decoding, by the multi-UE simulator, the downlink signal transmission to identify simulated UEs with uplink resource block grants. The method further includes assigning, by the multi-UE simulator, uplink data transmissions for the simulated UEs with uplink resource block grants to antennas or cables such that uplink data transmissions for simulated UEs with overlapping uplink resource block grants are assigned to different antennas or cables. The method further includes testing, by the multi-UE simulator, uplink virtual MIMO processing capability of the air interface device under test by generating and transmitting uplink signals from the simulated UEs with the overlapping uplink resource block grants to the air interface device under test using the different antennas or cables.

Abstract: The present disclosure relates to a method for electronic design verification. Embodiments may include receiving, using at least one processor, an electronic design and identifying at least one property violation associated with the electronic design. Embodiments may further include generating a sensitivity path from an input to the at least one property violation. Embodiments may also include analyzing the electronic design to identify one or more of a portion of the electronic design that caused the at least one property violation, a portion of the electronic design that did not cause the at least one property violation, and a portion of the electronic design that has not been analyzed. Embodiments may further include applying at least one of a depth analysis and a breadth analysis to the sensitivity path.

Abstract: The present disclosure relates to a system and method for capturing log messages in a post-processing debugging environment. Embodiments may include receiving a processor model associated with an electronic design and generating, using one or more processors and the processor model, a complete view of the state of the memory. Embodiments may further include writing, using one or more processors and the processor model, a log message whenever a designated message logging function is reached within the complete view of the state of the memory.

Abstract: Techniques for measuring and testing a semiconductor wafer during semiconductor device fabrication include designating a test area on the top surface of the wafer and etching a first rectangular trench and a second rectangular trench on the top surface of the wafer in the test area. The trenches are oriented such that a length of the first trench is perpendicular to a length of the second trench, and positioned such that the length of the first trench, if extended, intersects the length of the second trench. A silicon-germanium compound is deposited into the first trench and the second trench, and a test pad is removed from the test area of the wafer. The test pad includes a side surface where both the first trench and the second trench are exposed. The side surface of the test pad is scanned with a transmission electron microscope to take measurements of the silicon-germanium.

Abstract: Improved computer-implemented tools for use in modeling/simulating spatial charge distributions for electrophysiological systems are provided. The improvements are in three areas: (1) the use of solid angles to calculate quantities of free charge and/or bound charge in calculation cells and/or the movement of quantities of free charge across one or more faces of a calculation cell; (2) the use of flattened calculations cells having only two faces with substantial areas as seen from the free charge and/or the bound charge of the electrophysiological system; and (3) the use of at least two spatial charge distributions, specifically, at least one for bound charge and at least one for free charge, so as to include the effects of relative dielectric constants greater than 1.0 for part or all of an electrophysiological system. The three improvements can be used individually or in combinations.

Abstract: A method for implementing software application monitoring techniques is provided.

Abstract: A first computer is selected for testing. Information sent from a second computer system to the first computer is intercepted. The information is modified to be noncompliant with a communication protocol, thereby producing noncompliant information. A determination is made whether the first computer device has failed to provide a particular response to receipt of the noncompliant information, and an operation is performed based at least in part on the determination.

Abstract: Composite virtual service models can be defined to model various business transactions. A request of a particular component in a first transaction is identified and a composite virtual service model can be identified that corresponds to the particular component. The composite virtual service model models a plurality of transactions comprising the first transaction between the particular component and a first component and a second transaction between the particular component and a second component. The composite virtual service model defines a correlation between the first transaction and the second transaction. A first synthetic response is generated from the composite virtual service model based at least in part on the request, the first synthetic response simulating a response of the first component. A second synthetic response is generated from the composite virtual service model based at least in part on the correlation to simulate a response of the second component.

Abstract: Data to be stored at a firmware memory is received. A random symmetric encryption key is generated. The data is encrypted using the generated key to provide encrypted data. The encrypted data and the encryption key are both stored at the firmware memory.

Abstract: Systems, methods, computer-readable media, and apparatuses for identifying and executing one or more interactive condition evaluation tests to generate an output are provided. In some examples, user information may be received by a system and one or more interactive condition evaluation tests may be identified. An instruction may be transmitted to a computing device of a user and executed on the computing device to enable functionality of one or more sensors that may be used in the identified tests. A user interface may be generated including instructions for executing the identified tests. Upon initiating a test, data may be collected from one or more sensors in the computing device. The data collected may be transmitted to the system and may be processed using one or more machine learning datasets to generate an output.

Abstract: A method and system to identify a region of a design block of an integrated circuit for redesign are described. The method includes dividing the design block into grids, each of the grids including a corresponding number of logic elements. The method also includes filtering each of the grids based on a specified criteria, the filtering including determining a number (B) of the corresponding logic elements among a total number (A) of the logic elements in each grid that meet the specified criteria. The region is a set of two or more of the grids based on a result of the filtering.

Abstract: A circuit is simulated by using distributed computing to obtain a real solution. The circuit may be an entire integrated circuit, portion of an integrated circuit, or a circuit block. A circuit simulation technique of the invention generates a system graph, finds a tree, and partitions the tree into two or more subtrees. The technique identifies global links and local links in the graph. Each subtree may be solved individually using distributed, parallel computing (e.g., using multiple processor cores or multiple processors). Using the results for the subtrees, the technique obtains a real solution, branch voltages and currents, for the circuit.

Abstract: A timing-matching method, executed by a timing analyzer, that includes computing a slew or load of a cell, determining whether the slew or load exists in an extrapolation region of a standard cell look-up table, and swapping the cell with a virtual standard cell of a virtual standard cell look-up table when the slew or load exists in the extrapolation region.

Abstract: The wiring harness production mounting, includes: at least one screen for displaying data aiding in the production of wiring harnesses, and at least one attachment surface associated with the at least one display screen, the at least one attachment surface being configured to receive at least one cable-routing element.

Abstract: A system and method are provided for reducing processing time in characterizing a programmably implemented cell. The cell is decomposed into a plurality of channel connected component portions (CCC's), each including a local output node and at least one switching device establishing a conduction channel within a channel path extending from the local output node to a power plane of the cell. A component characteristic function is generated for each CCC, which logically sums a locus of vectors for nodes electrically connected to the local output node. Each CCC's component characteristic function is expanded to form a local characteristic function relative to one or more other upstream CCC. Each local characteristic function is thereby formed exclusive of any upstream local output node electrically disconnected from its local output node. At least one feasible vector is selectively generated from the local characteristic functions according to requirements predefined for a parametric measurement.

Abstract: Systems and methods for configuring a virtual machine provided by a remote computing system based on the availability of one or more remote computing resources and respective corresponding prices of the one or more remote computing resources.

Abstract: An automatic test generator (ATG) parses a computer-executable design model of operational software of an aircraft electronic device to identify design model data coupling and design model control coupling between functional modules of the design model. The ATG generates a plurality of test conditions configured to test whether the operational software of the aircraft electronic device satisfies the design model data coupling and the design model control coupling. A test procedure that implements the plurality of test conditions is generated. The test procedure is executed on the operational software of the aircraft electronic device. An indication of whether the operational software of the aircraft electronic device satisfies each respective one of the plurality of test conditions is output.

Abstract: A disclosed system of an emulation environment performs a simulation to construct a waveform of a target signal based on signals traced by an emulator for a time frame including multiple clock cycles. In one embodiment, a simulation is performed in a manner that an input of the logic gate, in a first duration of the time frame at which an output of the logic gate depends on the input, is analyzed to obtain the output, and the input of the logic gate, in a second duration of the time frame at which the output of the logic gate is independent, is omitted. In one aspect, the input of the logic gate is simulated for the first duration based on a periodicity in a waveform of the input in the first duration.

Abstract: A computer implemented method includes monitoring blocks of data on a storage device that are changing as the computer operates. On detecting a computer shut down event, a copy of changes to the monitored blocks are saved. Upon startup of the computer, a backup of the changed blocks of data is performed.

Abstract: Methods, systems, and computer readable mediums for determining a system performance indicator representative of the overall operation of a network system are disclosed. According to one example, a method includes obtaining, from a plurality of infrastructure elements included in a network system, performance metric data associated with a plurality of application processes being executed by the plurality of infrastructure elements. The method further includes consolidating analogous portions of the performance metric data into a plurality of performance metric data groups irrespective of the plurality of infrastructure elements and utilizing the plurality of performance metric data groups to determine a system performance indicator (SPI) value that represents an overall performance level of the network system.

Abstract: Disclosed are techniques for implementing graph-driven verification and debugging of an electronic design. These techniques identify a pair of interest that comprises a target signal and a clock cycle or an event associated with the target signal from a verification or simulation result of an electronic design or a portion thereof. A boundary for relevant driver identification (RDI) operations may be identified for normal termination of the performance of one or more RDI operations. A debug graph may then be generated and stored at least by performing one or more RDI operations for at least the pair of interest based in whole or in part upon the boundary for RDI operations.

Abstract: Electronic design automation systems, methods, and computer readable media are presented for the generation of power-related connectivity data by an analog simulator (for example, by propagating the power supply data and/or ground data through the circuit components of the analog design schematic). In some embodiments, the verification module determines consistency between different versions of power-related connectivity data, such as: (i) power-related connectivity data from the analog design schematic and (ii) power-related connectivity data from the power-related data characterizing the mixed-signal design. Such verification determines whether the mixed-signal design satisfies the low power specification as expressed in the power-related data characterizing the mixed-signal design.

Abstract: A method for resource optimized network virtualization overlay transport in a virtualized data center environment includes an optimized virtualized transport mechanism based on MPLS-TP tunneling technology. The transport mechanism may include a usage monitoring and resource usage advertisement mechanism based on IGP-TE protocol extension. Also, the transport mechanism may include a path computation engine (PCE) based optimal path computation for a virtualized transport tunnel used to carry VM-to-VM traffic across the virtualized data center. Additionally, the transport mechanism may include a SDN controller for provisioning and control of virtualized machines and a virtualized transport system.

Abstract: In an approach to assisting database management, a computer generates one or more combinations of values of one or more database configuration parameters. The computer associates each of the one or more generated combinations of values with an incident probability. The computer defines relationships between the one or more generated combinations and the associated incident probabilities. The computer stores the defined relationships into an object representable as a multi-dimensional matrix, whose dimensions correspond to a plurality of database configuration parameters used to generate the combinations of values. The computer traverses the object to identify a path in the matrix. The computer returns the identified path for enabling subsequent interpretation thereof as a rule for passing from a first database configuration, corresponding to the first one of the one or more generated combinations, to a second database configuration, corresponding to the second one of the one or more generated combinations.

Abstract: Contention for a resource in a computer system resource is managed by measuring a resource performance metric and, for each of a selected plurality of clients (for example, virtual machines), a client performance metric. For each of the selected clients, a relationship measure, such as correlation, is determined as a function of the resource performance metric and the respective client performance metric. A degree of resource contention effect is determined for each of the selected clients as a function of the respective relationship measure, and a resource-related action is taken according to the respective relationship measures. Clients may include virtualized components contending for storage. Example metrics include functions of I/O operation counts, latency or throughput measurements, pending I/O request counts, I/O throughput relative to I/O latency, a degree of change of the respective clients' I/O behavior, etc.

Abstract: A method for fabricating a circuit comprises identifying a target on the circuit with a transitional sensitivity, determining a test pattern that stresses the target, generating a verification model at the hierarchy of the target, creating a pattern and translating the pattern into a verification assertion, running the verification with the translated pattern, determining whether the verification assertion is a possible verification assertion following the running of the verification, obtaining a state of source laches and pin inputs responsive to determining that the formal verification assertion is a possible verification assertion following the running of the formal verification, translating the formal verification assertion into a coverage event, running a simulation with the coverage event, determining whether the coverage event occurred, and creating a manufacturing test responsive to determining that the coverage event occurred.

Abstract: A processor includes a front end and a scheduler. The front end includes circuitry to determine whether to apply an acyclical or cyclical thread assignment scheme to code received at the processor, and to, based upon a determined thread assignment scheme, assign code to a static logical thread and to a rotating logical thread. The scheduler includes circuitry to assign the static logical thread to the same physical thread upon a subsequent control flow execution of the static logical thread, and to assign the rotating logical thread to different physical threads upon different executions of instructions in the rotating logical thread.

Abstract: A computer-implemented method for providing card-based interfaces for enumerable datasets may include (1) identifying computing resources within a computing environment subject to a unified administration, (2) identifying a request to display the computing resources within a graphical user interface, (3) portraying each computing resource within the graphical user interface as a card that includes (i) a button interface element on a front face of the card that, when invoked, presents a radial menu of actions to perform on the computing resource, (ii) a summary description of the computing resource on the front face of the card, (iii) a flipping interface element that, when invoked, flips the card between the front face of the card and a back face of the card, and (iv) a detailed description of the computing resource on the back face of the card. Various other methods, systems, and computer-readable media are also disclosed.

Abstract: A pneumatic drive and a method for acquiring the power of a pneumatic drive are specified. A piston is movably disposed in a working space and coupled to a path transducer. A pressure sensor is provided for acquiring an internal pressure of the working space. An evaluation unit of the pneumatic drive is adapted to process the value of a path distance of a movement of the piston acquired by the path transducer as well as a variation of the internal pressure in the working space acquired by the pressure sensor. The variation of the internal pressure is associated with the movement of the piston in the working space. Based on these values, a power of the pneumatic drive can be determined.

Abstract: Prediction based systems and methods for optimizing wafer chucking and lithography control are disclosed. Distortions predicted to occur when a wafer is chucked by a chucking device are calculated and are utilized to control chucking parameters of the chucking device. Chucking parameters may include chucking pressures and chucking sequences. In addition, predicted distortions may also be utilized to facilitate application of anticipatory corrections. Controlling chucking parameters and/or applying anticipatory corrections help reducing or minimizing overlay errors.

Abstract: Case management systems and techniques are disclosed. In various embodiments, a hierarchical permission model is received, comprising for each of at least a subset of case nodes comprising a hierarchical data model associated with a case model a corresponding set of case roles to be afforded permissions with respect to that case node and for each such case role a set of permissions to be associated with that case role with respect to that case node. The hierarchical permission model is used to enforce with respect to one or more case instances associated with the case model the permissions defined in the hierarchical permission model.

Abstract: The disclosed computer-implemented method for protecting backed-up data from ransomware attacks may include (1) determining that a backup system periodically backs up at least one file stored at a computing device to a remote storage system by storing a copy of the file at the remote storage system, (2) identifying one or more characteristics of the file backed up by the backup system, (3) storing a tripwire file with the one or more characteristics at the computing device, (4) determining that the file stored at the computing device has likely been encrypted by ransomware executing on the computing device by detecting that the tripwire file has been modified, (5) performing an action that prevents the backup system from replacing the copy of the file at the remote storage system with a copy of the encrypted file. Various other methods, systems, and computer-readable media are also disclosed.

Abstract: The variable domain data access control system and method described herein use the same variable domain to describe a data security model and a variable domain data model, such as a product configuration model. A variable domain is a set of resource data that can be described using a logical relationship data structure. The variable domain utilizes logical relationship expressions, such as a Boolean logic language, to define resource data in terms of parts, rules and/or attributes, and any other property that can be accessed for viewing, manipulation, or other purposes. The data security model represents an access control list (ACL) that includes security attributes as resource data and uses the same data structure and logical relationship expressions as an associated variable domain data model. An application, such as a configuration engine, can be used to create controlled access to the variable domain data model using the data security model.

Abstract: A method for providing assistance to users of computer programs. The computer system receives user inputs for utilizing the various functions of a computer program. The system records an amount of time during which said user utilizes the respective functions, such that when a user signals that assistance is needed, the system determines which of the program's functions have been most frequently used. The system then finds, and connects to the user, persons having expertise in those respective areas.

Abstract: In one general embodiment, a computer-implemented method is provided for analyzing a dynamic graph. The computer-implemented method includes generating two or more sample graphs by sampling edges of a current snapshot of a dynamic graph. Additionally, the computer-implemented method includes generating two or more partial results by executing an algorithm on the sample graphs. Still yet, the computer-implemented method includes combining the partial results, from executing the algorithm on the sample graphs, into a final result.

Abstract: A training engine is described which has a memory arranged to access a neural network image classifier, the neural network image classifier having been trained using a plurality of training images from an input space, the training images being labeled for a plurality of classes. The training engine has an adversarial example generator which computes a plurality of adversarial images by, for each adversarial image, searching a region in the input space around one of the training images, the region being one in which the neural network is linear, to find an image which is incorrectly classified into the plurality of classes by the neural network. The training engine has a processor which further trains the neural network image classifier using at least the adversarial images.

Abstract: An adaptive ventilation system and method for a data center are provided. The adaptive ventilation system includes: one or more system-controlled vents facilitating dynamic redirection of airflow passing through the vent(s), and including (for instance) a plurality of adjustable louvers; and a plurality of sensors dispersed within the data center for ascertaining one or more feedback parameters within different zones of the data center. The system also includes a controller configured or programmed to automatically manage adjustment of the system-controlled vent(s) based on the ascertained feedback parameter(s) within the data center. The automatically managing includes, for instance, automatically controlling orientation of multiple louvers of the system-controlled vent(s) to dynamically facilitate a desired airflow discharge adjustment to at least one system-controlled vent based, at least in part, on the sensed feedback parameter(s) within the different zones.

Abstract: System and method for propagating control results in an environment is disclosed. An entity with a data store to store selective designation of a control result for propagation by an entity is provided. The entity is configured to propagate the designated control results to another entity. The designation of propagation of control result is based on a relationship between the entity and another entity.

Abstract: A system implementable on a computing device having a processor and a memory, including a visual design system to generate a single visual data structure based on a hierarchy of components; a database to store at least one visual data structure and an associated signature where the signature represents at least a semantic composition of the at least one visual data structure; a signature comparer to match a signature of the single visual data structure to an associated signature of at least one visual data structure stored in the database and to present multiple versions of alternate visual data structures for the hierarchy of components for selection by a user; and where the alternate visual data structures are visually different and semantically similar to each other.

Abstract: Aspects of the present invention include a method, system and computer program product for creating a test workload execution model. The method includes a processor determining relationships between a work unit and one or more activities in a set of activities that the work unit exercises by utilizing one or more data stores; determining a distribution of the one or more activities in the set of activities; providing a control for each of the one or more activities in the set of activities; responding to a change in a control for one of the one or more activities in the set of activities; and determining whether to perform a store activity or a view activity.

Abstract: Aspects of the present invention include a method, system and computer program product for creating a test workload execution model. The method includes a processor determining relationships between a work unit and one or more activities in a set of activities that the work unit exercises by utilizing one or more data stores; determining a distribution of the one or more activities in the set of activities; providing a control for each of the one or more activities in the set of activities; responding to a change in a control for one of the one or more activities in the set of activities; and determining whether to perform a store activity or a view activity.

Abstract: A method and computer system executes a home loss prevention simulation to provide a user with information on home loss prevention. The method and system may allow the user to select and place one or more home sensors on items and/or in locations within a simulated home environment. Once the user has finished selecting and placing the home sensors in the simulated home, the method and system may begin the home loss prevention simulation by applying different loss-related simulation scenarios to the simulated home. Based the different loss-related scenarios, the method and system may evaluate the placement of the home sensors in the simulated home to determine one or more losses (e.g., fire, water or burglary) and any associated financial costs. At the end of the simulation, the method and system may provide instructional information regarding the simulation results in order to educate the user on how to improve or optimize home loss prevention.

Abstract: A flow management method comprises receiving (210) of incoming downlink packets. The received downlink packets are classified (220) in sub-flows, based on information that is available in a header of respective such received downlink packet. The downlink packets of each sub-flow are queued (230) in a respective sub-flow queue. Downlink packets are extracted (250) from the sub-flow queues into a common outgoing flow. A sub-flow queue from which no downlink packets yet have been extracted is prioritized (240). The extraction comprises assigning of an indicator of last service occasion to each sub-flow queue when a predetermined amount of data has been extracted from said sub-flow queue. When no prioritized sub-flow queues are present, the sub-flow queue with the earliest last service is selected. When a prioritized sub-flow queue is present, the prioritized subflow queue is selected. The downlink packets of the common outgoing flow are sent (260).

Abstract: A method and an apparatus for smart automation of robotic surface finishing of a three-dimensional surface of a workpiece is described. A finite element analysis simulation is conducted providing data for generation of a three-dimensional path along the surface of the workpiece. The finite element can include properties of the workpiece, finishing tool, and the robot configured to maneuver the finishing tool. The surface of the workpiece is finished using one or more surface finishing tools along the three-dimensional path. The surface of the workpiece includes at least a flat region and a curved region.

Abstract: A system and method are disclosed for rationalizing configurations associated with one or more products. The system includes a database associated with one or more customers. The system further includes an order analysis system coupled with the database. The order analysis system is capable of rationalizing the differences between configurations of various combinations of options that are stored in the database.

Abstract: Embodiments of the present disclosure are directed to a system comprising a processing unit executing an enumeration process over a high performance I/O network having endpoint locations that can be populated with endpoint devices. The system further comprises endpoint emulators to represent endpoint devices at endpoint locations unpopulated during the enumeration process. The system facilitates accessing certain endpoint devices later inserted (e.g., hot plugged) into the endpoint locations that were unpopulated during the enumeration process. The endpoint emulators can be implemented using various techniques, such as cards plugged into card slots coupled to the endpoint locations, or emulation software and/or firmware exposed to the processing unit. In an embodiment, the system is a test system for testing endpoint devices (e.g., PCIe SSDs), which test system can facilitate hot plugging of units under test in test slots that were unpopulated during the enumeration process.