Abstract
Complex functionality of today embedded hardware/software systems is principally due to the ability of design teams to select and integrate intellectual property (IP) cores. Their correct integration and the final design testability are a major concern for any design flow. This paper proposes a Web-CAD methodology for IP-core analysis and test based on a client/server architecture. The SystemC language is exploited to define a design verification framework for integration test of IP-cores. Intellectual property of cores is guaranteed by allowing functional test generation on faulty IP-core models without disclosing their internal structure. The methodology can be applied to mixed descriptions based on VHDL and SystemC and remote simulation can be also performed locally to avoid bandwidth bottleneck. Moreover, the same test generation process can be indifferently applied at the functional level or at lower abstraction levels such as RT and gate.
Similar content being viewed by others
References
Wakabayashi, K. and T. Okamoto. C-based SoC Design Flow and EDA Tools: An ASIC and System Vendor Perspective. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 19,no. 12, pp. 1507-1522, December 2000.
Dey, S., D. Panigrahi, C. Li, C. N. Taylor, K. Sekar, and P. Sanchez. Using a Soft Core in a SoC Design: Experiences with picoJava. IEEE Design & Test of Computers, vol. 17,no. 3, pp. 60-71, July–September 2000.
Wen, H. P., C. Y. Lin, and Y. L. Lin. Concurrent-Simulation-Based Remote IP Evalutaion Over the Internet for System-on-a-Chip Design. IEEE International Symposium on System Synthesis (ISSS), pp. 233-238, 2001.
Dalpaso, M., A. Bogliolo, L. Benini, and M. Favalli. Virtual Fault Simulation of Distribuited IP-based Designs. IEEE Design, Automation and Test in Europe Conference (DATE), pp. 99-103, 2000.
Dalpaso, M., A. Bogliolo, and L. Benini. Specification and Validation of Distribuited IP-based Designs with JavaCAD. IEEE Design, Automation and Test in Europe Conference (DATE), pp. 684-688, 1999.
Sridhar, R. and H. G. Perros. A Multilayer Client-Server Queueing Network Model with Synchronous and Asynchronous Messages. IEEE Transactions on Software Engineering, vol. 26,no. 11, pp. 1086-1100, November 2000.
Piccinelli, G. and L. Mokrushin. Dynamic e-service Composition in DySCo. IEEE Distributed Computing Systems Workshop (DCSW), pp. 88-93, 2001.
Fin, A. and F. Fummi. Protected IP-Core Test Generation. IEEE Great Lake Symposion (GLS), to appear on proceedings, 2002.
Fin, A. F. Fummi, M. Martignano, and M. Signoretto. SystemC: A Homogenous Environment to Test Embedded Systems. IEEE Codesign Conference (CODES), pp. 17-22, 2001.
Fin, A., F. Fummi, and G. Pravadelli. AMLETO: A Multi-language Environment for Functional Test Generation. IEEE International Test Conference (ITC), pp. 821-829, 2001.
Fin, A., and F. Fummi. A Web-CAD Methodology for IP-Core Analysis and Simulation. IEEE Design Automation Conference (DAC), pp. 597-600, 2000.
Ghanmi, L., A. Ghrab, M. Hamdoun, B. Missaoui, G. Saucier, and K. Skiba. E-Design Based on the Reuse Paradigm. IEEE Design, Automation and Test in Europe Conference (DATE), pp. 214-220, 2002.
Peterson, L. and B. Davie. Computer Networks: A System Approach. Morgan Kaufmann, 1996.
CoCentric SystemC Compiler Behavioral Modeling Guide. Synopsys version 2000.11-SCC1, 2001.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Fin, A., Fummi, F. A Remote Methodology for Embedded Systems Design and Validation. Design Automation for Embedded Systems 8, 229–247 (2003). https://doi.org/10.1023/B:DAEM.0000003964.80057.ac
Issue Date:
DOI: https://doi.org/10.1023/B:DAEM.0000003964.80057.ac