QuteRTL: Towards an Open Source Framework for RTL Design Synthesis and Verification.

Hu-Hsi Yeh Cheng-Yin Wu Chung-Yang (Ric) Huang

Published in: TACAS (2012)

Keyphrases

case study
functional verification
low cost
engineering design
formal methods
formal verification