Modelling the Crypto-Processor from Design to Synthesis. - W. P. Choi; Lee-Ming Cheng (CHES, 1999)