Email Record: Problems and solutions in logic design /