![](/img/cover-not-exists.png)
[IEEE Comput. Soc. Press 4th Great Lakes Symposium on VLSI - Notre Dame, IN, USA (4-5 March 1994)] Proceedings of 4th Great Lakes Symposium on VLSI - Abstraction of data path registers for multilevel verification of large circuits
Hoskote, Y.V., Moondanos, J., Abraham, J.A., Fussell, D.S.Year:
1994
Language:
english
DOI:
10.1109/glsv.1994.290004
File:
PDF, 389 KB
english, 1994