added assertion of output signals based on opcode into control module