Jason R. Baumgartner, Ph.D.
Affiliations: | 2002 | University of Texas at Austin, Austin, Texas, U.S.A. |
Area:
Computer ScienceGoogle:
"Jason Baumgartner"Parents
Sign in to add mentor| Jacob A. Abraham | grad student | 2002 | UT Austin | |
| (Automatic structural abstraction techniques for enhanced verification.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Gott RM, Baumgartner JR, Roessler P, et al. (2005) Functional formal verification on designs of pSeries microprocessors and communication subsystems Ibm Journal of Research and Development. 49: 565-580 |
| Mony H, Baumgartner J, Aziz A. (2005) Exploiting constraints in transformation-based verification Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3725: 269-284 |
| Baumgartner J, Mony H. (2005) Maximal input reduction of sequential netlists via synergistic reparameterization and localization strategies Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3725: 222-237 |
| Ludden JM, Roesner W, Heiling GM, et al. (2002) Functional verification of the POWER4 microprocessor and POWER4 multiprocessor systems Ibm Journal of Research and Development. 46: 53-76 |