How to find paths propagating data to and from secure areas and why this is not possible with standard formal verification tools.
Security path verification is the ability to verify the lack of existence of functional paths touching secure areas of a design. The Jasper security verification technology used in security path verification is based on path sensitization technology, which is used to find paths propagating data to and from secure areas. The Jasper technology can be used to verify requirements that are not expressible by regular SVA assertions, therefore not possible with standard formal verification tools. The Jasper security path verification technology uses special black-boxing to allow scalability to bigger designs and provides for easy debug with special highlighting in the waveform. Download the security verification presentation to learn more.
To view this white paper, click here.
 |
 |
 |
 |
 |
 |
Leave a Reply