read_verilog ../top.v
proc
hilomap -locell GND G -hicell VCC V -singleton

select assert-count 1 t:VCC
select assert-count 1 t:GND