Multi-threaded reachability.
| Autor: | Sahoo, Debashis, Jain, Jawahar, Iyer, Subramanian K., Dill, David L., Emerson, E. Allen |
|---|---|
| Zdroj: | DAC: Annual ACM/IEEE Design Automation Conference; Jun2005, p467-470, 4p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Sahoo, Debashis, Jain, Jawahar, Iyer, Subramanian K., Dill, David L., Emerson, E. Allen |
|---|---|
| Zdroj: | DAC: Annual ACM/IEEE Design Automation Conference; Jun2005, p467-470, 4p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|