8:43Equivalence Checking of Dynamic Quantum Circuits | | JuliaCon 2024The Julia Programming Language220 viewsView & Download
1:21Semantic-Equivalence Checking of Decompiled BinariesSoftware Engineering Institute | Carnegie Mellon University1.2K viewsView & Download
21:50PART 2: Logical Equivalence Check (LEC) using Cadence Conformal ToolVLSI Tool Box10.4K viewsView & Download
20:05ML 2021 - Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to TechniquesACM SIGPLAN133 viewsView & Download
3:32What Is Comparison in Conformal Equivalence Checker?Cadence Design Systems163 viewsView & Download