Exploring SW performance using SoC transaction-level modeling

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2003, Pages 120-125

  Moussa, Imed ^a   Grellier, Thierry ^a   Nguyen, Giang ^a  

^a TNI Valiosys ^*  (France)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION CODES; APPLICATION DEVELOPERS; AUTOMATIC GENERATION; DESIGN AND SIMULATION; GENERIC SERVICES; SOC ARCHITECTURE; SYSTEM-LEVEL PERFORMANCE; TRANSACTION LEVEL MODELING;

EXHIBITIONS; MOTION PICTURE EXPERTS GROUP STANDARDS; PROGRAM PROCESSORS;

MICROPROCESSOR CHIPS;

EID: 84893816941     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2003.1253816     Document Type: Conference Paper

References (9)

1. Kanishka Lahiri, Anand Raghunathan, Sujit Dey , Fast Performance Analysis of Bus-Based System-On-Chip Communication Architectures. Proceedings of the IEEE/ACM International Conference on Computer-Aided Design (ICCAD),November 1999
2. Frederic Doucet, Rajesh K. Gupta, Microelectronic System-on-Chip Modeling using Objects and their Relationships; in IEEE D&T of Computer 2000
3. A. Clouard, G. Mastrorocco, F. Carbognani, A. Perrin, F, Ghenassia. Towards Bridging the Precision Gap between SoC Transactional and Cycle Accurate Levels, DATE 2002
4. A. Ferrari and A. Sangiovanni-Vincentelli, System Design. Traditional Concepts and New Paradigms. Proceedings of the 1999 Int. Conf. On Comp. Des, Oct 1999, Austin
5. Jon Connell and Bruce Johnson, Early Hardware/Software Integration Using SystemC2.0; in Class 552, ESC San Francisco 2002
6. Functional Specification for SystemC 2.0, Version 2.0-P, 0ct 2001
7. Thorsten Grotker. Modeling Software with SystemC3.0. 6th European SystemC User Group Meeting, Italy October 2002
8. Fabrice Baray. Contribution à l?intégration de la vérification de modèle dans le processus de conception Codesign. Thesis, University of Clermont Ferrand 2001
9. S. Dellacherie, S. Devulder, J-L. Lamber. Software verification based on linear programming. Formal Verification Conference 1999