GENERATE MEMORY

Generates the memory matrix in binary form for the circuit implementation

Contents

Private method of pwag object.

Description

This function generates a column vector, in which the binary values of H, K, F and G are stored. The elements of the memory are stored in the position indicated by the fields addrHK and addrFG of the state structure.

H and K values are stored for non leaf nodes, F and G for leaf nodes. The data are stored in this way: $H_{11} H_{21} ... H_{d1} K_1 H_{12} H_{22} ... H_{d2} K_2$ etc... where $H_{ij}$ is the i-th component of the j-th inequality.

Syntax

[memorybin state] = generateMemory(state_red,Hint,Kint,Fint,Gint,nbit)

state is the structure state (see function treeExplore), Hint, Kint, Fint, Gint are the quantized matrices, nbit the number of bits used to represent numbers. memorybin is the array containing the memory elements in binary form and state is the structure state (it is edited and so it is returned)

Acknowledgements

Contributors:

Copyright is with: