With due respect to your sensitivity and experience, I beg to differ. I believe you are thinking “black-box” or end-to-end assertions and hence saying “it won’t work”.
In anycase - if you/your team has decided so I don’t want to counter it for your usage.
The below is mainly for other readers who may want to still consider assertions:
However there are proven track records of assertions on such designs, see one at: http://www.cs.rice.edu/~vardi/comp607/bentley.pdf
And if you wonder how one would create/code so many white-box assertions, technology such as “Assertion Synthesis” (www.nextopsoftware.com) might well be the answer.
Warm Regards
Ajeetha, CVC