CPC G06F 8/35 (2013.01) [G06F 8/60 (2013.01)] | 24 Claims |
1. A method for selecting a datatype for use by software running on a device, comprising:
for a model representing a behavior of the device, wherein the model has an input and an output and includes an operation representable by a matrix,
obtaining a size of the matrix, an overflow probability for the operation, statistics information concerning a noise of the device, and a regularization parameter;
determining a singular value bound for a regularization of the matrix based at least in part on the size, the overflow probability, the statistics information, and the regularization parameter;
determining one or more of:
a numerical range for the output based on information about the input and the singular value bound, or
a numerical range for the input based on information about the output and the singular value bound;
selecting the datatype for the input or the output, based at least in part on the determined one or more of:
the numerical range of the output, or
the numerical range of the input;
providing an indication of the selected datatype;
simulating the behavior of the device using the selected datatype; and
generating the software for the device from the model using the selected datatype.
|