Towards Verifying Parametrised Hardware Libraries with Relative Placement Information (0)

by Steve McKeever, Wayne Luk, Arran Derbyshire
Venue:In Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS’03), 2003. IEEE Computer Society