Prover iLock Coder automatically generates Application Code. This completely eliminates the need to write Application Code by hand. The coding effort is instead spent on the generic re-usable PiSPEC Design Specification.
Prover iLock Coder supports generation of centralized and distributed code, including IO and board set-up files.