Simulating Electronic Device Or Electrical System Patents (Class 703/13)
-
Patent number: 10783536Abstract: 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: GrantFiled: December 5, 2017Date of Patent: September 22, 2020Assignee: International Business Machines CorporationInventors: Yea-Jane Chu, Richard J. Oswald, Jean-Francois Puget, Jing-Yun Shyr
-
Patent number: 10783061Abstract: 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: GrantFiled: June 22, 2018Date of Patent: September 22, 2020Assignee: Microsoft Technology Licensing, LLCInventor: Parag Nandan Paul
-
Patent number: 10769008Abstract: 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: GrantFiled: December 6, 2016Date of Patent: September 8, 2020Assignee: 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: 10755015Abstract: 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: GrantFiled: August 21, 2018Date of Patent: August 25, 2020Assignee: SEMICONDUCTOR COMPONENTS INDUSTRIES, LLCInventors: James Joseph Victory, Mehrdad Baghaie Yazdi
-
Patent number: 10750126Abstract: 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: GrantFiled: September 24, 2014Date of Patent: August 18, 2020Assignee: VIAKOO, INC.Inventors: Alex Sternberg, David Nelson-Gal, Jason Banich, Eric Green, Manqing Liu
-
Patent number: 10725893Abstract: 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: GrantFiled: March 28, 2014Date of Patent: July 28, 2020Assignee: ORACLE INTERNATIONAL CORPORATIONInventors: Dmitry Fazunenko, Alexey Fedorchenko
-
Patent number: 10726182Abstract: 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: GrantFiled: August 9, 2018Date of Patent: July 28, 2020Assignee: Xilinx, Inc.Inventors: Sandeep S. Deshpande, Feng Cai, Saikat Bandyopadhyay
-
Patent number: 10719299Abstract: 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: GrantFiled: September 15, 2014Date of Patent: July 21, 2020Assignee: PRATT & WHITNEY CANADA CORP.Inventors: Jean Gagnon, Valeri Soukhostavets
-
Patent number: 10713268Abstract: 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: GrantFiled: June 14, 2017Date of Patent: July 14, 2020Assignee: Massachusetts Mutual Life Insurance CompanyInventors: Gopika Kannan, Jennifer Fabrizi, Robert Polkowski
-
Patent number: 10712734Abstract: 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: GrantFiled: March 31, 2017Date of Patent: July 14, 2020Assignee: CAE Inc.Inventor: Vincent Myrand-Lapierre
-
Patent number: 10708341Abstract: 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: GrantFiled: May 21, 2014Date of Patent: July 7, 2020Assignee: Convida Wireless, LLCInventors: Guang Lu, Dale N. Seed, Lijun Dong, Quang Ly, Shamim Akbar Rahman, Chonggang Wang
-
Patent number: 10698802Abstract: 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: GrantFiled: March 21, 2018Date of Patent: June 30, 2020Assignee: CADENCE DESIGN SYSTEMS, INC.Inventor: Meir Ovadia
-
Patent number: 10691517Abstract: 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: GrantFiled: July 17, 2015Date of Patent: June 23, 2020Assignee: Hewlett Packard Enterprise Development LPInventors: Vincent Nguyen, Robert E Van Cleve, Kevin G Depew, Scott P Faasse
-
Patent number: 10685147Abstract: 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: GrantFiled: February 29, 2016Date of Patent: June 16, 2020Assignee: The Boeing CompanyInventors: Brian N. Slack, Thomas Alexander Brown, Jennifer Diane MacKay, Guy Stockie, Yanxin Emily Wang, Lori Lynne Woodbury
-
Patent number: 10685148Abstract: 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: GrantFiled: July 26, 2016Date of Patent: June 16, 2020Assignee: MITEK HOLDINGS, INC.Inventors: William A. Wright, Michael G. Shnitman
-
Patent number: 10684936Abstract: 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: GrantFiled: September 11, 2018Date of Patent: June 16, 2020Assignee: The MathWorks, Inc.Inventors: Mahesh Nanjundappa, S. M. Shahed Nejhum, Vijaya Raghavan, Krishna Balasubramanian, John P. Dirner
-
Patent number: 10679735Abstract: 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: GrantFiled: November 27, 2018Date of Patent: June 9, 2020Inventor: Maurice M. Klee
-
Patent number: 10679228Abstract: 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: GrantFiled: March 30, 2016Date of Patent: June 9, 2020Assignee: Walmart Apollo, LLCInventor: Murthy Narayana Kolluru
-
Patent number: 10678989Abstract: 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: GrantFiled: January 18, 2018Date of Patent: June 9, 2020Assignee: TAIWAN SEMICONDUCTOR MANUFACTURING COMPANY LTD.Inventors: Yen-Pin Chen, Tzu-Hen Lin, Tai-Yu Cheng, Florentin Dartu, Chung-Hsing Wang
-
Patent number: 10678673Abstract: 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: GrantFiled: July 12, 2017Date of Patent: June 9, 2020Assignee: FUJITSU LIMITEDInventors: Ripon K. Saha, Mukul R. Prasad
-
Patent number: 10671785Abstract: 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: GrantFiled: December 6, 2016Date of Patent: June 2, 2020Assignee: Xilinx, Inc.Inventors: Valeria Mihalache, Kumar Deepak, Saikat Bandyopadhyay, Sandeep S. Deshpande, Feng Cai
-
Patent number: 10656528Abstract: 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: GrantFiled: January 2, 2019Date of Patent: May 19, 2020Assignee: Synopsys, Inc.Inventor: Peng Liu
-
Patent number: 10649887Abstract: 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: GrantFiled: February 27, 2018Date of Patent: May 12, 2020Assignee: International Business Machines CorporationInventors: Fady Copty, Dov Murik, Sharon Keidar Barner
-
Patent number: 10650174Abstract: 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: GrantFiled: May 24, 2017Date of Patent: May 12, 2020Assignee: Cadence Design Systems, Inc.Inventors: Andrew Robert Wilmot, Rohan Kangralkar, George Franklin Frazier, Neeti Khullar Bhatnagar
-
Patent number: 10650125Abstract: 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: GrantFiled: March 1, 2017Date of Patent: May 12, 2020Assignee: Samsung Electronics Co., Ltd.Inventors: Dong-hwa Jeong, Sung-kyu Lee, Hyun-cheol Park, Chang-woo Lee
-
Patent number: 10639547Abstract: 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: GrantFiled: February 14, 2018Date of Patent: May 5, 2020Assignee: Sony Interactive Entertainment Inc.Inventor: Michael John Atkins
-
Patent number: 10643284Abstract: 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: GrantFiled: March 6, 2015Date of Patent: May 5, 2020Inventor: Christopher Rogers
-
Patent number: 10634778Abstract: 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: GrantFiled: October 21, 2015Date of Patent: April 28, 2020Assignee: TEXAS INSTRUMENTS INCORPORATEDInventors: Yucheng Liu, Vikram VijayanBabu Appia, Muhammad Zubair Ikram
-
Patent number: 10635765Abstract: 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: GrantFiled: May 1, 2019Date of Patent: April 28, 2020Assignee: NEC CORPORATIONInventor: Masanao Natsumeda
-
Patent number: 10635766Abstract: 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: GrantFiled: December 12, 2016Date of Patent: April 28, 2020Assignee: International Business Machines CorporationInventors: Guy L. Guthrie, Hugh Shen, Derek E. Williams
-
Patent number: 10635577Abstract: 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: GrantFiled: April 7, 2017Date of Patent: April 28, 2020Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Aaron K. Baughman, Cameron McAvoy, Brian M. O'Connell
-
Patent number: 10630643Abstract: 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: GrantFiled: December 19, 2016Date of Patent: April 21, 2020Assignee: Bitdefender IPR Management Ltd.Inventors: Dan H. Lutas, Daniel I. Ticle, Radu I. Ciocas, Sandor Lukacs, Ionel C. Anichitei
-
Patent number: 10621386Abstract: 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: GrantFiled: March 20, 2017Date of Patent: April 14, 2020Assignee: 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: 10622932Abstract: 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: GrantFiled: October 28, 2016Date of Patent: April 14, 2020Assignee: dSPACE digital signal processing and control engineering GmbHInventor: Nils Holthaus
-
Patent number: 10614193Abstract: 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: GrantFiled: January 31, 2018Date of Patent: April 7, 2020Assignee: Mentor Graphics CorporationInventors: Pankaj Kumar Dwivedi, Shweta Gulati
-
Patent number: 10614192Abstract: 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: GrantFiled: January 18, 2018Date of Patent: April 7, 2020Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Peng Fei Gou, Bodo Hoppe, Yang Li, Dan Liu, Yang Liu
-
Patent number: 10609034Abstract: 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: GrantFiled: June 21, 2018Date of Patent: March 31, 2020Assignee: Open Text CorporationInventors: Satyapal P. Reddy, Jeroen van Rotterdam, Muthukumarappa Jayakumar, Michael T. Mohen, Ravikumar Meenakshisundaram
-
Patent number: 10607117Abstract: 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: GrantFiled: June 3, 2016Date of Patent: March 31, 2020Assignee: 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: 10600007Abstract: 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: GrantFiled: August 4, 2014Date of Patent: March 24, 2020Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Wei Shan Dong, Arun Hampapur, Hongfei Li, Li Li, Xuan Liu, Chun Yang Ma, Songhua Xing
-
Patent number: 10599799Abstract: 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: GrantFiled: October 25, 2017Date of Patent: March 24, 2020Assignee: ANSYS, Inc.Inventors: Deqi Zhu, Yi Cao, Shan Wan, Norman Chang
-
Patent number: 10598730Abstract: A testing method is performed by at least one processor and includes following operations: converting first data associated with a scan test into a program, in which the program is configured to observe an untested part of a circuitry that is unable to be tested in the scan test; performing circuit simulations with the program according to a netlist file indicating the circuitry and testing patterns, in order to rank the testing patterns to generate second data; selecting at least one candidate testing pattern from the testing patterns according to the second data; and performing at least one fault simulation on the circuitry according to the netlist file and the at least one candidate testing pattern, in order to test the circuitry.Type: GrantFiled: November 13, 2018Date of Patent: March 24, 2020Assignee: REALTEK SEMICONDUCTOR CORPORATIONInventors: Chihtung Chen, Yi-Te Yeh, Chia-Hsien Cheng, I-Chang Wu, Huai-Yu Yen
-
Method and system for reconstructing a graph presentation of a previously executed verification test
Patent number: 10579761Abstract: A method for reconstructing a graph representation of a previously executed verification test, may include obtaining a truncated chronicle of start time and end time messages of actions of the verification test that were logged during execution of the verification test on a design under test (DUT); using a processor, parsing and analyzing the start time and the end time messages to determine an order of the actions; using a processor, determining an order of other actions of said verification test, based on a graph representation of a verified scenario from which the verification test was generated; and reconstructing the graph representation of the verification test based on the determined order of the actions and order of the other actions.Type: GrantFiled: December 25, 2018Date of Patent: March 3, 2020Assignee: Cadence Design Systems, Inc.Inventors: Meir Ovadia, Talia Leah Orztizer -
Patent number: 10579508Abstract: A mechanism for interacting with code such as software code is provided, whereby the code is represented as a graph such as a finite state machine corresponding to the code, such that a user may define a path through the code for example by way of a gesture or cursor movement, and the representation of the graph being restructured to give prominence to the nodes belonging to the defined path, and their sequence as defined in the path. The underlying code associated with each node may be presented with each corresponding node, so that the code of the nodes in the path is aligned, and can be read through as a continuous text. Amendments made to the code as presented can be reintegrated, and the representation adjusted as necessary.Type: GrantFiled: May 8, 2018Date of Patent: March 3, 2020Assignee: ECOLE NATIONALE DE L'AVIATION CIVILEInventor: Stéphane Conversy
-
Patent number: 10572540Abstract: A method, system and computer-usable medium are disclosed for using travel-related cognitive graph vectors.Type: GrantFiled: January 3, 2018Date of Patent: February 25, 2020Assignee: REALPAGE INC.Inventors: Kyle W. Kothe, Scott E. Goldberg, John N. Faith
-
Patent number: 10565541Abstract: 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.Type: GrantFiled: March 27, 2018Date of Patent: February 18, 2020Assignee: STATE FARM MUTUAL AUTOMOBILE INSURANCE COMPANYInventors: Kevin William Payne, Duane Lee Marzinzik
-
Patent number: 10552184Abstract: Examples of techniques for emulating an application-specific integrated circuit (ASIC) array using a field programmable gate array (FPGA) are disclosed. In one example implementation according to aspects of the present disclosure, a method may include loading configuration information to the FPGA, wherein the configuration information is representative of configuration information of the ASIC. The method may further include emulating the ASIC using the FPGA loaded with the configuration information by applying a fast emulation clock signal to the FPGA. The fast emulation clock signal is a multiple of a system clock signal.Type: GrantFiled: February 23, 2017Date of Patent: February 4, 2020Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Michael J. Becht, Raymond Wong
-
Patent number: 10546724Abstract: A radio frequency power system includes a master RF generator and an auxiliary RF generator, wherein each generator outputs a respective RF signal. The master RF generator also outputs a RF control signal to the auxiliary RF generator, and the RF signal output by the auxiliary RF generator varies in accordance with the RF control signal. The auxiliary RF generator receives sense signals indicative of an electrical characteristic of the respective RF signals output by the master RF generator and the auxiliary RF generator. The auxiliary RF generator determines a phase difference between the RF signals. The sensed electrical characteristics and the phase are used independently or cooperatively to control the phase and amplitude of the RF signal output by the auxiliary RF generator. The auxiliary generator includes an inductive clamp circuit that returns energy reflected energy back from a coupling network to a variable resistive load.Type: GrantFiled: May 9, 2018Date of Patent: January 28, 2020Assignee: MKS Instruments, Inc.Inventors: Aaron T. Radomski, Ky Luu, Larry J. Fisk, II, Ross Reinhardt, Matthew G. Harrington, Amish Rughoonundon, Jesse N. Klein, Aaron M. Burry
-
Patent number: 10540462Abstract: A method includes providing a register transfer level (RTL) description of a circuit design, providing a plurality of RTL-to-gate-level mapping details by translating the RTL description into a gate-level netlist, providing one or more input/output (I/O) variables as stimulus to simulate the RTL description of the circuit design, capturing a plurality of internal operation values from the simulated RTL description at a beginning time of a specified period of time wherein the specified period of time is less than a time period required to compete a full-scale simulation, mapping the captured internal operation values to corresponding gate-level nodes of the gate-level netlist, capturing a plurality of I/O values from the I/O variables at the beginning time of the specified period of time, and simulating the circuit design in a gate-level for the specified period of time based on the mapped internal operation values and the captured I/O values.Type: GrantFiled: July 10, 2017Date of Patent: January 21, 2020Assignee: Taiwan Semiconductor Manufacturing Co., Ltd.Inventors: Chih-Yuan Stephen Yu, Wenyuan Lee, Boh-Yi Huang, Brent Lui, Tze-Chiang Huang
-
Patent number: 10534079Abstract: A vehicle includes a Radar sensor configured to output Radar dot data with respect to an obstacle, a Lidar sensor configured to output Lidar dot data with respect to the obstacle, and a controller configured to match the Radar dot data to the Lidar dot data. The controller clusters one or more Lidar dots of the Lidar dot data, and clusters one or more Radar dots of the Radar dot data based on a distance between a cluster of Lidar dots and the one or more Radar dots.Type: GrantFiled: July 18, 2016Date of Patent: January 14, 2020Assignee: Hyundai Motor CompanyInventor: Byoungkwang Kim
-
Patent number: 10534897Abstract: Method for processing data, in which a Petri net is encoded, written into a memory and read and executed by at least one instance, wherein transitions of the Petri net read from at least one tape and/or write on at least one tape symbols or symbol strings, with the aid of at least one head. [FIG. 1]. In an alternative, data-processing, co-operating nets are composed, the composition result is encoded, written into a memory and read and executed from the memory by at least one instance. In doing this, components can have cryptological functions. The data-processing nets can receive and process second data from a cryptological function which is executed in a protected manner. The invention enables processing of data which prevents semantic analysis of laid-open, possibly few processing steps and which can produce a linkage of the processing steps with a hardware which is difficult to isolate.Type: GrantFiled: April 13, 2018Date of Patent: January 14, 2020Assignee: Whitecryption CorporationInventor: Wulf Harder