Information Flow Verification Framework Integrating Static and Formal Verification Methods At The Pre-Silicon Stage (U. of Florida)
Technical Paper Link
Researchers from University of Florida published “IFV: Information Flow Verification at the Pre-silicon Stage Utilizing Static-Formal Methodology.” Abstract “Modern system-on-chips (SoCs) are becoming prone to numerous security vulnerabilities due to their ever-growing complexity and size. Therefore, a comprehensive security verification framework is needed at the very early stage of the SoC design lifecycle. The datapath... » read more The post Information Flow Verification Framework Integratin