Login / Signup

A Coverage Guided Mining Approach for Automatic Generation of Succinct Assertions.

David SheridanLingyi LiuHyungsul KimShobha Vasudevan
Published in: VLSI Design (2014)
Keyphrases