Tabular techniques for generating Kronecker expansions

IEE Proceedings: Computers and Digital Techniques

Volumn 143, Issue 4, 1996, Pages 205-212

  Aimaini, A E A ^a   McKenzie, L ^a  

^a EDINBURGH NAPIER UNIVERSITY   (United Kingdom)

Author keywords

Krotiecker expansions; Reeit mii er expansions

Indexed keywords

BOOLEAN FUNCTIONS; GRAPH THEORY; HEURISTIC METHODS; MATRIX ALGEBRA; OPTIMIZATION; SWITCHING FUNCTIONS; VECTORS;

EXTENDED FUNCTION VECTORS; KRONECKER EXPANSIONS; REED-MULLER EXPANSION; TABULAR TECHNIQUES;

ALGORITHMS;

EID: 0030196499     PISSN: 13502387     EISSN: None     Source Type: Journal    
DOI: 10.1049/ip-cdt:19960564     Document Type: Article

References (16)

1. ALMAINI, A.E.A., THOMSOM, P., and HANSON, D.: Tabular techniques for Reed-Muller logic', Int. J. Electron., 1991, 70, (1), pp. 23-34
2. BIOUL, G., DAVID, M., and DESCHAMPS, J.P.: 'Minimisation of ring-sum expansions of Boolean functions', Philips Res. Rep., 1973, 28, pp. 17-36
3. GREEN, D.H.: 'Reed-Muller canonical forms with mixed polarity and their manipulations', IEE Proc. E, 1990, 137, (1), pp. 103-113
4. GREEN, D.H.: 'Families of Reed-Muller canonical forms', Int. J. Electron., 1991, 70, (2), pp. 259-280
5. GREEN, D.H., and KHUWAJA, G.A.: 'Simplification of switching functions expressed in Reed-Muller algebraic form', IEE Proc. E, 1992, 139, (6), pp. 511-518
6. LUI, P.K., and MUZIO, J.C.: 'Boolean matrix transforms for the minimisation of modulo-2 canonical expansions', IEEE Trans., 1992, C-41, (3), pp. 342-347
7. FLEISHER, H., TAVEL, M., and YEAGER, J.: 'Exclusive-OR representations of Boolean functions', IBM J. Res. Developm. 1983, 27, (4), pp. 412-415
8. SARABI A., HO P.P., IRAVANI, K., DAASCH, W.R., and PERKOWSKI, M.A.: 'Multi-level realisation of switching functions based on Kronecker decision diagrams'. Proceedings of international Workshop on Logic Synthesis} 1993, pp. 3al-3a6
9. SASAO, T.: 'Logic synthesis and optimisation' (Kluwer Academic Publishers, 1993)
10. TRAN, A., and WANG, J.: 'Decomposition method for minimisation of Reed-MuIIer polynomials in mixed polarity', IEE Proc. E, 1993, 140, (1), pp. 65-68
11. LIN, T.-L., and TRAN, A.: 'Minimisation of multiple-output exclusive-OR switching functions', Int. J. Electron., 1993, 75, (4), pp. 665-674
12. GREEN, D.H., and KHUWAJA, G.A.: 'Tabular simplification method for switching functions expressed in Reed-Muller algebraic form', Int. J. Electron., 1993, 75, (2), pp. 297-314
13. TRAN, A., and LEE, E.: 'Generalisation of tri-state map and a composition method for minimisation of Reed-Muller polynomials in mixed polarity', IEE Proc. E, 1993, 140, (1), pp. 59-64
14. RIEGE, M.W., and BESSLICH, PH.W.: 'Low-complexity synthesis of incompletely specified multiple-output mod-2 sums', IEE Proc. E, 1992, 139, (4), pp. 355-362
15. PERKOWSKI, M., and CHRZANOWSKA-JESKE, M.: 'An exact algorithm to minimise mixed-radix exclusive sums of products for incompletely specified Boolean functions'. Proceedings of international symposium on Circuits ami Systems (ISCAS '90), 1990, pp. 1652-1655
16. MCKENZIE, L., ALMAINI, A.E.A., MILLER, J.F., and THOMSON, P.: 'Optimisation of Reed-Muller logic functions', Int. J. Electron., 1993, 75, (3), pp. 451-466