Travelled to:1 × Germany
Collaborated with:M.A.Thornton D.M.Miller
Talks about:logic (2) irrevers (1) partial (1) equival (1) circuit (1) symbol (1) revers (1) redund (1) detect (1) check (1)
Person: David Y. Feinstein
DBLP: Feinstein:David_Y=
Contributed to:
2008Wrote 1 papers:
- DATE-2008-FeinsteinTM #detection #equivalence #logic #using
- Partially Redundant Logic Detection Using Symbolic Equivalence Checking in Reversible and Irreversible Logic Circuits (DYF, MAT, DMM), pp. 1378–1381.