bi: ethmac support

[ekiwi]

I am trying to get ethmac workin.

So far:

 ./target/release/bi -p examples/wishbone/wishbone.prot -p examples/wishbone/ethmac.prot --display-hex --show-waveform-time --wave ../protocols-evaluation/wishbone/ethmac/ethmac.fst --instances tb_ethernet.eth_top.wishbone:Tb_ethernetEth_topWishboneMWb

    reset();  // [time: 14708085ns -> 14708115ns]
}
error: [read_burst_increment_linear@534759] executing step 2 of the transaction: 00000801 != 00000800
    ┌─ examples/wishbone/wishbone.prot:331:9
    │
331 │         self.ADR := start_addr + (iter_count::<u30>() ## 2'b00);
    │         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [read_burst_increment_linear@534759] executing step 2 of the transaction: 00000801 != 00000800

./target/release/bi -p examples/wishbone/wishbone.prot -p examples/wishbone/ethmac.prot --display-hex --show-waveform-time --wave ../protocols-evaluation/wishbone/ethmac/ethmac.fst --instances tb_ethernet.eth_top:Tb_ethernetEth_topMWb

    reset();  // [time: 14708085ns -> 14708115ns]
}
error: [read_burst_increment_linear@534759] executing step 2 of the transaction: 00002004 != 00002000
    ┌─ examples/wishbone/wishbone.prot:331:9
    │
331 │         self.ADR := start_addr + (iter_count::<u30>() ## 2'b00);
    │         ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [read_burst_increment_linear@534759] executing step 2 of the transaction: 00002004 != 00002000

For all the others I get:

./target/release/bi -p examples/wishbone/wishbone.prot -p examples/wishbone/ethmac.prot --display-hex --show-waveform-time --wave ../protocols-evaluation/wishbone/ethmac/ethmac.fst --instances tb_ethernet.wb_master.wbm_low_level:Tb_ethernetWb_masterWbm_low_level
thread 'main' (1554023) panicked at bi/src/bi.rs:789:44:
no entry found for key
stack backtrace:
   0: __rustc::rust_begin_unwind
   1: core::panicking::panic_fmt
   2: core::option::expect_failed
   3: bi::bi::BackwardsInterpreter::exec_step
   4: bi::run_bis
   5: bi::main
note: Some details are omitted, run with `RUST_BACKTRACE=full` for a verbose backtrace.