![](/img/cover-not-exists.png)
[IEEE Comput. Soc. Press International Conference on Computer Design. VLSI in Computers and Processors - Austin, TX, USA (7-9 Oct. 1996)] Proceedings International Conference on Computer Design. VLSI in Computers and Processors - Distributed binary decision diagrams for verification of large circuits
Arunachlam, P., Chase, C., Moundanos, D.Year:
1996
Language:
english
DOI:
10.1109/ICCD.1996.563580
File:
PDF, 630 KB
english, 1996