Towards Verifying Parametrised Hardware Libraries with Relative Placement Information

Détails bibliographiques
Auteurs principaux: McKeever, S, Luk, W, Derbyshire, A
Format: Conference item
Publié: 2003