Late Breaking Results: PolyRAD - Polynomial Formal Verification of Restoring Array Dividers.

Mohamed A. Nadeem, Chandan Kumar Jha, Rolf Drechsler

Browse the full DATE paper archive.