Specman

Specman е АЕД алатка, која се користи за афтоматизирање на потврда на машинска опрема. е специјализирана средина за работење со, составување и отстранување грешки на јазикот за потврда на машинска опрема e.

Specman е изворно дело на Verisity, млада израелска форма, која што подоцна е преземена (купена) од Cadence.

За да може да се направи пробен праг (testbench) на дизајн, Specman треба да биде наврзан со со логички симулатор за HDL (јазик за изработка на машинска опрема).

Надворешни врски

• http://www.thinkverification.com/ Архивирано на 22 февруари 2012 г.
• http://www.asic-world.com/specman/
• http://www.specman-verification.com/ Архивирано на 23 јануари 2009 г.
• http://www.ieee1647.org/
• Editor Syntax Highlighting Modes
  • Emacs Specman Mode Архивирано на 20 ноември 2008 г.
  • VIM Specman Mode Архивирано на 20 ноември 2008 г.
  • JEdit Specman Mode
  • DVT