Our paper in ACM Transactions on Design Automation of Electronic Systems ( #TODAES ) on "Linear Formal Verification of Sequential Circuits using Weighted-AIGs" is available #online as #OpenAccess dl.acm.org/doi/10.1145/... @unibremen.bsky.social @dfki.bsky.social #PolyVer #verification

Our paper in #ACM Transactions on Design Automation of Electronic Systems ( #TODAES ) on "Advanced And-Inverter Graph Decomposition Technique for Reducing Circuit Complexity" is available #online as #OpenAccess dl.acm.org/doi/10.1145/... #PolyVer @unibremen.bsky.social #verification

ConfiBench: Automatic Testbench Generation with Confidence-Based Scenario Mask and Testbench Ensemble using LLMs for HDL Design | ACM Transactions on Design Automation of Electronic Systems Functional simulation is an essential step in digital hardware design. Recently, there has been a growing interest in leveraging Large Language Models (LLMs) for hardware testbench generation tasks. H...

Our paper in ACM #TODAES on "ConfiBench: Automatic Testbench Generation with Confidence-Based Scenario Mask and Testbench Ensemble using LLMs for HDL Design" is available #online as #OpenAccess dl.acm.org/doi/10.1145/... @unibremen.bsky.social @dfki.bsky.social @dsc-ub.bsky.social #LLM #LLMs

LLM-assisted Bug Identification and Correction for Verilog HDL | ACM Transactions on Design Automation of Electronic Systems As technology continues to advance, it becomes increasingly integrated into daily life facilitating complex tasks across a range of environments. While some applications such as smartphones and smartw...

Our paper in ACM Transactions on Design Automation of Electronic Systems on "LLM-assisted Bug Identification and Correction for Verilog HDL" is published in the November issue dl.acm.org/doi/10.1145/... @unibremen.bsky.social @dfki.bsky.social #LLM #verification #debugging #correction #TODAES

Our paper in ACM Transactions on Design Automation of Electronic Systems ( #TODAES ) on "LLM-assisted Bug Identification and Correction for Verilog HDL" is available #online as #openaccess dl.acm.org/doi/10.1145/... @unibremen.bsky.social @dsc-ub.bsky.social @noerdman.bsky.social #LLMs #debugging