Retrascope: Open-Source Model Checkerfor HDL Descriptions Author(s): Alexander Kamkin, Mikhail Lebedev and Sergey Smolov Format: pdf Download