![](/img/cover-not-exists.png)
[ACM Press the seventeenth design automation conference - Minneapolis, Minnesota, United States (1980.06.23-1980.06.25)] Proceedings of the seventeenth design automation conference on Design automation - DAC '80 - Verifying deep logic hierarchies with ALEX
Koppelman, George M., Maling, KlimYear:
1980
Language:
english
DOI:
10.1145/800139.804546
File:
PDF, 712 KB
english, 1980