Prover iLock 编码器可自动生成应用编码。由此将完全不必采用手工编写应用编码。编码工作所需的精力将用于通用且可重复使用PiSPEC设计说明。
Prover iLock 编码器支持包括IO和面板创建文件在内的集中和分布式编码。