专为基于莱迪思FPGA的处理器系统设计打造的设计环境——莱迪思Propel是一套完整的图形和命令行工具，用于创建、分析、编译和调试基于FPGA的处理器系统的硬件和软件设计。
莱迪思Propel Builder——Propel Builder作为易于使用的系统IP集成环境，提供了集成处理器和外设IP的工具。图形集成环境采用了易于使用、拖放式的按构造逐步校正（correct by construction）的设计方法。所有命令都可采用Tcl编写。
莱迪思Propel SDK——Propel SDK是一个软件开发套件（SDK），集成了行业标准IDE和工具链，提供无缝的软件开发环境。该SDK拥有SW/HW调试功能以及用于Propel Builder定义的系统的软件库和板级支持包（BSP）。
