Kenneth Fazel
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Kenneth Fazel has a total of 4 co-authors. Here are the top co-authors by number of shared publications:
- Mitchell Aaron Thornton
Darwin Deason Institute for Cyber Security Southern Methodist University 6425 Boaz Lane 75205 Dallas TX USA
2 shared publications - D. Michael Miller
University of Victoria
1 shared publication - Jacqueline E. Rice
University of Lethbridge,Department of Math and Computer Science,Alberta,Canada
1 shared publication - Jason Moore
Computer Science and Engineering, Southern Methodist University, Dallas, TX
1 shared publication
Latest Publications
- 1 August 2007
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 15555798,p. 206-209
ESOP-based Toffoli Gate Cascade Generation
An ESOP-based Toffoli gate cascade synthesis algorithm is presented. The algorithm is capable of generating a cascade of reversible gates for logic functions with large numbers of qubits. The algorithm is fast as it uses a simple cost metric heuristic during a recursive divide-and-conquer function to determine NOT and Toffoli gate placement.
- 1 August 2007
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 15555798,p. 206-209
ESOP-based Toffoli Gate Cascade Generation
An ESOP-based Toffoli gate cascade synthesis algorithm is presented. The algorithm is capable of generating a cascade of reversible gates for logic functions with large numbers of qubits. The algorithm is fast as it uses a simple cost metric heuristic during a recursive divide-and-conquer function to determine NOT and Toffoli gate placement.
- 1 October 2006
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 127-130
Boolean Function Matching using Walsh Spectral Decision Diagrams
This paper investigates two approaches for Boolean matching using NPN equivalence matching. Luks' hypergraph method is implemented and compared to the Walsh spectral decision diagram (SDD) method that we propose here. Both methods determine a canonical representation for each NPN equivalence class. The target functions are then transformed into a canonical representation and compared to the representative canonical forms for the NPN classes. This paper presents the implementation and results of the spectral method in detail. It is shown that the spectral method compares favorably to Luks' method and is better in terms of computational requirements for large functions
- 1 October 2006
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 127-130
Boolean Function Matching using Walsh Spectral Decision Diagrams
This paper investigates two approaches for Boolean matching using NPN equivalence matching. Luks' hypergraph method is implemented and compared to the Walsh spectral decision diagram (SDD) method that we propose here. Both methods determine a canonical representation for each NPN equivalence class. The target functions are then transformed into a canonical representation and compared to the representative canonical forms for the NPN classes. This paper presents the implementation and results of the spectral method in detail. It is shown that the spectral method compares favorably to Luks' method and is better in terms of computational requirements for large functions