Ted Stanion

Publication Activity (10 Years)

Years Active: 1991-2003
Publications (10 Years): 0

Publications

Per Bjesse, James H. Kukula, Robert F. Damiano, Ted Stanion, Yunshan Zhu
Guiding SAT Diagnosis with Tree Decompositions. SAT (2003)
Demos Anastasakis, Robert F. Damiano, Hi-Keung Tony Ma, Ted Stanion
A practical and efficient method for compare-point matching. DAC (2002)
Ted Stanion
Implicit Verification of Structurally Dissimilar Arithmetic Circuits. ICCD (1999)
Ted Stanion, Carl Sechen
A Method for Finding Good Ashenhurst Decompositions and Its Application to FPGA Synthesis. DAC (1995)
Ted Stanion, Carl Sechen
Quasi-algebraic decompositions of switching functions. ARVLSI (1995)
Ted Stanion, Debashis Bhattacharya, Carl Sechen
An efficient method for generating exhaustive test sets. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14 (12) (1995)
Ted Stanion, Carl Sechen
Boolean division and factorization using binary decision diagrams. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 13 (9) (1994)
Ted Stanion, Carl Sechen
Maximum projections of don't care conditions in a Boolean network. ICCAD (1993)
Ted Stanion, Debashis Bhattacharya
TSUNAMI: A Path Oriented Scheme for Algebraic Test Generation. FTCS (1991)