Hybrid Model: An Efficient Symmetric Multiprocessor Reference Model

Functional verification has become one of the main bottlenecks in the cost-effective design of embedded systems, particularly for symmetric multiprocessors. It is estimated that verification in its entirety accounts for up to 60% of design resources, including duration, computer resources, and total...

Full description

Bibliographic Details
Main Authors: Shupeng Wang, Kai Huang, Tianyi Xie, Xiaolang Yan
Format: Article
Language:English
Published: Hindawi Limited 2015-01-01
Series:Journal of Electrical and Computer Engineering
Online Access:http://dx.doi.org/10.1155/2015/915409