Retrascope: Open-Source Model Checkerfor HDL Descriptions

Author(s):
Alexander Kamkin, Mikhail Lebedev, and Sergey Smolov
Location:
Europe
Year:
2018
Type:
Presentation
Format:
pdf