![](/img/cover-not-exists.png)
Automatic verification of implementations of large circuits against HDL specifications
Hoskote, Y.V., Abraham, J.A., Fussell, D.S., Moondanos, J.Volume:
16
Year:
1997
Language:
english
DOI:
10.1109/43.594828
File:
PDF, 322 KB
english, 1997