<@U016EM8L91B> The caravel `user_project_wrapper` ...
# verification-be
m
@User The caravel
user_project_wrapper
has several power supplies, most of which are not used in the
user_proj_example
. The
user_proj_example
layout has several connections to each of the unused power that result in unique pin generation when extracting. (layout | netlist)
Copy code
...
vdda2                   |vdda2
vssa2                   |vssa2
vssa2_uq0                 |(no matching pin)
vssa2_uq1                 |(no matching pin)
...
It appears that netgen creates proxy ports for the unmatched ports. Then at the top level, these proxy ports cause a mismatch. What is the intended function of the proxy port? Is it supposed to automatically be assigned the net corresponding to the matching net in the higher hierarchy? This is what I get now (version 1.5.201).
Copy code
Net: vssa2                 |Net: vssa2
 user_proj_example/vssa2 = 1       | user_proj_example/vssa2 = 1
 user_proj_example/vssa2_uq0 = 1     |
 user_proj_example/vssa2_uq1 = 1     |
 user_proj_example/vssa2_uq2 = 1     |
 user_proj_example/vssa2_uq3 = 1     |
 user_proj_example/vssa2_uq4 = 1     |
                      |
(no matching net)             |Net: dummy_616
                      | user_proj_example/proxyvssa2_uq0 = 1
                      |
(no matching net)             |Net: dummy_617
                      | user_proj_example/proxyvssa2_uq1 = 1
                      |