Latch Inference for Equivalence Checking - researchr publication

researchr

You are not signed in
Sign in
Sign up

Anatol Ursu. Latch Inference for Equivalence Checking. In Gilles Sassatelli, Manfred Glesner, Christophe Bobda, Pascal Benoit, editors, Proceedings of the 3rd International Workshop on Reconfigurable Communication-centric Systems-on-Chip, ReCoSoC 2007, Montpellier, France, June 2007. pages 127-131, Univ. Montpellier II, 2007.

Publication has no abstract

runs on WebDSL