KTL Design using Gaminca HPL