Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language

Б3.15, Б3.51, Б2.24.

Bowen J. P..

Combining Operational Semantics, Logic Programming and Literate Programming in the Specification and Animation of the Verilog Hardware Description Language// Lecture Notes in Computer Science-2000.-Vol. 1945.-P.277-296
Bibliogr.: p.294-296