#ICMETE2025 - presentation of #keynote at 9th International Conference on Micro-electronics and Telecommunication Engineering on #PolynomialFormalVerification for floating-point units icmete.in/index.php @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social #ICMETE #ICMETE25

ICMETE ICMETE 2025 at SRM Institute - 9th International Conference on Micro-electronics and Telecommunication Engineering

#ICMETE2025 - #keynote at 9th International Conference on Micro-electronics and Telecommunication Engineering on #PolynomialFormalVerification for floating-point units www.icmete.in/index.php @unibremen.bsky.social @dfki.bsky.social

#DATE2025 - Mohamed Nadeem from @unibremen.bsky.social presents on "Polynomial Formal Verification of Sequential Circuits using Weighted-AIGs" agra.informatik.uni-bremen.de/doc/konf/DAT... #verification #FormalVerification #PolyVer #PolynomialFormalVerification @dfki.bsky.social

Our paper in IEEE Transactions on Nanotechnology on "Polynomial Formal Verification of a RISC-V Processor" is available #online ieeexplore.ieee.org/document/109... @unibremen.bsky.social @dsc-ub.bsky.social #verification #PolynomialFormalVerification #PolyVer #riscv #risc @riscv.org.web.brid.gy

Automated polynomial formal verification using generalized binary decision diagram patterns | Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences With the ongoing digitization, digital circuits have become increasingly present in everyday life. However, as circuits can be faulty, their verification poses a challenging but essential challenge. I...

Our paper in Philosophical Transactions of the Royal Society on "Automated polynomial formal verification using generalized binary decision diagram patterns" now available royalsocietypublishing.org/doi/10.1098/... @unibremen.bsky.social #PolyVer #verification #PolynomialFormalVerification

#AIIOT2025 - delivering #keynote on "Polynomial Formal Verification of AI Chips" at the International Symposium on Artificial Intelligence and Internet of Things aiiot2025.iiests.ac.in
@unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social #PolyVer #verification #PolynomialFormalVerification

#AIIOT2025 - #keynote at the International Symposium on Artificial Intelligence and Internet of Things on "Polynomial Formal Verification of AI Chips"
aiiot2025.iiests.ac.in @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social #PolyVer #verification #PolynomialFormalVerification

Our article in Foundations and Trends® in Electronic Design Automation on "Polynomial Formal Verification of Arithmetic Circuits" now also available in printed form www.nowpublishers.com/article/Deta... @unibremen.bsky.social @dsc-ub.bsky.social #PolyVer #verification #PolynomialFormalVerification

#IWSBP2024 - Luca Mueller presenting on "SAT can Ensure Polynomial Bounds for the Verification of Circuits with Limited Cutwidth" informatik.uni-bremen.de/iwsbp/progra... @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social #PolynomialFormalVerification #verification #SAT #PolyVer

Our paper in Foundations and Trends® in Electronic Design Automation on #PolynomialFormalVerification of Arithmetic Circuits is available #online - my first journal paper with more than 70 pages www.nowpublishers.com/article/Deta... @unibremen.bsky.social @dsc-ub.bsky.social #PolyVer #verification

Presenting today on "Polynomial Formal Verification: Ensuring Correctness Efficiently" at the #HongKong EDA Workshop edacenter.cse.cuhk.edu.hk/workshop2.html #verification #PolyVer #PolynomialFormalVerification @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social

#DATE2024 - Lennart Weingarten from @unibremen.bsky.social presenting on "Complete and Efficient Verification for a RISC-V Processor using Formal Verification" agra.informatik.uni-bremen.de/doc/konf/DAT... @dfki.bsky.social @dsc-ub.bsky.social #dateconf #riscv #PolynomialFormalVerification #PolyVer

#DATE2024 - presentation by Caroline Dominik showing that #PolynomialFormalVerification can be carried out not only for #combinational but also for #sequential circuits
agra.informatik.uni-bremen.de/doc/konf/DAT...
@unibremen.bsky.social @dfki.bsky.social @dsc-ub.bsky.social #PolyVer #dateconf

#VLSIDesign2024 - looking forward to going to #India soon to present on #formal proof techniques and #PolynomialFormalVerification at a #tutorial and a #keynote, resp. vlsid.org/confernce-de...
#PolyVer #verification

#PEEIC2023 - #keynote talk on #PolynomialFormalVerification at the 3rd International Conference on "Power Energy, Environment and Intelligent Control" glbitm.org/peeic2023/in...
#PolyVer #verification