Разработчиков и верификаторов ASIC рад  пригласить на мой сайт, посвященный разработке цифровых устройств. Там можно найти справочную информацию об инструментах EDA, языках описания аппаратуры, подходах к верификации и прочих полезных для разработчиков инструментах и рецептах.  https://accurate-rtl.ru