Sol Swords

4 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.

Microcode Verification – Another Piece of the Microprocessor Verification Puzzle

Jared Davis and others (2014) · Lecture Notes in Computer Science · Springer International Publishing

Verified AIG Algorithms in ACL2

Jared Davis and others (2013) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association

A Flexible Formal Verification Framework for Industrial Scale Validation

Anna Slobodová and others (2011) · 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2011) · IEEE

Bit-Blasting ACL2 Theorems

Sol Swords and others (2011) · Electronic Proceedings in Theoretical Computer Science · Open Publishing Association