Code Optimization Techniques for Embedded Processors Methods, Algorithms, and Tools

Code Optimization Techniques for Embedded Processors Methods, Algorithms, and Tools

Weitere Versionen anzeigen (1)

The building blocks of today's and future embedded systems are complex intellectual property components, or cores, many of which are programmable processors. Traditionally, these embedded processors mostly have been pro grammed in assembly languages due to efficiency reasons. This implies time...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Leupers, Rainer (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	New York, NY Springer US 2000
Ausgabe:	1st ed. 2000
Schlagworte:	Computer-Aided Engineering (CAD, CAE) and Design Electrical Engineering Special Purpose and Application-Based Systems Computer-aided engineering Electrical engineering Special purpose computers Eingebettetes System Codeoptimierung Prozessor
Online-Zugang:	UBY01 URL des Eerstveröffentlichers
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Hardware-Software Co-Synthesis of Distributed Embedded Systems
von: Yen, Ti-Yen, et al.
Veröffentlicht: (1996)

Power Aware Computing
Veröffentlicht: (2002)

A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems
Veröffentlicht: (2001)

Code optimization techniques for embedded processors methods, algorithms, and tools
von: Leupers, Rainer
Veröffentlicht: (2000)

Function/Architecture Optimization and Co-Design of Embedded Systems
von: Tabbara, Bassam, et al.
Veröffentlicht: (2000)

Reasoning in Boolean Networks Logic Synthesis and Verification using Testing Techniques
von: Kunz, Wolfgang, et al.
Veröffentlicht: (1997)

Power Optimization and Synthesis at Behavioral and System Levels Using Formal Methods
von: Chang, Jui-Ming, et al.
Veröffentlicht: (1999)

Synchronous Equivalence Formal Methods for Embedded Systems
von: Hsieh, Harry, et al.
Veröffentlicht: (2001)

Specification and Design Methodology for Real-Time Embedded Systems
von: Janka, Randall S.
Veröffentlicht: (2002)

Leaf Cell and Hierarchical Compaction Techniques
von: Bamji, Cyrus, et al.
Veröffentlicht: (1997)

Analog Circuit Design Volt Electronics; Mixed-Mode Systems; Low-Noise and RF Power Amplifiers for Telecommunication
Veröffentlicht: (1999)

Practical Synthesis of High-Performance Analog Circuits
von: Ochotta, Emil S., et al.
Veröffentlicht: (1998)

Advanced Low-Power Digital Circuit Techniques
von: Elrabaa, Muhammad S., et al.
Veröffentlicht: (1997)

Static Crosstalk-Noise Analysis For Deep Sub-Micron Digital Designs
von: Chen, Pinhong, et al.
Veröffentlicht: (2004)

High Performance Memory Testing: Design Principles, Fault Modeling and Self-Test
von: Adams, R. Dean
Veröffentlicht: (2003)

Computer Methods for Analysis of Mixed-Mode Switching Circuits
von: Yuan, Fei, et al.
Veröffentlicht: (2004)

Timing
von: Sapatnekar, Sachin
Veröffentlicht: (2004)

Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout
von: Singh, Leena, et al.
Veröffentlicht: (2004)

Systematic Design of Analog IP Blocks
von: Vandenbussche, J., et al.
Veröffentlicht: (2003)

Principles of Verilog PLI
von: Mittra, Swapnajit
Veröffentlicht: (1999)

Formal Semantics and Proof Techniques for Optimizing VHDL Models
von: Umamageswaran, Kothanda, et al.
Veröffentlicht: (1999)

Using WAVES and VHDL for Effective Design and Testing A practical and useful tutorial and application guide for the Waveform and Vector Exchange Specification (WAVES)
von: Hanna, James P., et al.
Veröffentlicht: (1997)

The Verilog PLI Handbook A User’s Guide and Comprehensive Reference on the Verilog Programming Language Interface
von: Sutherland, Stuart
Veröffentlicht: (2002)

Verification Plans The Five-Day Verification Strategy for Modern Hardware Verification Languages
von: James, Peet
Veröffentlicht: (2004)

Performance Analysis of Real-Time Embedded Software
von: Li, Yau-Tsun Steven, et al.
Veröffentlicht: (1999)

Satellite Personal Communications for Future-generation Systems Final Report: COST 252 Action
Veröffentlicht: (2002)

The Best of ICCAD 20 Years of Excellence in Computer-Aided Design
Veröffentlicht: (2003)

The e Hardware Verification Language
von: Iman, Sasan, et al.
Veröffentlicht: (2004)

Intelligent Agents and Their Applications
Veröffentlicht: (2002)

Advanced Digital System Design A Practical Guide to Verilog Based FPGA and ASIC Implementation
von: Roy, Shirshendu
Veröffentlicht: (2024)

Hierarchical Annotated Action Diagrams An Interface-Oriented Specification and Verification Method
von: Cerny, E., et al.
Veröffentlicht: (1998)

Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3–4, 2022, Proceedings
Veröffentlicht: (2023)

VHDL Coding Styles and Methodologies
von: Cohen, Ben
Veröffentlicht: (1995)

Accelerator Data-Path Synthesis for High-Throughput Signal Processing Applications
von: Geurts, Werner, et al.
Veröffentlicht: (1997)

System-on-Chip for Real-Time Applications
Veröffentlicht: (2003)

High-Level System Modeling Specification and Design Methodologies
Veröffentlicht: (1996)

Fault Injection Techniques and Tools for Embedded Systems Reliability Evaluation
Veröffentlicht: (2003)

Substrate Noise Coupling in Mixed-Signal ASICs
Veröffentlicht: (2003)

Digital Computer Arithmetic Datapath Design Using Verilog HDL CD-ROM Included
von: Stine, James E.
Veröffentlicht: (2004)

Modeling of Induction Motors with One and Two Degrees of Mechanical Freedom
Veröffentlicht: (2003)