Retrascope: Open-Source Model Checkerfor HDL Descriptions

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