tree 6b2787779053a182244e16db1aac66608edd94ad
parent 13282a4a7f60be3b3edd33348dda55d6d6e19872
author Cindy Chen <chencindy@google.com> 1569263626 -0700
committer cindychip <cindy.chen0316@gmail.com> 1571154763 -0700

[formal] add rv_plic assertion

Add rv_plic_tb.sv to add external assertions to rv_plic
Add bind file to connect RTL with FPV