Logic device and system and methods for definition and configuration of a logic device

A computer implemented method of defining a device capable of implementing a logic function, said device comprising a memory bus having a corresponding address space, and a plurality of programme memory cells, each said programme memory cell being accessible for reading and/or writing via said memory bus with a respective address in said address space, wherein said device further comprises a plurality of auxiliary memory cells, each said auxiliary memory cell being accessible for reading via said programme memory bus with a respective address in said address space, said select lines and/or outputs of each lookup table being programmably interconnected with the select lines or outputs of another said lookup table independently of the respective values of said plurality of auxiliary memories, said method comprising

• obtaining a checksum value for said digital definition of logic function,
• finding a digital value of a predefined length which, when applied to a package checksum value comprising said checksum value for said digital definition of core functions, in accordance with a predefined operation, produces a result complying with a predefined rule,
• defining an augmented digital definition of said device thereof comprising said digital definition of said logic functions and a definition of said one or more auxiliary memory cells reflecting said checksum value.