A formal approach to PLD design: from simulation to laboratory test