Languages for system specification : (E-BOOK) selected contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specifications from FDL '03 /
edited by Christoph Grimm.
- Boston, Mass. ; London : Kluwer Academic, 2004.
- 367 p.
- CHDL series .
Part I UML-Based System Specification & Design (Page-5) Part II C-Based System Design (Page-91) Part III Analog and Mixed-Signal Systems (Page-169) Part IV Languages for Formal Methods (Page-247) Part V Applications and new languages (Page-333)