Steve McKeever Wayne Luk Arran Derbyshire Towards Verifying Parametrised Hardware Libraries with Relative Placement Information. 279 2003 HICSS http://computer.org/proceedings/hicss/1874/track9/187490279cabs.htm db/conf/hicss/hicss2003-9.html#McKeeverLD03