A theory of abstraction for arrays
- Steven M. German
- 2011
- FMCAD 2011
Publications
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