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