FastLEC: Parallel Datapath Equivalence Checking with Hybrid Engines
Authors 4
-
Chinese Academy of Sciences · Institute of Software
Affiliation as printed
Institute of Software, Chinese Academy of Sciences
-
Furong Ye Aachen
Affiliation as printed
LIACS, Leiden University
-
Chinese Academy of Sciences · Institute of Software
Affiliation as printed
Institute of Software, Chinese Academy of Sciences
-
Chinese Academy of Sciences · Institute of Software · Beihang University
Affiliation as printed
Institute of Software, Chinese Academy of Sciences
Beihang University
Cited by 0 stored of 0
No patents citing this paper on Lens.org (checked 2026-10-11).