Sciweavers

Share
4 search results - page 1 / 1
» Functional Verification of the Equator MAP1000 Microprocesso...
Sort
View
DAC
1999
ACM
12 years 6 months ago
Functional Verification of the Equator MAP1000 Microprocessor
Jian Shen, Jacob A. Abraham, Dave Baker, Tony Hurs...
FAC
2000
124views more  FAC 2000»
12 years 1 months ago
Algebraic Models of Correctness for Microprocessors
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
Anthony C. J. Fox, Neal A. Harman
ICCD
2004
IEEE
137views Hardware» more  ICCD 2004»
12 years 10 months ago
Comparative Study of Strategies for Formal Verification of High-Level Processors
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...
Miroslav N. Velev
ICCAD
2002
IEEE
176views Hardware» more  ICCAD 2002»
12 years 10 months ago
High capacity and automatic functional extraction tool for industrial VLSI circuit designs
In this paper we present an advanced functional extraction tool for automatic generation of high-level RTL from switch-level circuit netlist representation. The tool is called FEV...
Sasha Novakovsky, Shy Shyman, Ziyad Hanna
books