Simulating Electronic Device Or Electrical System Patents (Class 703/13)
  • Patent number: 10832265
    Abstract: A computer-implemented method for prescriptive time-series forecasting, which combines both what-if analysis and goal-seeking analysis. The method comprises building a model for a target metric with a set of predictors, based on historical time-series data, and computing, using the model, a set of forecast values. Using the set of forecast values with respect to a forecasting period, both a set of goals for the target metric and a set of constraints for the predictors are analyzed. A set of updated forecasts based on the analyses with respect to the forecasting period is determined to meet the goals within the set of constraints. The updated set of forecasts is presented with respect to the forecasting period, e.g., using a table, a visualization, and/or an interactive user interface.
    Type: Grant
    Filed: December 2, 2016
    Date of Patent: November 10, 2020
    Assignee: International Business Machines Corporation
    Inventors: Yea-Jane Chu, Richard J. Oswald, Jean-Francois Puget, Jing-Yun Shyr
  • Patent number: 10824948
    Abstract: A trigger element of a design-time flow plan is set so that the trigger element activates in response computing conditions being satisfied. A decision action element of the design-time flow plan executed at run-time in response to activation of the trigger element is set. The decision action element is implemented by a decision table that includes decision inputs and respective condition logic based on the decision inputs for each of a plurality of decision answers associated with the decision table. The decision table is external to the design-time flow plan. First and second decision answer action elements are defined to execute at run-time respectively when a decision answer served-up by the decision table corresponds to first and second decision answer paths in the design-time flow plan that are associated with a first and second one of the plurality of decision answers, respectively. The design-time flow plan is published.
    Type: Grant
    Filed: December 21, 2018
    Date of Patent: November 3, 2020
    Assignee: ServiceNow, Inc.
    Inventors: Harry Thomas Nelson, Jacob Samuel Burman, Juell Solaegui, Alberto Alvarado Jimenez, Rebecca Anita Dias
  • Patent number: 10826785
    Abstract: Methods, computing systems and computer program products implement embodiments of the present invention that include detecting, on a communications network in a computing facility including a first computer coupled to a second computer via the communications network, an input/output (I/O) request conveyed from the first computer to the second computer. Subsequent to detecting the I/O request, data traffic resulting from the second computer processing the I/O request is identified on the communications network, and network statistics are collected based on the I/O request and the data traffic. Upon detecting a performance degradation of the computing facility, the performance degradation greater than a predetermined amount, heuristics can be applied to the collected network statistics, to identify a cause of the performance degradation and to identify a remedy to the detected performance degradation. In some embodiments, the identified cause and the identified remedy can be presented to a user on a display.
    Type: Grant
    Filed: September 25, 2015
    Date of Patent: November 3, 2020
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Jonathan Amit, Lior Chen, Vladislav Drouker, Osnat Shasha
  • Patent number: 10818638
    Abstract: A set of the dies and the package are provided with a plurality of dies each including at least an accelerator core or a CPU core, an external interface, memory interfaces, and a die interface for connecting to another die. At least two dies of the set of dies include a first type die and a second type die each including both the accelerator core and the CPU core, and the core number ratio between the accelerator core and the CPU core in the first type die differs from that in the second type die. The memory interfaces include an interface conforming to TCI. The memory interfaces further include an interface conforming to HBM.
    Type: Grant
    Filed: November 30, 2015
    Date of Patent: October 27, 2020
    Assignee: Pezy Computing K.K.
    Inventor: Motoaki Saito
  • Patent number: 10810093
    Abstract: A distributed system implements initializing reliability data of a newly joined node of a cluster for purposes of leadership election. When a new node joins a cluster, the new node receives reliability data for one or more existing nodes of a cluster. The new node initializes its own reliability data based on the reliability data received from the existing nodes of the cluster. In some cases, the new node may calculate a median reliability of the existing nodes and then initialize its own reliability to be the median or slightly below the median. For example, if the median reliability is “two failures,” then the new node may set its reliability to be “three failures.” This may provide a more stable leadership election process, as the new nodes are unlikely to be elected as a leader node.
    Type: Grant
    Filed: February 7, 2018
    Date of Patent: October 20, 2020
    Assignee: Amazon Technologies, Inc.
    Inventor: Joseph Andrew Tucek
  • Patent number: 10812363
    Abstract: Some embodiments are associated with a data center cloud computing environment executing a plurality of virtual machines. A virtual machine data store may contain information about the plurality of virtual machines associated with the cloud computing environment. A virtual machine test platform may access the information in the virtual machine data store and periodically initiate a network test for each of the plurality of virtual machines based on the information in the virtual machine data store. The virtual machine test platform may then receive network test result signals from the virtual machines in response to the executed network tests and apply, for each virtual machine, a digital signal processing noise filter to successive network test result signals from that virtual machine. An output of the digital signal processing noise filters may then be transmitted from the virtual machine test platform.
    Type: Grant
    Filed: May 25, 2018
    Date of Patent: October 20, 2020
    Assignee: MICROSOFT TECHNOLOGY LICENSING, LLC
    Inventors: Joseph Romeo, Vyjeyanthi Murthy, Shruti Ramesh, Anthony Howe, Ashutosh Dhiman
  • Patent number: 10795614
    Abstract: In a memory controller for controlling an operation of a memory device, the memory controller includes a buffer memory and a buffer management circuit. The buffer memory includes an input buffer for storing input data received from a host and an output buffer for storing output data received from the memory device. The buffer management circuit changes capacities of the input buffer and the output buffer, based on a use state of at least one of the input buffer and the output buffer.
    Type: Grant
    Filed: October 1, 2018
    Date of Patent: October 6, 2020
    Assignee: SK hynix Inc.
    Inventor: Ho Jung Yun
  • Patent number: 10791034
    Abstract: A method of simulating a scenario in a telecommunications network is provided. The method comprises: generating a network definition expressed in a common data model readable by first and second routing engines; generating a set of demand matrices describing demands on the network; incorporating a scenario definition into one or more of the network definition and the demand matrices; automatically determining a first aspect of a new network state associated with the scenario definition by determining a first optimised set of routes using the first routing engine based on the network definition and at least one of the demand matrices; and automatically determining a second aspect of the new network state by determining a second optimised set of routes using the second routing engine based on the first optimised set of routes and at least one other of the demand matrices.
    Type: Grant
    Filed: November 27, 2015
    Date of Patent: September 29, 2020
    Assignee: ARIA NETWORKS LIMITED
    Inventors: Jay Perrett, Arthur Wade, John Crickett
  • Patent number: 10788759
    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.
    Type: Grant
    Filed: July 30, 2018
    Date of Patent: September 29, 2020
    Assignee: KLA-Tencor Corporation
    Inventors: Bin-Ming Benjamin Tsai, Oreste Donzella, Pradeep Vukkadala, Jaydeep Sinha
  • Patent number: 10783061
    Abstract: A method for testing a user interface includes determining states and state transitions associated with the user interface. A first plurality of states and a first plurality of state transitions of the user interface may be explored. A subset of a second plurality of states and a second plurality of state transitions of the user interface may also be explored. Paths that lead to cycles within the subset of the second plurality of states and the second plurality of state transitions may be penalized.
    Type: Grant
    Filed: June 22, 2018
    Date of Patent: September 22, 2020
    Assignee: Microsoft Technology Licensing, LLC
    Inventor: Parag Nandan Paul
  • Patent number: 10783536
    Abstract: A computer-implemented method for prescriptive time-series forecasting, which combines both what-if analysis and goal-seeking analysis. The method comprises building a model for a target metric with a set of predictors, based on historical time-series data, and computing, using the model, a set of forecast values. Using the set of forecast values with respect to a forecasting period, both a set of goals for the target metric and a set of constraints for the predictors are analyzed. A set of updated forecasts based on the analyses with respect to the forecasting period is determined to meet the goals within the set of constraints. The updated set of forecasts is presented with respect to the forecasting period, e.g., using a table, a visualization, and/or an interactive user interface.
    Type: Grant
    Filed: December 5, 2017
    Date of Patent: September 22, 2020
    Assignee: International Business Machines Corporation
    Inventors: Yea-Jane Chu, Richard J. Oswald, Jean-Francois Puget, Jing-Yun Shyr
  • Patent number: 10782772
    Abstract: An energy-aware system, and method thereof are provided. The energy-aware system includes a microcontroller; an energy storage; a plurality of execution functions integrated in a system on chip (SoC); and a scheduler configured to schedule execution of operations based on available energy at the energy storage and energy requires to complete each of the operations.
    Type: Grant
    Filed: July 11, 2018
    Date of Patent: September 22, 2020
    Assignee: WILIOT, LTD.
    Inventors: Yaron Elboim, Dotan Ziv, Yuval Amran, Nir Shapira
  • Patent number: 10769008
    Abstract: The present disclosure relates to a computer-implemented method for use in an electronic design. The method may include receiving, using at least one processor, an electronic design and analyzing the electronic design. The method may further include generating one or more preconditions representative of metastability effects at the output of at least one synchronizer associated with the electronic design. The method may also include generating, based upon, at least in part, the one or more preconditions, one or more properties configured to analyze a propagation of the metastability effects associated with the at least one synchronizer.
    Type: Grant
    Filed: December 6, 2016
    Date of Patent: September 8, 2020
    Assignee: Cadence Design Systems, Inc.
    Inventors: Alberto Manuel Arias Drake, Andrea Iabrudi Tavares, Artur Melo Mota Costa, Fabiano Cruz Peixoto, Laiz Lipiainen Santos, Lucas Ferreira de Melo Diniz, Nathália Peixoto Reis, Patricia Sette Câmara Haizer, Regina Mara Amaral Fonseca, Tamires Vargas Capanema Franco Santos
  • Patent number: 10755015
    Abstract: The disclosed embodiments include systems and methods of building an agnostic model of a physically-based semiconductor device. The embodiments may include implementing, in the agnostic model, an arbitrary voltage source in series between a node voltage and a zero value voltage source, implementing, in the agnostic model, a reference capacitor in series between the node voltage and a dummy voltage source, implementing, in the agnostic model, an arbitrary current source between a first node and a second node. The arbitrary current source may include the dummy voltage source divided by the reference capacitor, and the arbitrary current source may model the change in the any property, such as charge, over time within the semiconductor device.
    Type: Grant
    Filed: August 21, 2018
    Date of Patent: August 25, 2020
    Assignee: SEMICONDUCTOR COMPONENTS INDUSTRIES, LLC
    Inventors: James Joseph Victory, Mehrdad Baghaie Yazdi
  • Patent number: 10750126
    Abstract: One or more key performance indicators are necessary to properly measure the health of video surveillance applications and the supporting infrastructure. Some of the key performance indicators include: Video Path Uptime (VPU), Video Stream Delivery Index (VSDI), and, Video Retention Compliance (VRC). From these metrics, it is possible to calibrate whether a surveillance infrastructure is operating properly. These metrics can be used to properly alert video network administrators of problems that are actually affecting the video surveillance application. It is also possible to use these metrics to build better analytics to determine root cause of problems as well as build prediction models for potential problems before they occur.
    Type: Grant
    Filed: September 24, 2014
    Date of Patent: August 18, 2020
    Assignee: VIAKOO, INC.
    Inventors: Alex Sternberg, David Nelson-Gal, Jason Banich, Eric Green, Manqing Liu
  • Patent number: 10725893
    Abstract: A system and method for determination of code coverage for software applications in a network environment. In accordance with an embodiment, a software application can be instrumented by a code coverage tool to contain instructions for tracing executed code, and sending collected data to a network grabber at an indicated network address or port. A code coverage tool enables tests to be run on an instrumented software application. A network grabber receives, at a network address or port, code coverage data from one or more application tests.
    Type: Grant
    Filed: March 28, 2014
    Date of Patent: July 28, 2020
    Assignee: ORACLE INTERNATIONAL CORPORATION
    Inventors: Dmitry Fazunenko, Alexey Fedorchenko
  • Patent number: 10726182
    Abstract: Disclosed approaches involve simulating a circuit design specified in a hardware description language (HDL). During simulation, a thread is started at an edge of a simulation clock signal for evaluation of states of a finite state machine (FSM) that represent a series of events specified in a statement in the HDL. The thread transitions from one state to a next state in the FSM in response to evaluation of the one state. In response to encountering a fork state in the FSM, the thread is forked into two threads during simulation. The fork state represents a composite operator in the statement, and the FSM has a branch from the fork state for each operand of the composite operator. In response to encountering a join state in the FSM by the two threads, the two threads are joined into one thread.
    Type: Grant
    Filed: August 9, 2018
    Date of Patent: July 28, 2020
    Assignee: Xilinx, Inc.
    Inventors: Sandeep S. Deshpande, Feng Cai, Saikat Bandyopadhyay
  • Patent number: 10719299
    Abstract: A system and method for physical connection of components in a graphical modeling environment. For each component, a physical component subsystem is built by providing at least one functional block representative of a mathematical model of the component, associating one or more first unidirectional internal input ports and/or one or more first unidirectional internal output ports with the at least one functional block, and associating one or more second unidirectional internal input ports and/or one or more second unidirectional internal output ports with the at least one functional block, the physical component subsystem configured to receive first information from an upstream block through each first internal input port, output second information to a downstream block through each first internal output port, receive third information from the downstream block through each second internal input port, and output fourth information to the upstream block through each second internal output port.
    Type: Grant
    Filed: September 15, 2014
    Date of Patent: July 21, 2020
    Assignee: PRATT & WHITNEY CANADA CORP.
    Inventors: Jean Gagnon, Valeri Soukhostavets
  • Patent number: 10713268
    Abstract: The embodiments described herein relate to a method and system for social awareness which may be based on social networks for knowledge exchange. More specifically, the embodiments may refer to specific social networks with social elements in the user interface based on knowledge exchange, social theory of group memberships within an enterprise or organization context. In addition, the disclosed group memberships may be predicated upon many different types of relationships. Furthermore, the social network (through a program interface) may provide to users the required specific project resources (project team members), which may be need to develop a better project performance according to the experience and knowledge of the new members. The required project team members may match with the attributes and criteria established during the project planning.
    Type: Grant
    Filed: June 14, 2017
    Date of Patent: July 14, 2020
    Assignee: Massachusetts Mutual Life Insurance Company
    Inventors: Gopika Kannan, Jennifer Fabrizi, Robert Polkowski
  • Patent number: 10712734
    Abstract: Continuous monitoring of a model in an interactive computer simulation station. The model comprises a plurality of interrelated parameters defining a dynamic behavior of a simulated interactive object in an interactive computer simulation when inputs are provided on tangible instrument(s) of the station. During a diagnostic period of time, a frequency sweep of the model is performed for measuring the dynamic behavior of the simulated interactive object. During the frequency sweep, each of the tangible instrument(s) is automatically mechanically moved following an input function defining an input range variation at a related frequency. The frequency sweep provides an actual frequency response function for the tangible instrument(s) defining the dynamic behavior. The station is determined to require maintenance when the dynamic behavior of the simulated interactive object, measured by the frequency sweep, is outside of a target dynamic behavior range for the simulated interactive object.
    Type: Grant
    Filed: March 31, 2017
    Date of Patent: July 14, 2020
    Assignee: CAE Inc.
    Inventor: Vincent Myrand-Lapierre
  • Patent number: 10708341
    Abstract: A lightweight and extensible information model for machine-to-machine systems is disclosed. A service layer information management architecture uses three categories of atomic objects, subjects, actions, and descriptions. Information for use within the model is built using the atomic information objects. Application programming interfaces are used to perform operations and information processing by different nodes. Common service functions are used in the model as instances of a generic common service information model.
    Type: Grant
    Filed: May 21, 2014
    Date of Patent: July 7, 2020
    Assignee: Convida Wireless, LLC
    Inventors: Guang Lu, Dale N. Seed, Lijun Dong, Quang Ly, Shamim Akbar Rahman, Chonggang Wang
  • Patent number: 10698802
    Abstract: A method for generating a validation test for testing an electronic design may include using a processor, analyzing a plurality of actions of a validated scenario to identify an executable corresponding to each of the actions and to identify one or a plurality of variables referred to by each of the actions; using a processor, identifying actions in said plurality of actions that correspond to different executables of the identified executables but refer to a same variable of said one or a plurality of variables that is to be written to or read from a shared memory assigned to the different executables; and using a processor, generating a test code for the validated scenario that includes one or a plurality of access protection commands to manage access by the identified actions that correspond to the different executables and refer to the same variable.
    Type: Grant
    Filed: March 21, 2018
    Date of Patent: June 30, 2020
    Assignee: CADENCE DESIGN SYSTEMS, INC.
    Inventor: Meir Ovadia
  • Patent number: 10691517
    Abstract: In one example in accordance with the present disclosure, a method for determining operating frequencies includes receiving a warranty period for a computer component. The method includes determining an operating frequency that will cause a predicted life cycle of the computer component operating at the operating frequency to fall within the warranty period. The method includes setting the computer component to operate at the operating frequency.
    Type: Grant
    Filed: July 17, 2015
    Date of Patent: June 23, 2020
    Assignee: Hewlett Packard Enterprise Development LP
    Inventors: Vincent Nguyen, Robert E Van Cleve, Kevin G Depew, Scott P Faasse
  • Patent number: 10684936
    Abstract: Systems and methods validate the operation of a component of an executable model without inadvertently altering the behavior of the component. The model may be partitioned into a design space and a verification space. The component may be placed in the design space, while an observer for validating the component may be placed in the verification space, and linked to the component. During execution of the model, input or output values for the component may be computed and buffered. Execution of the observer may follow execution of the component. The input or output values may be read out of the buffer, and utilized during execution of validation functionality defined for the observer. Model compilation operations that may inadvertently alter the behavior of the component, such as back propagation of attributes, are blocked between the observer and the component.
    Type: Grant
    Filed: September 11, 2018
    Date of Patent: June 16, 2020
    Assignee: The MathWorks, Inc.
    Inventors: Mahesh Nanjundappa, S. M. Shahed Nejhum, Vijaya Raghavan, Krishna Balasubramanian, John P. Dirner
  • Patent number: 10685147
    Abstract: Areas of non-conformances in a manufactured object are electronically mapped within a coordinate system of the object. Boundary lines of the areas containing the non-conformances are displayed on a 3-D image of the product. Visualization of the boundary lines of areas containing multiple non-conformances allows tracking of non-conformances, identification of trends in non-conformances and correction of production processes in order to reduce non-conformances.
    Type: Grant
    Filed: February 29, 2016
    Date of Patent: June 16, 2020
    Assignee: The Boeing Company
    Inventors: Brian N. Slack, Thomas Alexander Brown, Jennifer Diane MacKay, Guy Stockie, Yanxin Emily Wang, Lori Lynne Woodbury
  • Patent number: 10685148
    Abstract: Disclosed aspects relate to managing a set of spatial zones associated with an architectural layout. A first spatial zone of the set of spatial zones is detected. The first spatial zone has a first spatial zone size value. By comparing the first spatial zone size value with a threshold spatial zone size value, it is determined to convert the first spatial zone. Based on proximity, a group of conversion candidates is identified from the set of spatial zones. Based on the first spatial zone and the group of conversion candidates, a second spatial zone is determined using an architectural criterion. Using the second spatial zone, a design-model of the architectural layout is established.
    Type: Grant
    Filed: July 26, 2016
    Date of Patent: June 16, 2020
    Assignee: MITEK HOLDINGS, INC.
    Inventors: William A. Wright, Michael G. Shnitman
  • Patent number: 10679228
    Abstract: Provided herein are methodologies, systems, and devices for simulating the performance of products a within a display area of a retail store. Data relating to a product's attributes, location within a display area, and historical performance can be used to create a model that can predict the impact on sales that will result from moving particular items from one location in a display area to another location. Once created, this model can predict a product's performance at various locations and assist in optimizing product placement within a display area. A GUI of an electronic device can display a virtual display area that allows a user to create various product placement scenarios. The model may also display product placement recommendations based on the predicted performance values of various products at different locations within a display area.
    Type: Grant
    Filed: March 30, 2016
    Date of Patent: June 9, 2020
    Assignee: Walmart Apollo, LLC
    Inventor: Murthy Narayana Kolluru
  • Patent number: 10678673
    Abstract: According to an aspect of an embodiment, a method may include executing multiple tests with respect to code under test of a software program to perform multiple test executions. The method may further include identifying one or more passing tests and one or more failing tests of the test executions. In addition, the method may include determining an aggregated score for each statement based on two or more of: the passing tests and the failing tests; a semantic similarity between one or more statement tokens included in the respective statement and one or more report tokens included in an error report; and an amount of time that has passed from when the respective statement received a change. Moreover, the method may include identifying a particular statement of the plurality of statements as a fault location in the code under test based on the aggregated scores of the plurality of statements.
    Type: Grant
    Filed: July 12, 2017
    Date of Patent: June 9, 2020
    Assignee: FUJITSU LIMITED
    Inventors: Ripon K. Saha, Mukul R. Prasad
  • Patent number: 10678989
    Abstract: A method for timing optimization is disclosed. The method includes obtaining information on timing of paths in a chip, wherein the information includes a mean of slacks and a sigma of slacks of each of the paths, determining a sigma margin (SM) value each of the paths, the SM value being obtained by dividing the mean by the sigma, and determining that a first path of the paths is more critical than a second path of the paths, an SM value of the first path being smaller than that of the second path.
    Type: Grant
    Filed: January 18, 2018
    Date of Patent: June 9, 2020
    Assignee: TAIWAN SEMICONDUCTOR MANUFACTURING COMPANY LTD.
    Inventors: Yen-Pin Chen, Tzu-Hen Lin, Tai-Yu Cheng, Florentin Dartu, Chung-Hsing Wang
  • Patent number: 10679735
    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.
    Type: Grant
    Filed: November 27, 2018
    Date of Patent: June 9, 2020
    Inventor: Maurice M. Klee
  • Patent number: 10671785
    Abstract: Simulating a hardware description language design including a core and a testbench can include performing, using a processor, a first compilation of the hardware description language design by generating a compiled core unit for the core, a compiled testbench for the testbench, and synchronization data describing signals crossing a compile checkpoint boundary. A subsequent compilation of the hardware description language design can be performed by reusing the compiled core unit from the first compilation and generating a new compiled testbench for the testbench using the synchronization data.
    Type: Grant
    Filed: December 6, 2016
    Date of Patent: June 2, 2020
    Assignee: Xilinx, Inc.
    Inventors: Valeria Mihalache, Kumar Deepak, Saikat Bandyopadhyay, Sandeep S. Deshpande, Feng Cai
  • Patent number: 10656528
    Abstract: In the embodiments disclosed herein, an approach based on a mask function M is disclosed. This approach meets the requirement of the Hopkins model and at the same time incorporates the incident angle effects of a given partially coherent illumination. The new mask function M is referred to as a partially coherent mask function (PCMF). In the embodiments disclosed herein, the incident angle effects of individual source points of a given partially coherent illumination are removed from the mask function M and incorporated into a source function G. As a result, use of the partially coherent mask function M does not require an integration over individual plane waves in the illumination, as would be the case with a rigorous mask function M. Therefore, the Hopkins model can be used with partially coherent mask function M and at the same time capture the incident angle effects.
    Type: Grant
    Filed: January 2, 2019
    Date of Patent: May 19, 2020
    Assignee: Synopsys, Inc.
    Inventor: Peng Liu
  • Patent number: 10649887
    Abstract: An apparatus, a computer program product and a method for co-verification of systems comprising software and hardware components. The method comprises obtaining an over-approximation of the system that over-approximates the software or the hardware by using a non-deterministic version thereof; performing simulation of the over-approximation of the system; and utilizing an outcome of the simulation to guide a co-simulation of the system. The co-simulation comprises instrumenting the software to identify whether the coverage goals are reached during execution, generating a test input for the system, simulating execution of the test input by the instrumented software, wherein during said simulating, stimuli provided from the instrumented software to underlying hardware is provided to a hardware simulator that is configured to simulate the hardware-under-test; determining a coverage of the execution of the test input, and utilizing the coverage information in a successive iteration of the method.
    Type: Grant
    Filed: February 27, 2018
    Date of Patent: May 12, 2020
    Assignee: International Business Machines Corporation
    Inventors: Fady Copty, Dov Murik, Sharon Keidar Barner
  • Patent number: 10650125
    Abstract: An electronic apparatus operated based on an OS is provided. The electronic apparatus includes a storage to store the OS, a virtual device program capable of generating a virtual device executed based on the OS, and at least one program; and at least one processor to execute the virtual device program to generate the virtual device, and to execute the OS to determine whether a first program having an administration authority assigned by the OS from among the at least one program has access authority to data about the virtual device in response to an attempt to access the data from the first program and to selectively permit the access to the data based on the determined access authority. With this, the electronic apparatus may restrain the access to the virtual device or the data thereabout according to a presence of the access authority, thereby safely protecting the virtual device or the data.
    Type: Grant
    Filed: March 1, 2017
    Date of Patent: May 12, 2020
    Assignee: Samsung Electronics Co., Ltd.
    Inventors: Dong-hwa Jeong, Sung-kyu Lee, Hyun-cheol Park, Chang-woo Lee
  • Patent number: 10650174
    Abstract: The present disclosure relates to a system and method for use in an electronic design environment. Embodiments may include receiving, using at least one processor, an electronic design and generating a unique name for each hardware state element associated with the electronic design. Embodiments may further include generating a unique name for each software state element associated with the electronic design. Embodiments may also include combining a plurality of unique names into an arbitrary expression, wherein the plurality of unique names includes at least one software state unique name and at least one hardware state unique name. Embodiments may further include evaluating the arbitrary expression at one or more discrete time points. Embodiments may also include recording an evaluated expression in an electronic design database.
    Type: Grant
    Filed: May 24, 2017
    Date of Patent: May 12, 2020
    Assignee: Cadence Design Systems, Inc.
    Inventors: Andrew Robert Wilmot, Rohan Kangralkar, George Franklin Frazier, Neeti Khullar Bhatnagar
  • Patent number: 10639547
    Abstract: A method of networked simulation during a multiplayer game for a server includes: simulating at the server at least a first interactive object of a virtual environment, detecting whether a user of a first client may interact with the first interactive object within the virtual environment, and if so, setting the server to a co-operative simulation mode in which the server is arranged to receive data corresponding to an outcome of a simulation by the first client of an interaction between the first interactive object and an avatar of the user; receiving data from the first client corresponding to the outcome of the simulation by the first client of the interaction between the first interactive object and the avatar of the user, and updating the server simulation of the first interactive object responsive to the received data.
    Type: Grant
    Filed: February 14, 2018
    Date of Patent: May 5, 2020
    Assignee: Sony Interactive Entertainment Inc.
    Inventor: Michael John Atkins
  • Patent number: 10643284
    Abstract: The present disclosure is directed to methods for providing insurance brokerage services for both a property owner and potential insurers. The methods provides for virtual websites and related mobile applications for estimating the value of a property based on current reconstruction costs. The methods also provide for aiding a property owner in procuring an insurer by compiling property valuation information in a format that is submitted to potential insurers to bid upon. The methods further provides for helping property owners manage changes to property value and updating insurance policy based on valuation changes to reconstruction costs as well as compiling information for reconstruction costs when damage does occur. Finally, disclosure provides for methods of maintaining important records for insurer, maintaining communications between insured and insurer, and providing emergency services related to the insured property in the time of emergencies related to the insured property.
    Type: Grant
    Filed: March 6, 2015
    Date of Patent: May 5, 2020
    Inventor: Christopher Rogers
  • Patent number: 10635765
    Abstract: Clusters of metrics in a system are stored. A display region is divided into n divided regions in such a way that an area of a divided region i (1?i?n) is equal to or larger than an area of a divided region i+1. Each cluster is allocated to the divided region i sequentially selected from i=1, in the decreasing order of the number of metrics contained in each of the clusters, in such a way that the number of the clusters allocated to the divided region i+1 is equal to or more than the number of clusters allocated to the divided region i. The cluster allocated to the divided region i is drawn in the divided region i.
    Type: Grant
    Filed: May 1, 2019
    Date of Patent: April 28, 2020
    Assignee: NEC CORPORATION
    Inventor: Masanao Natsumeda
  • Patent number: 10635577
    Abstract: A computer-implemented method may include: receiving a request to integrate a commit; obtaining analytics data of an author that developed the commit; executing a simulation using the analytics data of the author as inputs to the simulation; obtaining results from the simulation, wherein the results indicate error rates when one or more testing stages are omitted from a testing procedure of the commit; comparing the results of the simulation with a threshold; determining, by the computing the device, the testing procedure based on the comparing, wherein the testing procedure identifies the one or more testing stages that are omitted and one or more testing stages that are included in the testing procedure; and outputting information regarding the determined testing procedure, wherein the outputting causes an integration server to test the commit in accordance with the testing procedure as part of an integration process for integrating the commit to a project.
    Type: Grant
    Filed: April 7, 2017
    Date of Patent: April 28, 2020
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Aaron K. Baughman, Cameron McAvoy, Brian M. O'Connell
  • Patent number: 10634778
    Abstract: Camera-assisted tracking of point objects in a radar system is provided. An extended Kalman filter framework based on both radar and camera observations is used to track point objects detected in frames of radar signal data. This framework provides a minimum mean square estimation of the current state of a point object based on previous and current observations from both frames of radar signals and corresponding camera images.
    Type: Grant
    Filed: October 21, 2015
    Date of Patent: April 28, 2020
    Assignee: TEXAS INSTRUMENTS INCORPORATED
    Inventors: Yucheng Liu, Vikram VijayanBabu Appia, Muhammad Zubair Ikram
  • Patent number: 10635766
    Abstract: In a data processing system, a processor creating level qualifying logic within instrumentation of a hardware description language (HDL) simulation model of a design. The level qualifying logic is configured to generate a first event of a first type for a first simulation level and to generate a second event of second type for a second simulation level. The processor simulates the design utilizing the HDL simulation model, where the simulation includes generating the first event of the first type responsive to the simulating being performed at the first simulation level and generating the second event of the second type responsive to the simulating being performed at the second simulation level. Responsive to the simulating, the processor records, within data storage, at least one occurrence of an event from a set including the first event and the second event.
    Type: Grant
    Filed: December 12, 2016
    Date of Patent: April 28, 2020
    Assignee: International Business Machines Corporation
    Inventors: Guy L. Guthrie, Hugh Shen, Derek E. Williams
  • Patent number: 10630643
    Abstract: In some embodiments, a protected client operates a live introspection engine and an on-demand introspection engine. The live introspection engine detects the occurrence of certain events within a protected virtual machine exposed on the respective client system, and communicates the occurrence to a remote security server. In turn, the server may request a forensic analysis of the event from the client system, by indicating a forensic tool to be executed by the client. Forensic tools may be stored in a central repository accessible to the client. In response to receiving the analysis request, the on-demand introspection engine may retrieve and execute the forensic tool, and communicate a result of the forensic analysis to the security server. The server may use the information to determine whether the respective client is under attack by malicious software or an intruder.
    Type: Grant
    Filed: December 19, 2016
    Date of Patent: April 21, 2020
    Assignee: Bitdefender IPR Management Ltd.
    Inventors: Dan H. Lutas, Daniel I. Ticle, Radu I. Ciocas, Sandor Lukacs, Ionel C. Anichitei
  • Patent number: 10622932
    Abstract: A method for emulating a three-phase, brushless DC motor using a load emulator that is connected in a three-phase manner via load terminals to supply terminals of a motor control unit. The load emulator has emulator power electronics and an emulator control unit for controlling the emulator power electronics. The emulator control unit determines the supply terminals that are actuated by the motor control unit and the supply terminals that are not actuated, and the emulator power electronics are actuated by the emulator control unit in such a way that phase currents calculated by the emulator control unit on the basis of a motor model flow in the supply terminals that are actuated by the motor control unit and a phase voltage calculated by the emulator control unit on the basis of a motor model is applied to the supply terminal that is not actuated by the motor control unit.
    Type: Grant
    Filed: October 28, 2016
    Date of Patent: April 14, 2020
    Assignee: dSPACE digital signal processing and control engineering GmbH
    Inventor: Nils Holthaus
  • Patent number: 10621386
    Abstract: A method, a system and a non-transitory machine-readable storage medium are provided. In one or more aspects, a computer-implemented method for bias temperature instability (BTI) calculation of a device includes simulating the device, using an electronic design automation tool. The simulation includes determining a first degradation value after applying a first sequence of stress values to the device for a first plurality of time steps. The simulation further includes determining a first degradation recovery value after the first plurality of time steps. The simulation further includes determining a first recovered degradation value after the first plurality of time steps by combining the first degradation value and the first degradation recovery value. The first degradation value, the first degradation recovery value, and the first recovered degradation value are associated with one or more model parameters of the device.
    Type: Grant
    Filed: March 20, 2017
    Date of Patent: April 14, 2020
    Assignee: CADENCE DESIGN SYSTEMS, INC.
    Inventors: Alvin Chen, Jushan Xie, Si-Yu Liao, Chunyi Huang, Tianlei Guo, Yanhui Li, Runsheng Wang, Shaofeng Guo, Zhuoqing Yu, Ru Huang
  • Patent number: 10614193
    Abstract: This application discloses a design verification tool implementing in a functional verification environment with a computing system, a hardware emulator, or a combination thereof. The design verification tool can identify, from a power intent specification of a circuit design, operational states of circuitry described in the circuit design, and generate code coverage bins based on the operational states of the circuitry. The operational states of the circuitry correspond to operational capabilities of the circuitry supported by each of the power modes for the circuitry. The code coverage bins are configured to store code coverage events occurring when the circuitry operates in different power modes. The design verification tool can utilize the code coverage bins to record the code coverage events performed by the circuitry during functional verification operations in a verification environment, and also can generate at least one coverage metric based on the records of the code coverage events.
    Type: Grant
    Filed: January 31, 2018
    Date of Patent: April 7, 2020
    Assignee: Mentor Graphics Corporation
    Inventors: Pankaj Kumar Dwivedi, Shweta Gulati
  • Patent number: 10614192
    Abstract: A method and apparatus for ranking combinations of mutants, test cases and random seeds in mutation testing, comprising obtaining, based on a signal of a test case target, logic gates related to the signal of the test case target and mutants on the related logic gates, for a compiled integrated circuit under test; calculating distances between the mutants and the signal of the test case target; performing a circuit simulation on the compiled integrated circuit under test to obtain activation cycle numbers corresponding to combinations of the mutants, test cases and random seeds; obtaining activation cycle number variances corresponding to combinations of the mutants and the test cases; and ranking the combinations of the mutants, the test cases and the random seeds based on the distances, the activation cycle numbers and the activation cycle number variances. The invention can reduce the probability that the mutation simulation selects equivalent mutants.
    Type: Grant
    Filed: January 18, 2018
    Date of Patent: April 7, 2020
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Peng Fei Gou, Bodo Hoppe, Yang Li, Dan Liu, Yang Liu
  • Patent number: 10607117
    Abstract: The invention provides a method for recognition of information in digital image data, said method comprising a learning phase on a data set of example digital images having known information, and characteristics of categories are computed automatically from each example digital image and compared to its known category, said method comprises training a convolutional neural network comprising network parameters using said data set, in which via deep learning each layer of said convolutional neural network is represented by a linear decomposition of all filters as learned in each layer into basis functions.
    Type: Grant
    Filed: June 3, 2016
    Date of Patent: March 31, 2020
    Assignee: KEPLER VISION TECHNOLOGIES B.V.
    Inventors: Jorn-Henrik Jacobsen, Johannes Christianus Van Gemert, Reinier Van Den Boomgaard, Zhongyu Lou, Arnoldus Wilhelmus Maria Smeulders
  • Patent number: 10609034
    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.
    Type: Grant
    Filed: June 21, 2018
    Date of Patent: March 31, 2020
    Assignee: Open Text Corporation
    Inventors: Satyapal P. Reddy, Jeroen van Rotterdam, Muthukumarappa Jayakumar, Michael T. Mohen, Ravikumar Meenakshisundaram
  • Patent number: 10600007
    Abstract: A method and system to perform spatio-temporal prediction are described. The method includes obtaining, based on communication with one or more sources, multi-scale spatial datasets, each of the multi-scale spatial datasets providing a type of information at a corresponding granularity, at least two of the multi-scale spatial datasets providing at least two types of information at different corresponding granularities. The method also includes generating new features for each of the multi-scale spatial datasets, the new features being based on features of each of the multi-scale spatial datasets and spatial relationships between and within the multi-scale spatial datasets. The method further includes selecting, using the processor, features of interest from among the new features, training a predictive model based on the features of interest, and predicting an event based on the predictive model.
    Type: Grant
    Filed: August 4, 2014
    Date of Patent: March 24, 2020
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Wei Shan Dong, Arun Hampapur, Hongfei Li, Li Li, Xuan Liu, Chun Yang Ma, Songhua Xing
  • Patent number: 10599799
    Abstract: Computer-implemented systems and methods for modeling low-dropout (LDO) regulators and charge pumps are provided. A relationship between an output voltage of an LDO regulator or charge pump and a loading condition is determined. A frequency-domain analysis is performed at multiple frequencies to determine an impedance function representative of an impedance of the LDO regulator or charge pump at each of the multiple frequencies. A vector-fitting algorithm is applied to approximate the impedance function using a plurality of poles and residues. A circuit is synthesized based on the plurality of poles and residues. A model for the LDO regulator or charge pump is generated, where the model includes the synthesized circuit and components that model the relationship between the output voltage and the loading condition.
    Type: Grant
    Filed: October 25, 2017
    Date of Patent: March 24, 2020
    Assignee: ANSYS, Inc.
    Inventors: Deqi Zhu, Yi Cao, Shan Wan, Norman Chang