Developing semantics of Verilog HDL in formal compositional design of mixed hardware / software systems
By: Jordan Dimitrov.
Contributors: De Montfort University.
Publisher: De Montfort University
Published: 2002
Place of publication: Leicester
Language: eng
Notes: Thesis (Ph.D) - De Montfort University, Leicester 2002.