Implementation and verification of decoder/de-multiplexer and encoder using logic gates.