Electronic Chips & Systems Design Languages
- List Price: $295.00
- Binding: Hardcover
- Publisher: Kluwer Academic Pub
- Publish date: 04/01/2001
Description:
VHDL Extensions.- 1. Library Development Using the VHDL-AMS Language.- 2. Behavioral Modeling of Complex Heterogeneous Microsystems.- 3. VHDL-AMS, a Unified Language to Describe Multi-Domain, Mixed-Signal Designs. Mechatronic Applications.- 4. Efficient Modeling of Analog and Mixed A/D Systems via Piece-Wise Linear Technique.- 5. SUAVE: Object-Oriented and Genericity Extensions to VHDL for High-Level Modeling.- 6. Digital Circuit Design with Objective VHDL.- System Level Design.- 7. UF: Architecture and Semantics for System-Level Multiformalism Descriptions.- 8. Automatic Interface Generation among VHDL Processes in HW/SW Co-Design.- 9. System-Level Specification and Architecture Exploration: An Avionics Codesign Application.- 10. Using SDL to Model Reactive Embedded System in a Co-design Environment.- 11. A Synchronous Object-Oriented Design Flow for Embedded Applications.- 12. Heterogeneous System-Level Cosimulation with SDL and Matlab.- 13. VHDL-Based HW/SW Cosimulation of Microsystems.- 14. Modeling Interrupts for HW/SW Co-Simulation Based on VHDL/C Coupling.- 15. A Comparison of Six Languages for System Level Description of Telecom Applications.- 16. High Level Modelling in SDL and VHDL+.- 17. ECL: A Specification Environment for System-Level Design.- 18. The MCSE Approach for System-Level Design.- Synthesis.- 19. Automatic VHDL Restructuring for RTL Synthesis Optimization and Testability Improvement.- 20. VHDL Dynamic Loop Synthesis.- 21. Hierarchical Module Expansion in a VHDL Behavioural Synthesis System.- Formal Verification.- 22. Port-Stitching: An Interface-Oriented Hardware Specification and VHDL Model Generation.- 23. Formal Verification of VHDL using VHDL-Like ACL2 Models.- 24. Specification of Embedded Monitors for Property Checking.- 25. Formal Specification and Verification of Transfer-Protocols for System-Design in VHDL.
Expand description
Product notice
Returnable at the third party seller's discretion and may come without consumable supplements like access codes, CD's, or workbooks.
Seller | Condition | Comments | Price |
|
J. Hood, Booksellers, Inc.
Very Good
|
$16.87
|
Ergodebooks
|
Good |
$21.99
|
Please Wait