Advanced Search

proc redirect_variable {varname cmd} {
    rename puts ::tcl::orig::puts
    global __puts_redirect
    set __puts_redirect {}
    proc puts args {
        global __puts_redirect
        set __puts_redirect [concat $__puts_redirect [lindex $args end]]
    }
    uplevel $cmd
    upvar $varname destination
    set destination $__puts_redirect
    unset __puts_redirect
    rename puts {}
    rename ::tcl::orig::puts puts
}
set netno 1
proc anet {args} {
    redirect_variable res {show pin {*}$args}
    if [regexp {[<=]=[=>]\s+(\w+)} $res match net] {
        net $net {*}$args
    } else {
        net net_$::netno {*}$args
        incr ::netno
    }
}

loadrt logic names=geartrain_slow_OR personality=0x203
addf geartrain_slow_OR servo-thread
anet geartrain.stage1.search_reverse => geartrain_reverse_OR.in-00
anet geartrain.stage2.search_reverse => geartrain_reverse_OR.in-01
net named_net geartrain.stage3.search_reverse
anet geartrain.stage3.search_reverse => geartrain_reverse_OR.in-02
anet geartrain.stage3.search_reverse => geartrain_reverse_OR.in-02
anet geartrain_slow_OR.or => hm2_7i95.0.7i84.0.0.output-10 

but debugging HAL files won't be easy...