Making Fast Hardware with Separation Logic (2010)

by B Cook, S Magill, M Raza, J Simsa, S Singh