Sciweavers

EURODAC
1994
IEEE
113views VHDL» more  EURODAC 1994»
13 years 11 months ago
Formal verification of pipeline conflicts in RISC processors
We outline a general methodology for the formal verification of pipeline conflicts in RISC cores. The different kinds of conflicts that can occur due to the simultaneous execution...
Ramayya Kumar, Sofiène Tahar
DATE
2002
IEEE
161views Hardware» more  DATE 2002»
14 years 5 days ago
Hardware/Software Trade-Offs for Advanced 3G Channel Coding
Third generation’s wireless communications systems comprise advanced signal processing algorithms that increase the computational requirements more than ten-fold over 2G’s sys...
Heiko Michel, Alexander Worm, Norbert Wehn, Michae...
DATE
2003
IEEE
104views Hardware» more  DATE 2003»
14 years 15 days ago
Efficient Field Processing Cores in an Innovative Protocol Processor System-on-Chip
We present an innovative protocol processor component that combines wire-speed processing for low-level, and best effort processing for higher-level protocols. The component is a ...
George Lykakis, N. Mouratidis, Kyriakos Vlachos, N...
DATE
2005
IEEE
94views Hardware» more  DATE 2005»
14 years 25 days ago
Meeting the Embedded Design Needs of Automotive Applications
The importance of embedded systems in driving innovation in automotive applications continues to grow. Understanding the specific needs of developers targeting this market is also...
Wayne Lyons