DEEDS: a tool for PBL in digital electronics.