• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Languages for System Specification: Selected Contributions on Uml, Systemc, System Verilog, Mixed-Signal Systems, and Property Specification from Fdl'

Languages for System Specification: Selected Contributions on Uml, Systemc, System Verilog, Mixed-Signal Systems, and Property Specification from Fdl'

Hardcover

Series: Chdl

Technology & EngineeringGeneral ComputersProgramming

ISBN10: 1402079907
ISBN13: 9781402079900
Publisher: Springer
Published: Dec 15 1996
Pages: 357
Weight: 1.52
Height: 0.81 Width: 6.14 Depth: 9.21
Language: English
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 Mixed-Signal Systems covers rules for solving general modeling problems in VHDL-AMS, modeling of multi-nature systems, synthesis, and modeling of Mixed-Signal Systems with SystemC. Languages for formal methods are addressed by contributions on formal specification and refinement of hybrid, embedded and real-time stems.

Also in

General Computers