Login / Signup

SoC connectivity specification extraction using incomplete RTL design: An approach for Formal connectivity Verification.

Haytham SaafanM. Watheq El-KharashiAshraf Salem
Published in: IDT (2016)
Keyphrases