data/full_repos/permissive/135109538/addrselect.v
data/verilator_xmls/9d8d8474-a341-46b3-a690-db0fafa0aec1.xml
module addrselect(
  input  [2:0] addr,
  input  [2:0] aBus,
  output enable
);

 
  assign enable = (aBus == ~addr) ? 1 : 0;
endmodule
module addrselect(
  input  [2:0] addr,
  input  [2:0] aBus,
  output enable
);


 
  assign enable = (aBus == ~addr) ? 1 : 0;
endmodule