ATLAS: Automatic Term-level abstraction of RTL designs.

Bryan A. Brady, Randal E. Bryant, Sanjit A. Seshia, John W. O'Leary

Browse the full MEMOCODE paper archive.