Zaslat SMS: Circuit analysis by computer from Algorithms to package /