Sciweavers

113 search results - page 1 / 23
» A Methodology for Validation of Microprocessors using Equiva...
Sort
View
MTV
2003
IEEE
109views Hardware» more  MTV 2003»
13 years 10 months ago
A Methodology for Validation of Microprocessors using Equivalence Checking
As embedded systems continue to face increasingly higher performance requirements, deeply pipelined processor architectures are being employed to meet desired system performance. ...
Prabhat Mishra, Nikil D. Dutt
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
13 years 11 months ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra
ENTCS
2007
81views more  ENTCS 2007»
13 years 5 months ago
Error Diagnosis in Equivalence Checking of High Performance Microprocessors
We describe techniques for diagnosing errors in formal equivalence checking of RTL and transistor level models of high performance microprocessors at Freescale Semiconductor Inc. ...
Alper Sen
DT
2000
88views more  DT 2000»
13 years 5 months ago
Postsilicon Validation Methodology for Microprocessors
f abstraction as applicable to break the problem's complexity, and innovating better techniques to address complexity of new microarchitectural features. Validation techniques...
Hemant G. Rotithor
FM
2008
Springer
192views Formal Methods» more  FM 2008»
13 years 7 months ago
CoVaC: Compiler Validation by Program Analysis of the Cross-Product
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
Anna Zaks, Amir Pnueli