Verilog si Specman

[Vizitator stefan_re]

Dupa cum stiti Verilog si HDL sunt limbaje cu care se face modelarea hardware a FPGA-urilor (Field Pragramable Gate Array ), Eu de cand le-am descoperit si am invatat sa le folosesc , prefer FPGA-urile in locul microcontrolerelor, pt ca mi le pot face exact pentru o anumita aplicatie. Si acestea, ca si microcontrolere se pot programa de mai multe ori, doar ca nu mai trebuie incarcat partea de soft in ele (soft adica program C/ ASSEMBLER). Pt proiecte mai mari, ar trebui testa intr-un mod sau altul schema electrica pe care o genereaza ModelSim-ul din codul verilog/hdl. Intrebarea mea este daca nu cumva aveti, sau stiti de unde pot dawnloada o carte buna pentru testare in limbajul de verificare E (asemenator intr-un fel sau altul cu C). Cartea cea mai buna este Samir Paltnikar - "Design verification with E". Va rog frumos daca o aveti sau daca stiti de unde se poate downloada gratuit - sa postati. Multumesc.