Publications

10 results for S.M. German

Solutions to IBM POWER8 verification challenges
- - Klaus-Dieter Schubert
  - John M. Ludden
  - et al.
- 2015
- IBM J. Res. Dev
A theory of abstraction for arrays
- - Steven M. German
- 2011
- FMCAD 2011
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
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
Introduction to the special issue on verification of arithmetic hardware
- - S.M. German
- 1999
- Formal Methods in System Design
Verifying the SRT division algorithm using theorem proving techniques
- - Edmund M. Clarke
  - Steven M. German
  - et al.
- 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