Subversion Repositories or1k-cf

(*
     Instruction fetch unit test harness

     Copyright 2004 Ken Rose
     All rights reserved
*)

environment "/usr/local/Confluence/lib/Logic.cf"

:IF

IF <- import "if.cf"

{IF.T, {VectorInput,  "PC"          1 32, $}
       {VectorInput,  "Mem"         2 32, $}
       {VectorInput,  "BranchPC"    3 32, $}
       {VectorInput,  "BranchTaken" 4  1, $},
       {VectorOutput, "NewPC"       5 $}
       {VectorOutput, "IR"          6 $}
       {VectorOutput, "Iaddr"       7 $}}