Digital logic simulation with compressed BDDs.
| Autor: | Ubar, R., Mironov, D., Devadze, S., Raik, J., Jutman, A. |
|---|---|
| Zdroj: | 2011 IEEE International Conference on Computer Science & Automation Engineering (CSAE); 2011, p105-109, 5p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|