Functional formal verification on designs of pSeries microprocessors and communication subsystems.
| Autor: | Gott, R. M.1 gott@us.ibm.com, Baumgartner, J. R.2 baumgarj@us.ibm.com, Roessler, P.2 roessler@us.ibm.com, Joe, S. I.1 soonjoe@us.ibm.com |
|---|---|
| Zdroj: | IBM Journal of Research & Development. Jul/Aug2005, Vol. 49 Issue 4/5, p565-580. 16p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|