DK Design Suite The DK Design Suite software provides the complete environment necessary to implement the Software-Compiled System Design methodology, providing the benefits of system-level design using C-based design languages to FPGA. This includes system co-design, co-verification capabilities as well as C-to-RTL and direct C-to-FPGA synthesis. Nexus-PDK The Nexus-PDK tool enables co-design and co-verification so that engineers can explore design solutions, find optimal partitions for their system hardware and software, and co-simulate the C-based models with hardware RTL simulations.