Да ладно. Хотите сказать, что 90% прогеров - гики линуксоиды? Думаю 50% в лучшем случае. Микрософт для комфортной разработки оптимален
Знаю что IBM в Хайфе разрабатывало тул Genesis для верификации. Я его в rtl мире встречал. И он дорогой был. У вас таже тема?