G06F17/50

ASIC DESIGN METHODOLOGY FOR CONVERTING RTL HDL TO A LIGHT NETLIST

This application discloses the implementation of a self-timed IP with optional clock-less compression and decompression at the boundaries. It also discloses system and methods for application specific integrated circuits to convert RTL code and timing constraints to self-timed circuitry with optional clock-less compression and decompression at the boundaries.

Data Injection In Emulation Without Rebooting

An emulator is configured with a circuit design model for a circuit design comprising a processor and is running with an operating system. Data are transferred from a computer to a memory in the emulator through a design-independent interface or a transaction-level interface. A software program is then activated in the emulator to enable the data to be accessed by the operating system without rebooting the emulator.

Slip-Dependent Motor Model

The present disclosure pertains to systems and methods configured to monitor and protect an electric motor during startup using a motor model. The motor model parameters may be calculated using measurements taken during a calibration start of the electric motor. The measurements may include slip, stator current, stator voltage, frequency, and/or other electrical or physical parameters. In some embodiments, the motor model parameters may be calculated by minimizing the difference between a measured slip and a calculated slip. The motor model may comprise a variety of parameters used to determine operation parameters of the motor during the startup. In one specific embodiment, the motor model may determine a thermal capacity used (TCU). The TCU may be compared to a threshold value to determine whether protective action is necessary.

ADVANCED CYBERSECURITY THREAT MITIGATION FOR INTER-BANK FINANCIAL TRANSACTIONS
20180013771 · 2018-01-11 ·

A system for mitigation of cyberattacks employing an advanced cyber decision platform comprising a time series data store, a directed computational graph module, an action outcome simulation module, and observation and state estimation module, wherein the state of a network is monitored and used to produce a cyber-physical graph representing network resources, simulated network events are produced and monitored, and the network events and their effects are analyzed to produce security recommendations.

MONITORING CONSTRUCTION OF A STRUCTURE
20180012125 · 2018-01-11 ·

Methods, apparatuses, and embodiments related to a technique for monitoring construction of a structure. In an example, a robot with a sensor, such as a LIDAR device, enters a building and obtains sensor readings of the building. The sensor data is analyzed and components related to the building are identified. The components are mapped to corresponding components of an architect's three dimensional design of the building, and the installation of the components is checked for accuracy. When a discrepancy above a certain threshold is detected, an error is flagged and project managers are notified. Construction progress updates do not give credit for completed construction that includes an error, resulting in improved accuracy progress updates and corresponding improved accuracy for project schedule and cost estimates.

PHYSICALLY AWARE TEST PATTERNS IN SEMICONDUCTOR FABRICATION

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

METHODS, SYSTEMS AND COMPUTER READABLE MEDIA FOR TESTING NETWORK DEVICES USING VARIABLE TRAFFIC BURST PROFILES
20180011955 · 2018-01-11 ·

A method for testing a network device using a variable traffic burst profile includes providing for user selection of at least one type of simulated traffic to be transmitted to a network device under test (DUT). The method further includes receiving user input regarding selection of the type of simulated traffic. The method further includes providing for user selection of a transmission rate for transmitting the simulated traffic to the DUT. The method further includes receiving user input regarding selection of the transmission rate. The method further includes transmitting the simulated traffic to the DUT according to the selected traffic type, the selected transmission rate, and a variable traffic burst profile.

PROSTHODONTIC AND ORTHODONTIC APPARATUS AND METHODS

System and method for developing a treatment plan for achieving a treatment goal including creating a virtual model of a dental patient's dentition; transforming the virtual model of the dentition using virtual prosthodontics to facilitate achievement of the treatment goal; transforming the virtual model of the dentition using virtual orthodontics to facilitate achievement of the treatment goal; iterating on the transforming steps until substantially achieving the treatment goal; and generating an orthodontic treatment plan and a prosthodontic treatment plan based upon the substantially achieved treatment goal

INTEGRATED MODELING USING MULTIPLE SUBSURFACE MODELS

A method of integrated modeling using multiple subsurface models includes receiving multiple sets of input values associated with a hydrocarbon formation of the Earth. The method also includes receiving a network model that includes one or more assets configured to distribute a flow of hydrocarbons from the hydrocarbon formation to a processing facility. The method further includes generating the multiple subsurface models based on the multiple sets of input values, wherein each subsurface model comprises a set of input values of the multiple sets of input values, and wherein each subsurface model represents a production of the flow of hydrocarbons from the hydrocarbon formation. The method also includes applying the multiple subsurface models to the network model to generate an integrated model comprising multiple production rates of hydrocarbons via the one or more assets over time. The method further includes identifying at least one asset to adjust based on the integrated model.

Recipe Creation Device for Use in Semiconductor Measurement Device or Semiconductor Inspection Device

The purpose of the present invention is to provide a recipe creation device, with the goal of using past recipe data in order to highly efficiently create recipes. As an embodiment with which to achieve this goal, there is provided a recipe creation device comprising an arithmetic processing device that, on the basis of design data for a semiconductor element, establishes measurement conditions or inspection conditions by a semiconductor measurement device or a semiconductor inspection device, wherein the arithmetic processing device is configured to be able to access a database in which the measurement conditions or inspection conditions, and the pattern information of the semiconductor element, are stored in associated form, and the measurement conditions or inspection conditions are selected through a search using pattern information of the semiconductor element.