RISC-V based virtual prototype: An extensible and configurable platform for the system-level
暂无分享,去创建一个
Rolf Drechsler | Daniel Große | Vladimir Herdt | Pascal Pieper | R. Drechsler | Daniel Große | Pascal Pieper | V. Herdt
[1] Brian Bailey,et al. ESL Design and Verification: A Prescription for Electronic System Level Methodology , 2007 .
[2] Rainer Leupers,et al. Virtual platforms: Breaking new grounds , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
[3] Gianluca Palermo,et al. CONTREX: Design of Embedded Mixed-Criticality CONTRol Systems under Consideration of EXtra-Functional Properties , 2016, 2016 Euromicro Conference on Digital System Design (DSD).
[4] Christian Haubelt,et al. ESL power and performance estimation for heterogeneous MPSOCS using SystemC , 2011, FDL 2011 Proceedings.
[5] Thomas Schuster,et al. SoCRocket - A virtual platform for the European Space Agency's SoC development , 2014, 2014 9th International Symposium on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC).
[6] Rainer Leupers,et al. Black box ESL power estimation for loosely-timed TLM models , 2016, 2016 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation (SAMOS).
[7] Adnan Aziz,et al. Constraint-based verification , 2006 .
[8] Marco Roveri,et al. Software Model Checking SystemC , 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[9] Rolf Drechsler,et al. Extensible and Configurable RISC-V Based Virtual Prototype , 2018 .
[10] Rolf Drechsler,et al. Verifying SystemC Using Intermediate Verification Language and Stateful Symbolic Simulation , 2019, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[11] Moshe Y. Vardi. Formal Techniques for SystemC Verification; Position Paper , 2007, 2007 44th ACM/IEEE Design Automation Conference.
[12] Rolf Drechsler,et al. On the application of formal fault localization to automated RTL-to-TLM fault correspondence analysis for fast and accurate VP-based error effect simulation - a case study , 2016 .
[13] Somayeh Sardashti,et al. The gem5 simulator , 2011, CARN.
[14] Rolf Drechsler,et al. Quality-Driven SystemC Design , 2009 .
[15] Rolf Drechsler,et al. Towards Early Validation of Firmware-Based Power Management Using Virtual Prototypes: A Constrained Random Approach , 2017, FDL.
[16] Rolf Drechsler,et al. Verifying Instruction Set Simulators using Coverage-guided Fuzzing* , 2019, 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).