Большое академическое описания языка и его интерфейса программирования (PLI). Созадно в институте Мичигана, одним из рабочей группы IEEE разработовшей стаднарт IEEE 1394 (Verilog 95). Необходима регистрация, бесплатная.