Genetic algorithm-based FSM synthesis with area-power trade-offs. - Saurabh Chaudhury; Krishna Teja Sistla; Santanu Chattopadhyay (Integr., 2009)