GitHub repository: pycaliper/pycaliper
Primary language: Python
Description: PyCaliper: Python-based Infrastructure for RTL Verification and Specification Synthesis