Languages for System Specification Selected Contributions on UML, SystemC, System Verilog, Mixed-Signal Systems, and Property Specification from FDL’03 /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Grimm, Christoph (Editor)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 2004.
• Subjects: Computer science.; Computer hardware.; Programming languages (Electronic computers).; Computers.; Computer-aided engineering.; Electrical engineering.; Electronic circuits.; Computer Science.; Theory of Computation.; Circuits and Systems.; Computer Hardware.; Programming Languages, Compilers, Interpreters.; Computer-Aided Engineering (CAD, CAE) and Design.; Electrical Engineering.

Contributions on UML address the application of UML in the specification of embedded HW/SW systems. C-Based System Design embraces the modeling of operating systems, modeling with different models of computation, generation of test patterns, and experiences from case studies with SystemC. Analog and...