Close

Session

Research Manuscript: Verified Visions: New Frontiers in Formal Assurance
Session Chair
Nan Wu
University of California, Santa Barbara
DescriptionThis section highlights significant progress in formal verification methodologies, ranging from SAT solvers to lemma prediction and safety model checking. The papers surpass traditional techniques by proposing unique binary decision diagrams, scalable solutions based on symbolic approaches and machine learning. If you are keen to discover the future of verification, make sure you don't miss it!
Event TypeResearch Manuscript
TimeThursday, June 2710:30am - 12:00pm PDT
Location3004, 3rd Floor
Topics
EDA
Keywords
Design Verification and Validation
Presentations
10:30am - 10:45am PDTRexBDDs: Reduction-on-Edge Complement-and-Swap Binary Decision Diagrams
Authors
Gianfranco Ciardo
Andrew Miner
Lichuan Deng
Junaid Babar
10:45am - 11:00am PDTNeuroSelect: Learning to Select Clauses in SAT Solvers
Authors
Hongduo Liu
Peng Xu
Yuan Pu
Lihao Yin
Hui-Ling Zhen
Mingxuan Yuan
Tsung-Yi Ho
Bei Yu
11:00am - 11:15am PDTPredicting Lemmas in Generalization of IC3
Authors
Yuheng Su
Qiusong Yang
Yiwei Ci
11:15am - 11:30am PDTEngineering an Efficient Preprocessor for Model Counting
Authors
Mate Soos
Kuldeep S Meel
11:30am - 11:45am PDTSymbolic Quick Error Detection by Semantically Equivalent Program Execution
Authors
Yufeng Li
Qiusong Yang
Yiwei Ci
Enyuan Tian
11:45am - 12:00pm PDTFormally Verifying Arithmetic Chisel Designs for All Bit Widths at Once
Authors
Weizhi Feng
Yicheng Liu
Jiaxiang Liu
David Jansen
Lijun Zhang
Zhilin Wu