4 citations · 29 across the 20 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015
Equivalence Checking By Logic Relaxation
Eugene Goldberg
We introduce a new framework for Equivalence Checking (EC) of Boolean circuits based on a general technique called Logic Relaxation (LoR). The essence of LoR is to relax the formul…
cs.LO2015★ 4 cited
Equivalence Checking and Simulation By Computing Range Reduction
Eugene Goldberg
We introduce new methods of equivalence checking and simulation based on Computing Range Reduction (CRR). Given a combinational circuit , the CRR problem is to compute the set o…