get_count-plugin/tests/simple/simple.tcl

yosys plugin -i get_count
yosys -import

read_verilog -icells simple.v
hierarchy -auto-top

set n [get_count -modules my_gate]
puts "Module count: $n"
if {$n != "1"} {
    error "Invalid count"
}

set n [get_count -cells t:\$_BUF_]
puts "BUF count: $n"
if {$n != "4"} {
    error "Invalid count"
}

set n [get_count -cells t:\$_NOT_]
puts "NOT count: $n"
if {$n != "3"} {
    error "Invalid count"
}

set n [get_count -wires w:*]
puts "Wire count: $n"
if {$n != "5"} {
    error "Invalid count"
}