[Inputs]
Int2
RegWrite
CLK
=ReadReg1[3:0]=
=ReadReg2[3:0]=
=WriteReg[3:0]=
=WriteData[15:0]=
=Int1[15:0]=
[Outputs]
=ReadData1[15:0]=
=ReadData2[15:0]=
=ReadIntReg[15:0]=
[BiDir]
[ATTRIBUTES]
VeriModel RegFile

