Towards Verifying Parametrised Hardware Libraries with Relative Placement Information

Bibliografiska uppgifter
Huvudupphovsmän: McKeever, S, Luk, W, Derbyshire, A
Materialtyp: Conference item
Publicerad: 2003