Towards Verifying Parametrised Hardware Libraries with Relative Placement Information

Bibliographische Detailangaben
Hauptverfasser: McKeever, S, Luk, W, Derbyshire, A
Format: Conference item
Veröffentlicht: 2003