103 search results - page 3 / 21 » Verification of configurable processor cores |
75
Voted
DAC
2004
ACM
15 years 3 months ago
2004
ACM
The Pentium® 4 processor architecture uses a 2x frequency core clock[1] to implement low latency integer ops. Low Voltage Swing logic circuits implemented in 90nm technology[2] m...
DELTA
2010
IEEE
15 years 2 months ago
2010
IEEE
Reconfigurable many-core processors have many advantages over conventionally designed devices, such as low power consumption and very high flexibility. For an increasing number of...
ICCAD
2005
IEEE
15 years 6 months ago
2005
IEEE
Many commercially available embedded processors are capable of extending their base instruction set for a specific domain of applications. While steady progress has been made in t...
101
click to vote
EURODAC
1994
IEEE
15 years 1 months ago
1994
IEEE
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...
DATE
2003
IEEE
15 years 2 months ago
2003
IEEE
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 ...