Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia |
Reusing RTL Assertion Checkers for Verification of SystemC TLM Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 31(2), pp. 167-180, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Van Chan Ngo, Axel Legay, Jean Quilbeuf |
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1507.08187, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Martin Barnasconi, Manfred Dietrich, Karsten Einwich, Thilo Vörtler, Jean-Paul Chaput, Marie-Minerve Louërat, François Pêcheux, Zhi Wang 0005, Philippe Cuenot, Ingmar Neumann, Thang Nguyen 0007, Ronan Lucas, Emmanuel Vaumorin |
UVM-SystemC-AMS Framework for System-Level Verification and Validation of Automotive Use Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test ![In: IEEE Des. Test 32(6), pp. 76-86, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Dominik Macko, Katarína Jelemenská, Pavel Cicák |
Power-Management Specification in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDECS ![In: 18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2015, Belgrade, Serbia, April 22-24, 2015, pp. 259-262, 2015, IEEE Computer Society, 978-1-4799-6779-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Mikhail Glukhikh, Mikhail J. Moiseev |
Fast Simulation of SystemC Synthesizable Subset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDECS ![In: 18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2015, Belgrade, Serbia, April 22-24, 2015, pp. 103-106, 2015, IEEE Computer Society, 978-1-4799-6779-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Syed Saif Abrar, Maksim Jenihhin, Jaan Raik |
SystemC-Based Loose Models for Simulation Speed-Up by Abstraction of RTL IP Cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDECS ![In: 18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2015, Belgrade, Serbia, April 22-24, 2015, pp. 71-74, 2015, IEEE Computer Society, 978-1-4799-6779-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Shu-Juan Yin, Xiang Yu Li, Han Li |
Modeling the Data Flow Application Specific Integrated Circuit with SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSDM ![In: Fuzzy System and Data Mining - Proceedings of FSDM 2015 [Shanghai, China, December 12-15, 2015], pp. 457-463, 2015, IOS Press, 978-1-61499-618-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Efstathios Sotiriou-Xanthopoulos, Shalina Percy Delicia, Peter Figuli, Kostas Siozios, George Economakos, Jürgen Becker 0001 |
A power estimation technique for cycle-accurate higher-abstraction SystemC-based CPU models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2015, Samos, Greece, July 19-23, 2015, pp. 70-77, 2015, IEEE, 978-1-4673-7311-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Jan Henrik Weinstock, Rainer Leupers, Gerd Ascheid |
Parallel SystemC simulation for ESL design using flexible time decoupling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2015, Samos, Greece, July 19-23, 2015, pp. 378-383, 2015, IEEE, 978-1-4673-7311-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Nikolaos Ilieskou, Marijn Blom, Lou J. Somers, Michel A. Reniers, Twan Basten |
Multi-Domain Virtual Prototyping in a SystemC SIL framework: A heating system case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2015, Samos, Greece, July 19-23, 2015, pp. 286-294, 2015, IEEE, 978-1-4673-7311-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Jan Wagner, Rolf Meyer, Rainer Buchty, Mladen Berekovic |
A scriptable, standards-compliant reporting and logging extension for SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2015, Samos, Greece, July 19-23, 2015, pp. 366-371, 2015, IEEE, 978-1-4673-7311-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Kiki Wirianto, Amir Zjajo, Carlo Galuzzi, Rene van Leuken 0001 |
Multi-Domain SystemC model of 128-channel time-multiplexed neural interface front-end. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2015, Samos, Greece, July 19-23, 2015, pp. 295-302, 2015, IEEE, 978-1-4673-7311-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Cédric Ben Aoun, Liliana Andrade, Torsten Mähne, François Pêcheux, Marie-Minerve Louërat, Alain Vachoux |
Pre-simulation elaboration of heterogeneous systems: The SystemC multi-disciplinary virtual prototyping approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2015, Samos, Greece, July 19-23, 2015, pp. 278-285, 2015, IEEE, 978-1-4673-7311-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Hanan Tawfik, Mona Safar, Mohamed Abdel Salam, M. Watheq El-Kharashi, Ashraf Salem |
Toward the interfacing of systemC-AMS models with hardware-emulated platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDT ![In: 10th International Design & Test Symposium, IDT 2015, Dead Sea, Amman, Jordan, December 14-16, 2015, pp. 54-59, 2015, IEEE, 978-1-4673-9994-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Maxim Petrov, Kirill Gagarski, Mikhail J. Moiseev |
Automatic transformation of SystemC designs to speed up simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: 2015 IEEE East-West Design & Test Symposium, EWDTS 2015, Batumi, Georgia, September 26-29, 2015, pp. 1-4, 2015, IEEE Computer Society, 978-1-4673-7776-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Fabien Teysseyre, David Navarro, Ian O'Connor, Francesco Cascio, Fabio Cenni, Olivier Guillaume |
Fast optical simulation from a reduced set of impulse responses using SystemC-AMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015, pp. 405-409, 2015, ACM, 978-3-9815370-4-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Jannis Stoppe, Robert Wille, Rolf Drechsler |
Automated feature localization for dynamically generated SystemC designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, DATE 2015, Grenoble, France, March 9-13, 2015, pp. 277-280, 2015, ACM, 978-3-9815370-4-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Moisés Urbina, Zaher Owda, Roman Obermaisser |
Simulation Environment Based on SystemC and VEOS for Multi-core Processors with Virtual AUTOSAR ECUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT/IUCC/DASC/PICom ![In: 15th IEEE International Conference on Computer and Information Technology, CIT 2015; 14th IEEE International Conference on Ubiquitous Computing and Communications, IUCC 2015; 13th IEEE International Conference on Dependable, Autonomic and Secure Computing, DASC 2015; 13th IEEE International Conference on Pervasive Intelligence and Computing, PICom 2015, Liverpool, United Kingdom, October 26-28, 2015, pp. 1843-1852, 2015, IEEE, 978-1-5090-0154-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Paula Herber, Marcel Pockrandt, Sabine Glesner |
STATE - A SystemC to Timed Automata Transformation Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPCC/CSS/ICESS ![In: 17th IEEE International Conference on High Performance Computing and Communications, HPCC 2015, 7th IEEE International Symposium on Cyberspace Safety and Security, CSS 2015, and 12th IEEE International Conference on Embedded Software and Systems, ICESS 2015, New York, NY, USA, August 24-26, 2015, pp. 1074-1077, 2015, IEEE, 978-1-4799-8937-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Jan Henrik Weinstock, Rainer Leupers, Gerd Ascheid |
Modeling Exclusive Memory Access for a Time-Decoupled Parallel SystemC Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCOPES ![In: Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015, Sankt Goar, Germany, June 1-3, 2015, pp. 129-132, 2015, ACM, 978-1-4503-3593-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Diego Stéfano Fonseca Ferreira, Augusto Loureiro da Costa, André Gustavo Scolari Conceição |
A SystemC Model of a Low-Level Inference Engine for Symbolic Reasoning in Cognitive Agents*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SyRoCo ![In: 11th IFAC Symposium on Robot Control, SyRoCo 2015, Salvador, Brazil, August 26-28, 2015, pp. 178-182, 2015, International Federation of Automatic Control. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Philipp A. Hartmann, Kim Grüttner, Wolfgang Nebel |
Advanced SystemC Tracing and Analysis Framework for Extra-Functional Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARC ![In: Applied Reconfigurable Computing - 11th International Symposium, ARC 2015, Bochum, Germany, April 13-17, 2015, Proceedings, pp. 141-152, 2015, Springer, 978-3-319-16213-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Lydia Jaß, Paula Herber |
Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IESS ![In: System Level Design from HW/SW to Memory for Embedded Systems - 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedings, pp. 51-63, 2015, Springer, 978-3-319-90022-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Asad Khan, Weiqiang Ma, Chris Wolf, Bengt Werner |
Multi-Threaded Simics SystemC Virtual Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015, Austin, TX, USA, November 2-6, 2015, pp. 373-379, 2015, IEEE, 978-1-4673-8389-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Wei Zuo, Warren Kemmerer, Jong Bin Lim, Louis-Noël Pouchet, Andrey Ayupov, Taemin Kim, Kyungtae Han, Deming Chen |
A Polyhedral-based SystemC Modeling and Generation Framework for Effective Low-power Design Space Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015, Austin, TX, USA, November 2-6, 2015, pp. 357-364, 2015, IEEE, 978-1-4673-8389-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Michel Vasilevski, E. Queiroz, A. L. Fonseca, Ivanovitch Silva, Sebastian Yuri Cavalcanti Catunda, Luiz Affonso Guedes |
SystemC AMS modeling of a sensor node energy consumption and battery state-of-charge for WSN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NEWCAS ![In: IEEE 13th International New Circuits and Systems Conference, NEWCAS 2015, Grenoble, France, June 7-10, 2015, pp. 1-4, 2015, IEEE, 978-1-4799-8893-8. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Sara Vinco, Michele Lora, Mark Zwolinski |
Conservative behavioural modelling in systemc-AMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: 2015 Forum on Specification and Design Languages, FDL 2015, Barcelona, Spain, September 14-16, 2015, pp. 65-72, 2015, IEEE, 978-1-4673-7735-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Denis Becker, Matthieu Moy, Jérôme Cornet |
Challenges for the parallelization of loosely timed SystemC programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSP ![In: 2015 International Symposium on Rapid System Prototyping, RSP 2015, Amsterdam, The Netherlands, October 8-9, 2015, pp. 54-60, 2015, IEEE, 978-1-4673-8276-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Rosario Distefano, Franco Fummi, Carlo Laudanna, Nicola Bombieri, Rosalba Giugno |
A SystemC Platform for Signal Transduction Modelling and Simulation in Systems Biology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 25th edition on Great Lakes Symposium on VLSI, GLVLSI 2015, Pittsburgh, PA, USA, May 20 - 22, 2015, pp. 233-236, 2015, ACM, 978-1-4503-3474-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Yunzhong Zhu, Tao Li, Jingpeng Guo, Haiyang Zhou, Fangfa Fu |
A novel low-cost interface design for SystemC and SystemVerilog Co-simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASICON ![In: 2015 IEEE 11th International Conference on ASIC, ASICON 2015, Chengdu, China, November 3-6, 2015, pp. 1-4, 2015, IEEE, 978-1-4799-8483-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Carna Radojicic, Thiyagarajan Purusothaman, Christoph Grimm 0001 |
Towards formal validation: Symbolic simulation of SystemC models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DTIS ![In: 10th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, DTIS 2015, Napoli, Italy, April 21-23, 2015, pp. 1-6, 2015, IEEE, 978-1-4799-1999-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Mehdi Sedighi, Foroogh Haddadi, Samaneh Emami, Mahya Saffarpour |
A heuristic algorithm for high level synthesis of decimal arithmetic circuits using SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DTIS ![In: 10th International Conference on Design & Technology of Integrated Systems in Nanoscale Era, DTIS 2015, Napoli, Italy, April 21-23, 2015, pp. 1-6, 2015, IEEE, 978-1-4799-1999-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Vladimir Herdt, Hoang Minh Le 0001, Rolf Drechsler |
Verifying SystemC using stateful symbolic simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 52nd Annual Design Automation Conference, San Francisco, CA, USA, June 7-11, 2015, pp. 49:1-49:6, 2015, ACM, 978-1-4503-3520-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
15 | Cristiano Scavongelli, Franco Francesco, Simone Orcioni, Massimo Conti |
Battery management system simulation using SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISES ![In: 12th International Workshop on Intelligent Solutions in Embedded Systems, WISES 2015, Ancona, Italy, October 29-30, 2015, pp. 151-156, 2015, IEEE, 978-8-8875-4808-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
15 | Christoph Schumacher |
Construction of parallel and distributed SystemC simulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2015 |
RDF |
|
15 | Benjamin Carrión Schäfer, Anushree Mahapatra |
S2CBench: Synthesizable SystemC Benchmark Suite for High-Level Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Embed. Syst. Lett. ![In: IEEE Embed. Syst. Lett. 6(3), pp. 53-56, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Giorgio Biagetti, Marco Giammarini, Mauro Ballicchia, Massimo Conti, Simone Orcioni |
SystemC-WMS: wave mixed signal simulator for non-linear heterogeneous systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Embed. Syst. ![In: Int. J. Embed. Syst. 6(4), pp. 277-288, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Tim Schmidt, Kim Grüttner, Rainer Dömer, Achim Rettberg |
A program state machine based virtual processing model in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGBED Rev. ![In: SIGBED Rev. 11(4), pp. 7-12, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli |
Testbench Qualification of SystemC TLM Protocols through Mutation Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 63(5), pp. 1248-1261, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Tiago Rogério Mück, Antônio Augusto Fröhlich |
Aspect-oriented RTL HW design using SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 38(2), pp. 113-123, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Ed Harcourt, James T. Perconti |
A SystemC library for specifying pipeline abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 38(1), pp. 76-81, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Christoph Schumacher, Jan Henrik Weinstock, Rainer Leupers, Gerd Ascheid, Laura Tosoratto, Alessandro Lonardo, Dietmar Petras, Andreas Hoffmann 0002 |
legaSCi: Legacy SystemC Model Integration into Parallel Simulators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 13(5s), pp. 165:1-165:24, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Claude Helmstetter |
TLM.open: a SystemC/TLM Frontend for the CADP Verification Toolbox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Leibniz Trans. Embed. Syst. ![In: Leibniz Trans. Embed. Syst. 1(1), pp. 02:1-02:18, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Van Chan Ngo, Axel Legay, Jean Quilbeuf |
Dynamic Verification of SystemC with Statistical Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1412.0885, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Abdelhakim Alali, Ismail Assayad, Mohamed Sadik |
Modeling and simulation of multiprocessor systems MPSoC by SystemC/TLM2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1408.0982, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | John W. O'Leary, David M. Russinoff |
Modeling Algorithms in SystemC and ACL2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL2 ![In: Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014., pp. 145-162, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Nesrine Harrath, Bruno Monsuez |
Compositional reactive semantics of system-level designs written in SystemC and formal verification with predicate abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Crit. Comput. Based Syst. ![In: Int. J. Crit. Comput. Based Syst. 5(3/4), pp. 268-299, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Abbas Abdulhameed, Ahmed Hammad, Hassan Mountassir, Bruno Tatibouët |
An Approach based on SysML and SystemC to Simulate Complex Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MODELSWARD ![In: MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7 - 9 January, 2014, pp. 555-560, 2014, SciTePress, 978-989-758-007-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Nicolas Ventroux, Julien Peeters, Tanguy Sassolas, James C. Hoe |
Highly-parallel special-purpose multicore architecture for SystemC/TLM simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSAMOS ![In: XIVth International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2014, Agios Konstantinos, Samos, Greece, July 14-17, 2014, pp. 250-257, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Sonali Dutta, Moshe Y. Vardi |
Assertion-based flow monitoring of SystemC models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014, pp. 145-154, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Michael Mefenza, Franck Yonga, Christophe Bobda |
Automatic UVM Environment Generation for Assertion-Based and Functional Verification of SystemC Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: 15th International Microprocessor Test and Verification Workshop, MTV 2014, Austin, TX, USA, December 15-16, 2014, pp. 16-21, 2014, IEEE Computer Society, 978-1-4673-6858-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Filippo Cucchetto, Alessandro Lonardi, Graziano Pravadelli |
A common architecture for co-simulation of SystemC models in QEMU and OVP virtual platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC ![In: 22nd International Conference on Very Large Scale Integration, VLSI-SoC, Playa del Carmen, Mexico, October 6-8, 2014, pp. 1-6, 2014, IEEE, 978-1-4799-6016-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Lonardi, Graziano Pravadelli |
On the Co-simulation of SystemC with QEMU and OVP Virtual Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC (Selected Papers) ![In: VLSI-SoC: Internet of Things Foundations - 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, Playa del Carmen, Mexico, October 6-8, 2014, Revised and Extended Selected Papers, pp. 110-128, 2014, Springer, 978-3-319-25278-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Jan Henrik Weinstock, Christoph Schumacher, Rainer Leupers, Gerd Ascheid, Laura Tosoratto |
Time-decoupled parallel SystemC simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2014, Dresden, Germany, March 24-28, 2014, pp. 1-4, 2014, European Design and Automation Association, 978-3-9815370-2-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Hoang Minh Le 0001, Rolf Drechsler |
Towards verifying determinism of SystemC designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2014, Dresden, Germany, March 24-28, 2014, pp. 1-4, 2014, European Design and Automation Association, 978-3-9815370-2-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Jones Yudi Mori, Michael Hübner 0001 |
A high-level analysis of a multi-core vision processor using SystemC and TLM2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ReConFig ![In: 2014 International Conference on ReConFigurable Computing and FPGAs, ReConFig14, Cancun, Mexico, December 8-10, 2014, pp. 1-6, 2014, IEEE, 978-1-4799-5944-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Naiju Zeng, Wenhui Zhang |
A Symbolic Partial Order Method for Verifying SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC (1) ![In: 21st Asia-Pacific Software Engineering Conference, APSEC 2014, Jeju, South Korea, December 1-4, 2014. Volume 1: Research Papers, pp. 271-278, 2014, IEEE Computer Society, 978-1-4799-7425-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | A. A. Nacci, Giovanni Bettinazzi, Christian Pilato, Vincenzo Rana, Marco D. Santambrogio, Donatella Sciuto |
A SystemC-based framework for the simulation of appliances networks in energy-aware smart spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WF-IoT ![In: IEEE World Forum on Internet of Things, WF-IoT 2014, Seoul, South Korea, March 6-8, 2014, pp. 485-490, 2014, IEEE Computer Society, 978-1-4799-3459-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Mohamed Ammar Ben Khadra, Yu Bai 0003, Klaus Schneider 0001 |
High level modeling of elastic circuits in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (TMS-DEVS) ![In: 2014 Spring Simulation Multiconference, SpringSim '14, Tampa, FL, USA, April 13-16, 2014, Proceedings of the Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, pp. 24, 2014, ACM. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Tim Schmidt, Kim Grüttner, Rainer Dömer, Achim Rettberg |
A Program State Machine Based Virtual Processing Model in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWiLi ![In: Proceedings of the Embed With Linux 2014 Workshop, Lisboa, Portugal, November 13-14, 2014., 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Jannis Stoppe, Robert Wille, Rolf Drechsler |
Validating SystemC Implementations Against Their Formal Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 27th Symposium on Integrated Circuits and Systems Design, Aracaju, Brazil, September 1-5, 2014, pp. 13:1-13:8, 2014, ACM, 978-1-4503-3156-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Torsten Maehne, Zhi Wang 0005, Benoit Vernay, Liliana Andrade, Cédric Ben Aoun, Jean-Paul Chaput, Marie-Minerve Louërat, François Pêcheux, Arnaud Krust, Gerold Schropfer, Martin Barnasconi, Karsten Einwich, Fabio Cenni, Olivier Guillaume |
UVM-SystemC-AMS based framework for the correct by construction design of MEMS in their real heterogeneous application context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: 21st IEEE International Conference on Electronics, Circuits and Systems, ICECS 2014, Marseille, France, December 7-10, 2014, pp. 862-865, 2014, IEEE, 978-1-4799-4242-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Yin-Tsung Hwang, Jiun-Yan Chen |
An IP interface design compiler with SystemC based input specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NEWCAS ![In: IEEE 12th International New Circuits and Systems Conference, NEWCAS 2014, Trois-Rivieres, QC, Canada, June 22-25, 2014, pp. 149-152, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Bastian Haetzer, Martin Radetzki |
A comparison of parallel systemc simulation approaches at RTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014, pp. 1-8, 2014, IEEE, 978-2-9530504-9-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Leandro Gil, Martin Radetzki |
SystemC AMS power electronic modeling with ideal instantaneous switches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014, pp. 1-8, 2014, IEEE, 978-2-9530504-9-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Christian Sauer 0001, Hans-Martin Blüthgen, Hans-Peter Loeb |
Distributed, loosely-synchronized systemC/TLM simulations of many-processor platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014, pp. 1-8, 2014, IEEE, 978-2-9530504-9-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Alper Sen 0001, Onder Kalaci |
Hybrid dynamic data race detection in systemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2014 Forum on Specification and Design Languages, FDL 2014, Munich, Germany, October 14-16, 2014, pp. 1-6, 2014, IEEE, 978-2-9530504-9-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Víctor Fernández 0001, Elier Wilpert, Herique Isidoro, Cédric Ben Aoun, François Pêcheux |
SystemC-MDVP modelling of pressure driven microfluidic systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MECO ![In: 3rd Mediterranean Conference on Embedded Computing, MECO 2014, Budva, Montenegro, June 15-19, 2014, pp. 10-13, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Iban Ayestaran, Carlos F. Nicolás, Jon Pérez 0001, Peter P. Puschner |
Modeling logical execution time based safety-critical embedded systems in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MECO ![In: 3rd Mediterranean Conference on Embedded Computing, MECO 2014, Budva, Montenegro, June 15-19, 2014, pp. 77-80, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Moo-Kyoung Chung, Jun-Kyoung Kim, Soojung Ryu |
SimParallel: A high performance parallel SystemC simulator using hierarchical multi-threading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: IEEE International Symposium on Circuits and Systemss, ISCAS 2014, Melbourne, Victoria, Australia, June 1-5, 2014, pp. 1472-1475, 2014, IEEE, 978-1-4799-3431-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Markus Becker 0001, Christoph Kuznik, Wolfgang Müller 0003 |
WiP abstract: Fault effect modeling in a heterogeneous SystemC virtual platform framework for cyber-physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCPS ![In: ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS, Berlin, Germany, April 14-17, 2014, pp. 213, 2014, IEEE Computer Society, 978-1-4799-4931-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Paula Herber, Bettina Hünnemeyer |
Formal Verification of SystemC Designs using the BLAST Software Model Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACES-MB@MoDELS ![In: Proceedings of the 7th International Workshop on Model-based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), Valencia, Spain, September 30th, 2014., pp. 44-53, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Benjamin Beichler, Alexander Nitsch, Frank Golatowski, Christian Haubelt |
Ein abstraktes SystemC-Modell zur Analyse und Leistungsabschätzung des europäischen Zugsicherungssystems ETCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GI-Jahrestagung ![In: 44. Jahrestagung der Gesellschaft für Informatik, Big Data - Komplexität meistern, INFORMATIK 2014, Stuttgart, Germany, September 22-26, 2014, pp. 1191-1201, 2014, GI, 978-3-88579-626-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
15 | Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli, Francesco Stefanni, Tara Ghasempouri, Michele Lora, Giovanni Auditore, Mirella Negro Marcigaglia |
On the reuse of RTL assertions in SystemC TLM verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATW ![In: 15th Latin American Test Workshop - LATW 2014, Fortaleza, Brazil, March 12-15, 2014, pp. 1-6, 2014, IEEE. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Yao Li 0009, Ramy Iskander, Marie-Minerve Louërat |
Modeling, design and verification platform using SystemC AMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: Fifteenth International Symposium on Quality Electronic Design, ISQED 2014, Santa Clara, CA, USA, March 3-5, 2014, pp. 39-46, 2014, IEEE, 978-1-4799-3945-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
Analysis of Permanent Faults in Transaction Level SystemC Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 34th International Conference on Distributed Computing Systems Workshops (ICDCS 2014 Workshops), Madrid, Spain, June 30 - July 3, 2014, pp. 154-160, 2014, IEEE Computer Society, 978-1-4799-4181-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Naiju Zeng, Wenhui Zhang |
An Executable Semantics of SystemC Transaction Level Models and Its Applications with VERDS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 198-201, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Judith Peters, Robert Wille, Rolf Drechsler |
Generating SystemC Implementations for Clock Constraints Specified in UML/MARTE CCSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2014 19th International Conference on Engineering of Complex Computer Systems, Tianjin, China, August 4-7, 2014, pp. 116-125, 2014, IEEE Computer Society, 978-1-4799-5482-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Zhimiao Chen, Yifan Wang 0001, Lei Liao, Ye Zhang 0003, Aytac Atac, Jan Henning Müller, Ralf Wunderlich, Stefan Heinen |
A SystemC Virtual Prototyping based Methodology for Multi-Standard SoC Functional Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: The 51st Annual Design Automation Conference 2014, DAC '14, San Francisco, CA, USA, June 1-5, 2014, pp. 59:1-59:6, 2014, ACM, 978-1-4503-2730-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Software Engineering and Formal Methods - 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. Proceedings, pp. 175-189, 2014, Springer, 978-3-319-10430-0. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
15 | Marc Michael |
Methoden zum Erfassen und Entwickeln von SystemC-Modellen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
15 | Khouloud Zine Elabidine |
Méthode de prototypage virtuel permettant l'évaluation précoce de la consommation énergétique dans les systèmes intégrés sur puce. (Early design power estimation method for multiprocessor system on chip, based on SystemC prototyping). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2014 |
RDF |
|
15 | Marius Monton, Jakob Engblom, Mark Burton |
Checkpointing for Virtual Platforms and SystemC-TLM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 21(1), pp. 133-141, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Kun-Lin Tsai, I-Jui Tung, Feipei Lai |
A Fast Power Estimation Method for Content Addressable Memory by Using SystemC Simulation Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. ![In: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 96-A(8), pp. 1723-1729, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Ali Ebnenasir, Reza Hajisheykhi, Sandeep S. Kulkarni |
Facilitating the design of fault tolerance in transaction level SystemC programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 496, pp. 50-68, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Weiyun Lu, Martin Radetzki |
Concurrent and comparative fault simulation in SystemC and its application in robustness evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 37(2), pp. 115-128, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Alessandro Cimatti, Iman Narasamdya, Marco Roveri |
Software Model Checking SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32(5), pp. 774-787, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Keita Nakajima, Shuto Kurebayashi, Yusuke Fukutsuka, Takuji Hieda, Ittetsu Taniguchi, Hiroyuki Tomiyama, Hiroaki Takada |
Naxim: A Fast and Retargetable Network-on-Chip Simulator with QEMU and SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Netw. Comput. ![In: Int. J. Netw. Comput. 3(2), pp. 217-227, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
15 | Yanyan Gao 0001, Xi Li 0003 |
A Semantics-based Translation Method for Automated Verification of SystemC TLM Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Electron. Test. ![In: J. Electron. Test. 29(5), pp. 685-695, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Paula Herber, Sabine Glesner |
A HW/SW co-verification framework for SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 12(1s), pp. 61:1-61:23, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Mikhail J. Moiseev, Mikhail Glukhikh, Alexey V. Zakharov, Harald Richter 0001 |
A static analysis approach to data race detection in SystemC designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDECS ![In: 16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2013, Karlovy Vary, Czech Republic, April 8-10, 2013, pp. 54-59, 2013, IEEE Computer Society, 978-1-4673-6135-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Syed Saif Abrar, Maksim Jenihhin, Jaan Raik |
Extensible open-source framework for translating RTL VHDL IP cores to SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDECS ![In: 16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2013, Karlovy Vary, Czech Republic, April 8-10, 2013, pp. 112-115, 2013, IEEE Computer Society, 978-1-4673-6135-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Syed Saif Abrar, Maksim Jenihhin, Jaan Raik, Shyam Kiran A., C. Babu |
Performance analysis of cosimulating processor core in VHDL and SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICACCI ![In: International Conference on Advances in Computing, Communications and Informatics, ICACCI 2013, Mysore, India, August 22-25, 2013, pp. 563-568, 2013, IEEE, 978-1-4799-2432-5. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Efstathios Sotiriou-Xanthopoulos, Kostas Siozios, George Economakos, Dimitrios Soudris |
A Process-based Reconfigurable SystemC Module for simulation speedup. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSAMOS ![In: 2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2013, Agios Konstantinos, Samos Island, Greece, July 15-18, 2013, pp. 72-79, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Yanyan Gao 0001, Xi Li 0003 |
An effective model extraction method with state space compression for model checking SystemC TLM designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSAMOS ![In: 2013 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2013, Agios Konstantinos, Samos Island, Greece, July 15-18, 2013, pp. 64-71, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni |
Modeling and Analyzing Timing Faults in Transaction Level SystemC Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSS ![In: Stabilization, Safety, and Security of Distributed Systems - 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings, pp. 344-347, 2013, Springer, 978-3-319-03088-3. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Nick Ni, Yi Peng |
Co-simulation framework of SystemC SoC virtual prototype and custom logic (abstract only). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: The 2013 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, FPGA '13, Monterey, CA, USA, February 11-13, 2013, pp. 278, 2013, ACM, 978-1-4503-1887-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Hoang Minh Le 0001, Daniel Große, Rolf Drechsler |
Scalable fault localization for SystemC TLM designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013, pp. 35-38, 2013, EDA Consortium San Jose, CA, USA / ACM DL, 978-1-4503-2153-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Matthieu Moy |
Parallel programming with SystemC for loosely timed models: a non-intrusive approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 13, Grenoble, France, March 18-22, 2013, pp. 9-14, 2013, EDA Consortium San Jose, CA, USA / ACM DL, 978-1-4503-2153-2. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
15 | Pablo Peñil, Pablo Sánchez Espeso, David de la Fuente, Jesús Barba, Juan Carlos López 0001 |
UML/MARTE Methodology for Automatic SystemC Code Generation of Openmax Multimedia Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 2013 Euromicro Conference on Digital System Design, DSD 2013, Los Alamitos, CA, USA, September 4-6, 2013, pp. 467-470, 2013, IEEE Computer Society, 978-1-4799-2978-8. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|