Abstract
SystemC-AMS extensions to SystemC have been used in several applications to model the analog part of a heterogeneous SoC. The SoC is usually a pure simulation model where the digital part is modeled using SystemC. If an emulation verification environment is used, the digital part of the SoC would be running on the emulator while the analog part, modeled with SystemC-AMS, would be running on the co-model machine connected to emulator. In this paper, we propose an approach to interface SystemC-AMS models running on the emulator co-model machine with digital models running on the emulator. The verification challenge, addressed by this approach, lies in the fact that execution semantics of models running on the co-model machine connected to the emulator are inherently untimed, and SystemC-AMS is a timed environment with a time wheel completely independent from the emulation time wheel. Our approach presents execution dynamics to address this problem. We also describe a case study that demonstrates the validity of the proposed approach.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Lin, Y.-.S.: Essential Issues in SOC Design: Designing Complex Systems-on-Chip. Springer Science & Business Media, 31 May 2007
Nurmi, J., Tenhunen, H., Isoaho, J., Jantsch, A.: Interconnect-Centric Design for Advanced SoC and NoC. Kluwer Academic Publishers (2004)
Mentor Graphics Corporation, Veloce Emulation Platform. http://www.mentor.com/products.fv.emulation-systems/
SystemC. http://www.systemc.org
SystemC-AMS. http://www.systemc-ams.org
Vachoux, A., Grimm, C., Einwich, K.: Towards analog and mixed-signal SOC design with SystemC-AMS. In: Proceedings of Second IEEE International Workshop on Electronic Design, Test and Applications (DELTA), Perth, WA, Australia, pp. 97–102, Jan 2004
Accelera Systems Initiative: SystemC AMS Extensions User’s Guide, pp. 1–153 (2010)
Accelera Systems Initiative: Standard Co-Emulation Modeling Interface (SCE-MI) Reference Manual, v2.2, pp. 1–203, Jan 2014
Li, F., Dekneuvel, E., Jacquemond, G., Quaglia, D., Lora, M., Pecheux, F., Butaud, R.: Multi-level modeling of wireless embedded systems. In: Proceedings of the Forum on Specification and Design Languages (FDL), Munich, Germany, pp. 1–8, Oct 2014
Accelera Systems Initiative: Standard SystemC AMS Extensions 2.0 Language Reference Manual, pp. 1–200 (2013)
Damm, M., Grimm, C., Haas, J., Herrholz, A., Nebel, W.: Connecting SystemC-AMS models with OSCI TLM 2.0 models using temporal decoupling. In: Proceedings of the Forum on Specification, Verification and Design Languages (FDL), Stuttgart, Germany, pp. 25–30, Sept 2008
Accelera: IEEE 1800-2012: SystemVerilog (SV), IEEE std 1800-2012, pp. 1–1275 (2012)
Vasilevski, M., Pecheux, F., Aboushady, H., De Lamarre, L.: Modeling heterogeneous systems using SystemC-AMS case study: a wireless sensor network node. In: Proceedings of the IEEE International Behavioral Modeling and Simulation Workshop (BMAS), San Jose, CA, USA, pp. 11–16, Sept 2007
Li, W., Zhou, D., Li, M., Nguyen, B.P., Zeng, X.: Near-field communication transceiver system modeling and analysis using SystemC/SystemC-AMS with the consideration of noise issues. IEEE Trans. Very Large Scale Integr. Syst. 21, 2250–2261 (2013)
Cenni, F., Scotti, S., Simeu, E.: Behavioral modeling of a CMOS video sensor platform using SystemC-AMS/TLM. In: Forum on Specification and Design Languages (FDL), Oldenburg, Germany, pp. 1–6, Sept 2011
Kester, W.: MT-020 tutorial, ADC Architecture 1: The Flash Converter, Analog Devices. http://www.analog.com
Kester, W.: MT-014 tutorial, Basic DAC Architecture 1: String DAC and Thermometer (Fully Decoded) DACs, Analog Devices. http://www.analog.com
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Tawfik, H., AbdElSalam, M., Safar, M., Salem, A. (2018). Functional Verification of AMS-SoC Models Using Hardware Emulation Platforms. In: Ntalianis, K., Croitoru, A. (eds) Applied Physics, System Science and Computers. APSAC 2017. Lecture Notes in Electrical Engineering, vol 428. Springer, Cham. https://doi.org/10.1007/978-3-319-53934-8_18
Download citation
DOI: https://doi.org/10.1007/978-3-319-53934-8_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-53933-1
Online ISBN: 978-3-319-53934-8
eBook Packages: EngineeringEngineering (R0)