Outputs (36)

Expansion of logical function in the OR-coincidence system and the transform between it and maxterm expansion. (2003)
Journal Article
Cheng, J., Chen, X., Faraj, K., & Almaini, A. E. A. (2003). Expansion of logical function in the OR-coincidence system and the transform between it and maxterm expansion. IEE proceedings. Computers and digital techniques, 150, 397-402. https://doi.org/10.1049/ip-cdt%3A20030969

Based on the features of coincidence operation, a canonical OR coincidence (COC) expansion of logical functions in the OR-coincidence algebraic system is proposed, and its mapping expression (dj-map) is given. Then two new operations are introduced a... Read More about Expansion of logical function in the OR-coincidence system and the transform between it and maxterm expansion..

Multilevel logic simplification based on containment recursive paradigm. (2003)
Journal Article
Wang, L. Y., & Almaini, A. E. A. (2003). Multilevel logic simplification based on containment recursive paradigm. IEE proceedings. Computers and digital techniques, 150, 218-226. https://doi.org/10.1049/ip-cdt%3A20030575

This paper addresses a number of fundamental concepts and a novel technique for optimising practical multi-level designs for completely and incompletely specified multi-output functions. Multi-level design is the preferred approach in complex VSLI ci... Read More about Multilevel logic simplification based on containment recursive paradigm..

Power minimization of FPRM functions based on polarity conversion (2003)
Journal Article
Xia, Y., Wu, X., & Almaini, A. E. A. (2003). Power minimization of FPRM functions based on polarity conversion. Journal of Computer Science and Technology, 18(3), 325-331. https://doi.org/10.1007/BF02948902

For an n-variable Boolean function, there are 2[to the nth power] fixed polarity Reed-Muller (FPRM) forms. In this paper, a frame of power dissipation estimation for FPRM functions is presented and the polarity conversion is introduced to minimize th... Read More about Power minimization of FPRM functions based on polarity conversion.

Area and power optimization of FPRM function based circuits. (2003)
Presentation / Conference Contribution
Xia, Y., Ali, B., & Almaini, A. E. A. (2003). Area and power optimization of FPRM function based circuits. In Proceedings of the 2003 IEEE INternational Symposium on Circuits and Systems (V329-V332). https://doi.org/10.1109/ISCAS.2003.1206270

In this paper a frame of power dissipation estimation for FPRM function based circuits is presented and polarity conversion is proposed to optimize power and area for FPRM functions. Based on searching optimized polarity, an optimized algotithm is pr... Read More about Area and power optimization of FPRM function based circuits..

Exact minimisation of large multiple output FPRM functions. (2002)
Journal Article
Almaini, A. E. A., & Wang, L. Y. (2002). Exact minimisation of large multiple output FPRM functions. IEE proceedings. Computers and digital techniques, 149, 203-212. https://doi.org/10.1049/ip-cdt%3A20020674

The properties of the polarity for sum-of-products (SOP) expressions of Boolean functions are formally investigated. A transform matrix S is developed to convert SOP expressions from one polarity to another polarity. It is shown that the effect of SO... Read More about Exact minimisation of large multiple output FPRM functions..

Genetic algorithm based state assignment for power and area optimisation. (2002)
Journal Article
Xia, Y., & Almaini, A. E. A. (2002). Genetic algorithm based state assignment for power and area optimisation. IEE proceedings. Computers and digital techniques, 149, 128-133. https://doi.org/10.1049/ip-cdt%3A20020431

The use of assignment to minimise power dissipation and area for finite-state machines is computationally difficult. Most published results show that the reduction of switching activity often trades with area penalty. Two cost functions are introduce... Read More about Genetic algorithm based state assignment for power and area optimisation..

Optimisation of Reed-Muller PLA implementations. (2002)
Journal Article
Wang, L. Y., & Almaini, A. E. A. (2002). Optimisation of Reed-Muller PLA implementations. IEE proceedings. Circuits, devices, and systems, 149, 119-128. https://doi.org/10.1049/ip-cds%3A20020354

Decomposition techniques are utilised for mixed polarity Reed-Muller minimisation, which lead to Reed-Muller programmable logic array implementations for Boolean functions. The proposed algorithm produces a simplified mixed polarity Reed-Muller forma... Read More about Optimisation of Reed-Muller PLA implementations..

Differential CMOS edge-triggered flip-flop with clock gating. (2002)
Journal Article
Xia, Y., & Almaini, A. E. A. (2002). Differential CMOS edge-triggered flip-flop with clock gating. Electronics Letters, 38, 9-11. https://doi.org/10.1049/el%3A20020038

A non-redundant transition clock chain is proposed and applied to differential edge-triggered flip-flops. PSPICE simulation shows that compared to a recently published design the proposed circuit can save power when switching activity of the input si... Read More about Differential CMOS edge-triggered flip-flop with clock gating..

Modulo correlativity and its application in a multiple valued logic system (1998)
Journal Article
Wang, L. Y., Chen, X., & Almaini, A. E. A. (1998). Modulo correlativity and its application in a multiple valued logic system. International Journal of Electronics, 85(5), 561-570. https://doi.org/10.1080/002072198133851

Several new concepts such as pseudoprime and correlativity, are presented. Then modulo subtraction and modulo division, which are very useful in computing the canonical expansion, are proposed in a multiple valued modulo algebra system with either a... Read More about Modulo correlativity and its application in a multiple valued logic system.

Algebraic properties of multiple-valued modulo systems and their applications to current-mode CMOS circuits. (1998)
Journal Article
Wang, L. Y., Chen, X., & Almaini, A. E. A. (1998). Algebraic properties of multiple-valued modulo systems and their applications to current-mode CMOS circuits. IEE proceedings. Computers and digital techniques, 145, 364-368. https://doi.org/10.1049/ip-cdt%3A19982204

The paper presents the concepts of pseudoprime and modulo correlativity and establishes the relationships among completeness of modulo operations, uniqueness of solution of equations, invertibility of a square matrix, and correlativity of vectors in... Read More about Algebraic properties of multiple-valued modulo systems and their applications to current-mode CMOS circuits..