Describir: Switching Circuits and Logical Design