checking package dependencies
compiling Word64Test_sat-stp.bsv
code generation for sysWord64Test starts
Warning: "Word64Test_sat-stp.bsv", line 6, column 8: (G0010)
  Rule "aa" was treated as more urgent than "bb". Conflicts:
    "aa" cannot fire before "bb": calls to uc.write vs. uc.read
    "bb" cannot fire before "aa": calls to uc.write vs. uc.read
=== schedule:
parallel: [esposito: [RL_aa -> [], RL_ab -> [], RL_bb -> [RL_aa]]]
order: [RL_aa, RL_ab, RL_bb]

-----

=== resources:
[(ua.read, [(ua.read, 1)]),
 (uc.read, [(uc.read, 1)]),
 (uc.write, [(uc.write x__h248, 1), (uc.write x__h307, 1), (uc.write x__h373, 1)])]

-----

=== vschedinfo:
SchedInfo [] [] [] []

-----

Schedule dump file created: sysWord64Test.sched
=== Generated schedule for sysWord64Test ===

Rule schedule
-------------
Rule: aa
Predicate: ua[63:31] == 33'h1FFFFFFFF
Blocking rules: (none)
 
Rule: ab
Predicate: ua[63:31] == 33'hFFFFFFFF
Blocking rules: (none)
 
Rule: bb
Predicate: (ua[63:62] == 2'b11) && (ua[61:31] == 31'h7FFFFFFF)
Blocking rules: aa
 
Logical execution order: aa, ab, bb

=============================================
Warning: "Word64Test_sat-stp.bsv", line 22, column 10: (G0021)
  According to the generated schedule, rule `bb' can never fire.
Verilog file created: sysWord64Test.v
All packages are up to date.