Manipulation and optimization techniques for Boolean logic
Journal Article
Al-Jassani, B. A., Urquhart, N. B., & Almaini, A. E. A. (2010)
Manipulation and optimization techniques for Boolean logic. IET computers & digital techniques / IET, 4, 227-239. https://doi.org/10.1049/iet-cdt.2009.0007
In this study, new techniques and algorithms are presented for the derivation and optimisation of mixed polarity Reed Muller (MPRM) and mixed polarity dual Reed Muller (MPDRM)...
Minimization of incompletely specified mixed polarity Reed Muller functions using genetic algorithm.
Conference Proceeding
Al-Jassani, B. A., Urquhart, N. B., & Almaini, A. E. A. (2009)
Minimization of incompletely specified mixed polarity Reed Muller functions using genetic algorithm. https://doi.org/10.1109/12.67320
A New and efficient Genetic Algorithm (GA) based approach is presented to minimise the number of terms of Mixed Polarity Reed Muller (MPRM) single and multi output incompletel...
Efficient bidirectional conversion between RM and DFRM expansions
Journal Article
Xu, H., Yang, M., & Almaini, A. E. A. (2008)
Efficient bidirectional conversion between RM and DFRM expansions. The Mediterranean journal of electronics and communications, 4, 84-89
A number of different representations of the Boolean function are used in order to find a good circuit representation in terms of area, speed and power performance. In this pa...
Exact minimization of large fixed polarity dual form of reed-muller functions
Journal Article
Yang, M., Xu, H., Wang, L. Y., Tong, J. R., & Almaini, A. E. A. (2007)
Exact minimization of large fixed polarity dual form of reed-muller functions. Solid-State and Integrated Circuit Technology, 1931-1933. https://doi.org/10.1109/ICSICT.2006.306532
Dual form of Reed-Muller (DFRM) expansions are implemented in OX/XNOR logic, which are based on the features of coincidence operation and are known as fixed polarity Canonical...
Optimization of MPRM functions using tabular techniques and genetic algorithms.
Journal Article
Al-Jassani, B. A., Urquhart, N. B. & Almaini, A. E. A. (2007)
Optimization of MPRM functions using tabular techniques and genetic algorithms. The Mediterranean journal of electronics and communications. 4, 115-125. ISSN 1744-2400
This paper presents new techniques and algorithms to compute and optimize Mixed Polarity Reed Muller logic functions (MPRM) using Tabular techniques and Genetic Algorithms (GA...
An efficient transformation method for DFRM expansions.
Conference Proceeding
Xu, H., Yang, M., Wang, L. Y., Tong, J. R., & Almaini, A. E. A. (2007)
An efficient transformation method for DFRM expansions. In 7th International Conference on ASIC, 2007. ASICON '07, 1158-1161. https://doi.org/10.1109/ICASIC.2007.4415839
Dual Form of Reed-Muller (DFRM) expansions with fixed poarity are derived from Reed-Muller (RM) expansions by using the operation of Kronecker matrix products. An efficient de...
Decision diagrams using 2 variable nodes.
Journal Article
Oh, P. & Almaini, A. E. A. (2007)
Decision diagrams using 2 variable nodes. WSEAS Transactions on Circuits and Systems. 6, 372-379. ISSN 11092734
This paper outlines two variations of Decision Digrams, the 2VBDD and 2VRMBDD. It outlines the background for BDD and RMBDD expanded with respect to one variable and the new 2...
Optimal expression for fixed polarity dual Reed-Muller forms.
Journal Article
Faraj, K. & Almaini, A. E. A. (2007)
Optimal expression for fixed polarity dual Reed-Muller forms. WSEAS Transactions on Circuits and Systems. 6, 364-371. ISSN 11092734
An algorithm for converting between products of sum (POS) and fixed polarity dual Reed-Muller (FPDRM) is proposed in this paper. This algorithm is used to compute the coeffici...
Minimization of dual Reed-Muller forms using dual property.
Journal Article
Faraj, K., & Almaini, A. E. A. (2007)
Minimization of dual Reed-Muller forms using dual property. WSEAS Transactions on Circuits and Systems, 6, 9-15
We present two algorithms in this paper: the first is used to convert between Product of Sums (POS) and Positive Polarity Dual Reed-Muller (PPDRM) forms; while the second algo...
Fast conversion for large Canonical OR-coincidence functions.
Journal Article
Yang, M., Wang, L. Y. & Almaini, A. E. A. (2006)
Fast conversion for large Canonical OR-coincidence functions. Circuits and Systems. , 1643-1646. doi:10.1109/APCCAS.2006.342080. ISSN 2153-1285
Fixed Polarity Canonical OR-coincidence (COC) expansions based on inclusive-OR and OR operations are dual forms of fixed polarity Reed-Muller expansions. Traditionally, they a...