Leveraging Design Static Analysis for Vertical Reuse in Functional Verification.

Petr Bardonek, Marcela Zacharisov

Browse the full DSD paper archive.