A methodology for validation of microprocessors using symbolic simulation

Author： Mishra Prabhat   Dutt Nikil   Krishnamurthy Narayanan   Abadir Magdy  

Publisher： Inderscience Publishers

ISSN： 1741-1068

Source： International Journal of Embedded Systems, Vol.1, Iss.1-2, 2006-01, pp. : 14-22

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Design and validation of a product-driven control system based on a six sigma methodology and discrete event simulation

By El Haouzi H.   Petin J. -F.   Thomas A.  

Production Planning and Control, Vol. 20, Iss. 6, 2009-09 ,pp. : 510-524

Taylor & Francis Ltd

Access to resources Recommend Favorite

Using Simulation for the Validation of High Level Specifications of Control Systems

By Jumpamule Watcharee   Paillet Jean-Luc   Giambiasi Norbert  

Journal of Intelligent and Robotic Systems, Vol. 38, Iss. 3-4, 2003-12 ,pp. : 345-375

Springer Publishing Company

Access to resources Recommend Favorite

Constructing Efficient Formal Models from High-Level Descriptions Using Symbolic Simulation

By Koelbl Alfred   Pixley Carl  

International Journal of Parallel Programming, Vol. 33, Iss. 6, 2005-12 ,pp. : 645-666

Springer Publishing Company

Access to resources Recommend Favorite

Verification and validation of simulation models

By Sargent R G  

Journal of Simulation, Vol. 7, Iss. 1, 2013-02 ,pp. : 12-24

Palgrave Macmillan Ltd

Access to resources Recommend Favorite

Validation of metamodels in simulation: a new metric

By Hamad Husam  

Engineering with Computers, Vol. 27, Iss. 4, 2011-10 ,pp. : 309-317

Springer Publishing Company

Access to resources Recommend Favorite