Towards Verifying Parametrised Hardware Libraries with Relative Placement Information - McKeever, S; Luk, W; Derbyshire, A (2003)