Function coprocessor_realized 

pub fn coprocessor_realized(op: &Op) -> bool

The concurrency/coprocessor ops realized as on-core services in soft_core.v: the FIFO-channel NoC (a fixed ring buffer on the heap), proven by the ≡VM differential (buffered send/receive is byte-identical to the VM’s deterministic pipe) + iverilog, decoded at their binisa wire opcodes.