Sciweavers

Share
ISQED
2006
IEEE

Language-Based High Level Transaction Extraction on On-chip Buses

9 years 10 months ago
Language-Based High Level Transaction Extraction on On-chip Buses
Abstract— With the increasing in silicon densities, SoC designs are the stream in modern electronics systems. Accordingly, the verification for SoC designs is crucial. One of the main problems in SoC verification is to verify whether the interface of a block works properly in its intended system. Transaction-based verification methodologies have been proposed to deal with this problem, and they allow users creating tests and writing test benches more easily. Furthermore, verifying interface designs in transaction level is very efficient. Previous work creates extractor manually for one on-chip bus (OCB), and the extra efforts are needed for another OCBs. In this paper, we present a languagebased methodology to specify the bus behaviors in transaction level. Then the actual signals on the buses can be extracted to level of abstraction. The bus behaviors displayed in transaction level significantly reduce the verification efforts for verification engineers. Furthermore, the corr...
Yi-Le Huang, Chun-Yao Wang, Richard Yeh, Shih-Chie
Added 12 Jun 2010
Updated 12 Jun 2010
Type Conference
Year 2006
Where ISQED
Authors Yi-Le Huang, Chun-Yao Wang, Richard Yeh, Shih-Chieh Chang, Yung-Chih Chen
Comments (0)
books