In reply to Reuben:
One reason for the lack of resources on GLS is the fact that there are so few people left doing it. FPGAs can no longer be represented accurately for GLS, and formal tools handle gate-level topologies with much better accuracy.
In reply to Reuben:
One reason for the lack of resources on GLS is the fact that there are so few people left doing it. FPGAs can no longer be represented accurately for GLS, and formal tools handle gate-level topologies with much better accuracy.