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

@inproceedings{pub16693,
    author = {

Nadeem, Mohamed
 and 

Jha, Chandan
 and 

Drechsler, Rolf
},
    title = {Late Breaking Results: PolyRAD - Polynomial Formal Verification of Restoring Array Dividers},
    booktitle = {Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), April 20-22, Verona, Italy
},
    year = {2026}
}