Searching for authors named "Jason Baumgartner" – sorted by Relevance.
21 documents found, showing 1 through 10.
Next 10 →
-
Min-area retiming on flexible circuit structures
- …Min-Area Retiming on Flexible Circuit Structures Jason Baumgartner IBM Enterprise Systems Group…
- Cited by 18 (5 self) – Add To MetaCart
-
Enhanced Diameter Bounding via Structural Transformation
- … of the design is complete. However, a general diameter calculation Jason Baumgartner 1 Andreas Kuehlmann 2 1 IBM…
- Cited by 5 (0 self) – Add To MetaCart
-
An Overview and Application of Model Reduction Techniques in Formal Verification
- … AND APPLICATION OF MODEL REDUCTION TECHNIQUES IN FORMAL VERIFICATION Jason Baumgartner IBM Corporation Austin…
- Cited by 4 (2 self) – Add To MetaCart
-
Transformation-Based Verification Using Generalized Retiming
- …Transformation-Based Verification Using Generalized Retiming Andreas Kuehlmann 1 and Jason…
- Cited by 30 (16 self) – Add To MetaCart
-
Maximal input reduction of sequential netlists via synergistic reparameterization and localization strategies
- … Strategies Jason Baumgartner and Hari Mony IBM Systems & Technology Group, Austin, TX 78758 Abstract…
- Cited by 9 (5 self) – Add To MetaCart
-
Transformation-Based Verification Using Generalized
- …Transformation-Based Verification Using Generalized Retiming Andreas Kuehlmann and Jason…
- Add To MetaCart
-
Scalable Liveness Checking via Property-Preserving Transformations
- …Scalable Liveness Checking via Property-Preserving Transformations Jason Baumgartner Hari Mony IBM…
- Add To MetaCart
-
Treemap, Radial Tree and 3D Tree Visualizations
- …Sheth, Nihar, Börner, Katy, Baumgartner, Jason, Mane, Ketan, Wernert, Eric. (2003). Treemap…
- Cited by 1 (1 self) – Add To MetaCart
-
Model checking the IBM Gigahertz Processor: An abstraction algorithm for high-performance netlists
- … Jason Baumgartner 1 , Tamir Heyman 2 , Vigyan Singhal 3 , and Adnan Aziz 4 1 IBM Corporation, Austin…
- Cited by 12 (2 self) – Add To MetaCart
-
Automatic Structural Abstraction Techniques for Enhanced Verification
- …Copyright by Jason Raymond Baumgartner 2002 The Dissertation Committee for Jason Raymond…
- Cited by 4 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
