Evolutionary synthesis of combinational digital circuits is a promising research area and many a success has been achieved in this field. This paper presents a new technique for the synthesis of ...

This library can in turn be used to verify the structural view of any arbitrary combinational circuit against its behavior with very minimal user-guidance. For illustration, we verified several ...