#PolyVer
LightNews LightNews
noerdman.bsky.social
#ISED2024 - looking forward to deliver a #keynote on "Towards Polynomial Formal Verification of Neuromorphic Architectures" at International Conference on Intelligent Systems and Embedded Design (ISED) tomorrow 2024.isedconf.org/index.php/sp... @unibremen.bsky.social @dsc-ub.bsky.social #PolyVer
December 20, 2024 at 9:37 AM
noerdman.bsky.social
Our paper in Information Processing Letters on "Lower bound proof for the size of BDDs representing a shifted addition" is available #online www.sciencedirect.com/science/arti... #PolyVer #verification #IPL
April 11, 2025 at 7:27 AM
noerdman.bsky.social
#INCOWOCO2025 - looking forward to giving a #keynote on "Polynomial Formal Verification: Towards Efficient and Provable System Design" at 2025 IEEE International Conference for Women in Computing next week incowoco.com/keynote/ @unibremen.bsky.social @dfki.bsky.social #PolyVer #verification
November 7, 2025 at 10:01 AM
noerdman.bsky.social
#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
January 2, 2025 at 2:58 PM
noerdman.bsky.social
#LATS2025 - #keynote at the 26th IEEE Latin American Test Symposium 2025, March 11-14, San Andrés Island, Colombia on "Preserving and Improving Verifiability of Circuits based on Local Transformations" cas.polito.it/LATS2025/pro... @unibremen.bsky.social #PolyVer #test #verification
March 12, 2025 at 8:37 PM
noerdman.bsky.social
Our paper in Microprocessors and Microsystems on "Polynomial formal verification parameterized by cutwidth properties of a circuit using Boolean satisfiability" is now available #online as #OpenAccess www.sciencedirect.com/science/arti... @unibremen.bsky.social @elsevierconnect.bsky.social #PolyVer
September 8, 2025 at 10:50 AM
noerdman.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
March 27, 2024 at 10:35 AM
noerdman.bsky.social
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
September 18, 2024 at 12:31 PM
noerdman.bsky.social
Final version of our paper in Information Processing Letters on "Lower Bound Proof for the Size of BDDs representing a Shifted Addition" now available #online as #OpenAccess sciencedirect.com/science/arti... @unibremen.bsky.social #verification #PolyVer @elsevierconnect.bsky.social
February 19, 2025 at 8:18 AM
noerdman.bsky.social
#DSD2025 - Jan Kleinekathöfer from #AGRA @unibremen.bsky.social presenting our paper on "Automatic Polynomial Formal Verification of a Floating Point Multiplier" dsd-seaa.com/dsd2025/ @dsc-ub.bsky.social @dfki.bsky.social #PolyVer #verification
September 15, 2025 at 6:25 AM
noerdman.bsky.social
#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
March 25, 2024 at 4:28 PM
cspl-bot.bsky.social
(CEGIS) until the property is verified or a true system-level counterexample is found. We demonstrate the utility of PolyVer for verifying programs in the Lingua Franca polyglot language using the UCLID5 model checker connected with the CBMC [7/8 of https://arxiv.org/abs/2503.03207v1]
March 6, 2025 at 6:00 AM
noerdman.bsky.social
#ISDCS2025 - #keynote on "Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification" at the 7th International Symposium on Devices, Circuits and Systems; paper is available on #arxiv arxiv.org/abs/2505.23311 @unibremen.bsky.social @dfki.bsky.social #LLM #LLMs #PolyVer
May 30, 2025 at 8:17 AM
noerdman.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
March 7, 2025 at 8:57 AM
sadworld.bsky.social
Polivierre changed his last name pronunciation used to be Polyver. ...I digress is running on a Maga Dictator Platform that Trump ran on.
April 16, 2025 at 3:57 AM
noerdman.bsky.social
Our paper in Information Processing Letters on "Lower Bound Proof for the Size of BDDs representing a Shifted Addition" is available #online www.sciencedirect.com/science/arti... @unibremen.bsky.social @dfki.bsky.social @dsc-ub.bsky.social #verification #PolyVer @elsevierconnect.bsky.social
February 17, 2025 at 9:23 AM
noerdman.bsky.social
#DVConEurope2025 - today Lennart Weingarten from @unibremen.bsky.social presents on "Transformation-Aided Verification of MAC Designs using Symbolic Compute Algebra" at #DVConEurope; paper available #online at agra.informatik.uni-bremen.de/doc/konf/DVC... #verification #PolyVer @dfki.bsky.social
October 15, 2025 at 5:54 AM
noerdman.bsky.social
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
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...
royalsocietypublishing.org
February 21, 2025 at 6:59 AM
noerdman.bsky.social
#RSP2023 - our paper published at the 34th International Workshop on Rapid System Prototyping on "#PolynomialFormalVerification exploiting Constant Cutwidth" is now available #online as #freeaccess dl.acm.org/doi/10.1145/... @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social #PolyVer
June 24, 2024 at 1:53 PM
noerdman.bsky.social
On Friday this week: presenting on "#PolynomialFormalVerification: Ensuring Correctness under Resource Constraints" at IEEE Education Week - #registration is open ieee-ceda.org/event/polyno...
@unibremen.bsky.social @dfki.bsky.social @dsc-ub.bsky.social #PolyVer #verification
April 16, 2024 at 6:16 AM
forsenad.nu
Polyver överallt
December 25, 2024 at 1:50 PM
noerdman.bsky.social
Our paper in IEEE Transactions on Circuits and Systems I on "Polynomial Formal Verification of Multi-Valued Approximate Circuits Within Constant Cutwidth" is available #online ieeexplore.ieee.org/document/108... @unibremen.bsky.social @dsc-ub.bsky.social @dfki.bsky.social #PolyVer #verification
February 3, 2025 at 8:43 AM
noerdman.bsky.social
#VLSID2024 - giving my #keynote on "#PolynomialFormalVerification for Ensuring Processor Correctness" vlsid.org/confernce-de...
@dsc-ub.bsky.social #verification #PolyVer
January 10, 2024 at 7:09 AM
cspl-bot.bsky.social
transitions are implemented in target languages such as C or Rust. To perform verification, PolyVer then connects a model checker for transition systems with language-specific verifiers (e.g., for C or Rust) using pre/post-condition contracts [4/8 of https://arxiv.org/abs/2503.03207v1]
March 6, 2025 at 5:59 AM
audiopluginguy.com
Product Update: Polyverse Releases Filterverse 1.2 with Five New Filter Modules. #APGNews

www.audiopluginguy.com/news-polyver...
Polyverse Releases Filterverse 1.2 with Five New Filter Modules.
Polyverse Releases Filterverse 1.2 with Five New Filter Modules.
www.audiopluginguy.com
July 10, 2025 at 10:31 AM