Retrascope: Open-Source Model Checkerfor HDL Descriptions Author(s): Alexander Kamkin, Mikhail Lebedev, and Sergey Smolov Location: Europe Year: 2018 Type: Presentation Download