Does anybody have an experience or knowledge how to realize physical separation of cores inside an FPGA?
The location of the particular core (e.g. a crypto core) can be constrained but how to verify the bitstream that there are no signals coming to/from the core except the port connections specified in the RTL design?
I'm aware of moats idea and limited use of routing resources but the question of bitstream verification still remains unaswered. Any suggestions?
