Skip to content
ac91742-2023-02-23
f8878684 · Formal verification: Accept identical netlists as equivalent & initialize registers to 0 (#1531) ·