The Essence of Verilog: A Tractable and Tested Operational Semantics for Verilog

With the increasing need to apply modern software techniques to hardware design, Verilog, the most popular Hardware Description Language (HDL), plays an infrastructure role. However, Verilog has several semantic pitfalls that often confuse software and hardware developers. Although prior research on...

Celý popis

Podrobná bibliografie

Vydáno v:	Proceedings of ACM on programming languages Ročník 7; číslo OOPSLA2; s. 234 - 263
Hlavní autoři:	Chen, Qinlin, Zhang, Nairen, Wang, Jinpeng, Tan, Tian, Xu, Chang, Ma, Xiaoxing, Li, Yue
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 16.10.2023
Témata:	Hardware Hardware description languages and compilation Semantics Software and its engineering Core Languages Semantics Hardware Description Languages Verilog
ISSN:	2475-1421, 2475-1421
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!