A theory of abstraction for arrays
- Steven M. German
- 2011
- FMCAD 2011
Publications
This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.
Date
Featured collections
Popular topics
10 results for S.M. German
Multicore power management: Ensuring robustness via early-stage formal verification
- Anita Lungu
- Pradip Bose
- et al.
- 2009
- MEMOCODE 2009
Transaction based modeling and verification of hardware protocols
- Xiaofang Chen
- Steven M. German
- et al.
- 2007
- FMCAD 2007
Solutions to IBM POWER8 verification challenges
- Klaus-Dieter Schubert
- John M. Ludden
- et al.
- 2015
- IBM J. Res. Dev
Functional verification of the z990 superscalar, multibook microprocessor complex
- Dean G. Bair
- Steven M. German
- et al.
- 2004
- IBM J. Res. Dev
Formal design of cache memory protocols in IBM
- Steven M. German
- 2003
- Formal Methods in System Design
Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic
- Randal E. Bryant
- Steven German
- et al.
- 2001
- ACM TOCL
Verifying the SRT division algorithm using theorem proving techniques
- Edmund M. Clarke
- Steven M. German
- et al.
- 1999
- Formal Methods in System Design
Introduction to the special issue on verification of arithmetic hardware
- S.M. German
- 1999
- Formal Methods in System Design
Reasoning about procedures as parameters in the language L4
- Steven M. German
- Edmund M. Clarke
- et al.
- 1989
- Information and Computation