Text this: Problems and solutions in logic design /