Travelled to:1 × France
4 × Germany
Collaborated with:R.Drechsler K.Fazel R.B.Reese D.Y.Feinstein D.M.Miller C.Traver J.P.Williams N.Drechsler
Talks about:logic (3) use (3) diagram (2) circuit (2) decis (2) transform (1) asynchron (1) spectral (1) irrevers (1) variabl (1)
Person: Mitchell A. Thornton
DBLP: Thornton:Mitchell_A=
Contributed to:
20082003200220011999Wrote 5 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.
- DATE-2003-FazelTR #design #logic #named #visualisation
- PLFire: A Visualization Tool for Asynchronous Phased Logic Designs (KF, MAT, RBR), pp. 11096–11097.
- DATE-2002-ThorntonFRT #evaluation #self
- Generalized Early Evaluation in Self-Timed Circuits (MAT, KF, RBR, CT), pp. 255–259.
- DATE-2001-ThorntonD #diagrams #graph transformation #using
- Spectral decision diagrams using graph transformations (MAT, RD), pp. 713–719.
- DATE-1999-ThorntonWDD #diagrams #order #using
- Variable Reordering for Shared Binary Decision Diagrams Using Output Probabilities (MAT, JPW, RD, ND), pp. 758–759.