@inproceedings{DBLP:conf/hicss/McKeeverLD03,
  title = "Towards Verifying Parametrised Hardware Libraries with Relative Placement Information",
  author = "Steve McKeever and Wayne Luk and Arran Derbyshire",
  year = "2003",
  booktitle = "HICSS",
  pages = "279",
  url = "http://computer.org/proceedings/hicss/1874/track9/187490279cabs.htm",
}