Title :
An improved column compatibility approach for partition based functional decomposition
Author :
Ventatesan, M. ; Bignall, Robert ; Sevvaraj, H.
Author_Institution :
Monash Univ., Clayton, Vic., Australia
Abstract :
The paper deals with the problem of generating compatible pairs of a k-block partition P(B)=(B1, B2, ..., Bk ), where B is the bound set. Compatible and incompatible pairs of block partitions of P(B) are generated by a partition calculus based approach called the Block Compatible Approach. The compatible block partitions generate a compatibility graph that can be solved using clique partition algorithms. The incompatible block partitions form an incompatibility graph, which can be solved using a graph colouring algorithm or maximum independent set (MIS) partition algorithm
Keywords :
formal logic; graph colouring; optimisation; set theory; Block Compatible Approach; MIS partition algorithm; block partitions; bound set; clique partition algorithms; column compatibility approach; compatibility graph; compatible block partitions; compatible pairs; graph colouring algorithm; incompatibility graph; incompatible block partitions; incompatible pairs; k-block partition; maximum independent set; partition based functional decomposition; partition calculus based approach; Arthritis; Calculus; Encoding; Logic circuits; Logic design; Minimization; Partitioning algorithms; Postal services; Principal component analysis; Size measurement;
Conference_Titel :
Euromicro Conference, 2000. Proceedings of the 26th
Conference_Location :
Maastricht
Print_ISBN :
0-7695-0780-8
DOI :
10.1109/EURMIC.2000.874617