Polynomial Formal Verification of Sequential Circuits using Weighted-AIGs

@inproceedings{pub15470,
    author = {

Nadeem, Mohamed
 and 

Jha, Chandan Kumar
 and 

Drechsler, Rolf
},
    title = {Polynomial Formal Verification of Sequential Circuits using Weighted-AIGs},
    booktitle = {Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31-April 2, Lyon, France},
    year = {2025}
}