المؤلفون: W.P. Birmingham, J.L. DeKock, A.J. Daga

المصدر: Proceedings of ELECTRO '94.

مصطلحات موضوعية: Computer science, Programming language, Interface (computing), Hardware description language, Formal methods, computer.software_genre, Logic synthesis, Computer engineering, Formal specification, VHDL, Verilog, Hardware_REGISTER-TRANSFER-LEVELIMPLEMENTATION, computer, Register-transfer level, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::f0512ebc02cf0cceaf946d7437efdce8
https://doi.org/10.1109/electr.1994.472681