IEEE - Institute of Electrical and Electronics Engineers, Inc. - Processor validation: a top-down approach

Author(s): P. Mishra
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 February 2005
Volume: 24
Page Count: 5
Page(s): 29 - 33
ISSN (Paper): 0278-6648
DOI: 10.1109/MP.2005.1405799
Regular:

This work presents the design validation techniques for microprocessors. The verification effectiveness validates the design implementation using a combination of simulation techniques and formal... View More

Advertisement