Abstract: A computer-implemented method for optimizing a circuit simulator and computing surrogate models using circuit theory-guided machine learning for high performance Monte Carlo simulations. The method may include reading a netlist for performing a Monte Carlo simulation of an electronic circuit, and enabling simulator optimization such that two or more devices sharing one or more device parameters can be combined and simulated as one single optimized device. The method may also include constructing equations of netlist parametric expressions for one or more optimized devices, and computing optimized device mappings.

Abstract: An air-conditioning control method includes: acquiring a first sensor value measured by a first sensor device provided at a different position within an identical space to a second sensor device at a first frequency; acquiring a second sensor value measured by the second sensor device at a second frequency, wherein the second frequency is higher than the first frequency; generating a first sensor predicted value from the second sensor value based on a correlation between the first sensor value and the second sensor value in a period in which the second sensor value is acquired and the first sensor value is not acquired; and determining an operation of an air-conditioning apparatus based on the first sensor predicted value.

Abstract: An air-conditioning control method includes: acquiring a first sensor value measured by a first sensor device provided at a different position within an identical space to a second sensor device at a first frequency; acquiring a second sensor value measured by the second sensor device at a second frequency, wherein the second frequency is higher than the first frequency; generating a first sensor predicted value from the second sensor value based on a correlation between the first sensor value and the second sensor value in a period in which the second sensor value is acquired and the first sensor value is not acquired; and determining an operation of an air-conditioning apparatus based on the first sensor predicted value.

Abstract: Various techniques are provided to configure embedded hardware resources of a programmable logic device (PLD). In one example, a method includes receiving configuration information for a plurality of hardware modules of an embedded hardware block of a PLD. The configuration information is received from a user of a computer system external to the PLD. The method also includes generating a plurality of models of the hardware block. The method also includes merging the generated models into a combined model of the hardware block. The combined model includes the configuration information received for the hardware modules of the hardware block. Related systems and additional techniques are also provided.

Abstract: Various techniques are provided to configure embedded hardware resources of a programmable logic device (PLD). In one example, a method includes receiving configuration information for a plurality of hardware modules of an embedded hardware block of a PLD. The configuration information is received from a user of a computer system external to the PLD. The method also includes generating a plurality of models of the hardware block. The method also includes merging the generated models into a combined model of the hardware block. The combined model includes the configuration information received for the hardware modules of the hardware block. Related systems and additional techniques are also provided.