The Many Flavors of Equivalence Checking: Part 1, Synthesis Validation with LEC and SLEC (a/k/a the Most Popular Formal Apps Ever) - Verification Horizons
Bounded Model Checking for RTL Circuits Based on Algorithm Abstraction Refinement | Semantic Scholar