Login / Signup

Word-Level Equivalence Checking in Bit-Level Accuracy by Synthesizing Designs onto Identical Datapath.

Tasuku NishiharaTakeshi MatsumotoMasahiro Fujita
Published in: IEICE Trans. Inf. Syst. (2009)
Keyphrases