|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 643 occurrences of 313 keywords
|
|
|
Results
Found 1280 publication records. Showing 1280 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
19 | Imed Moussa, Thierry Grellier, Giang Nguyen |
Exploring SW Performance Using SoC Transaction-Level Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), 3-7 March 2003, Munich, Germany, pp. 20120-20125, 2003, IEEE Computer Society, 0-7695-1870-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Robert Siegmund, Dietmar Müller 0001 |
Efficient modeling and synthesis of on-chip communication protocols for network-on-chip design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 2003 International Symposium on Circuits and Systems, ISCAS 2003, Bangkok, Thailand, May 25-28, 2003, pp. 81-84, 2003, IEEE, 0-7803-7761-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Giovanni Agosta, Francesco Bruschi, Donatella Sciuto |
Static analysis of transaction-level models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 40th Design Automation Conference, DAC 2003, Anaheim, CA, USA, June 2-6, 2003, pp. 448-453, 2003, ACM, 1-58113-688-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
communication implementation, static analysis, transaction level modelling |
19 | Maurizio Martignano, Nicola Drago, Franco Fummi, Stefano Martini |
A combined approach to validate the design of embedded network devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (3) ![In: Proceedings of the 2002 International Symposium on Circuits and Systems, ISCAS 2002, Scottsdale, Arizona, USA, May 26-29, 2002, pp. 169-172, 2002, IEEE, 0-7803-7448-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Patrice Gerin, Sungjoo Yoo, Gabriela Nicolescu, Ahmed Amine Jerraya |
Scalable and flexible cosimulation of SoC designs with heterogeneous multi-processor target architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of ASP-DAC 2001, Asia and South Pacific Design Automation Conference 2001, January 30-February 2, 2001, Yokohama, Japan, pp. 63-68, 2001, ACM, 0-7803-6634-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Stan Y. Liao |
Towards a new standard for system-level design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Eighth International Workshop on Hardware/Software Codesign, CODES 2000, San Diego, California, USA, 2000, pp. 2-6, 2000, ACM, 1-58113-268-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Nicolas Ventroux, Alexandre Guerre, Tanguy Sassolas, L. Moutaoukil, Guillaume Blanc, Charly Bechara, Raphaël David |
SESAM: An MPSoC Simulation Environment for Dynamic Application Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010, pp. 1880-1886, 2010, IEEE Computer Society, 978-0-7695-4108-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
SESAM, simulation, modeling, multiprocessor, dynamic, exploration, SystemC, MPSoC |
16 | Dogan Fennibay, Arda Yurdakul, Alper Sen 0001 |
Introducing Hardware-in-Loop Concept to the Hardware/Software Co-design of Real-time Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010, pp. 1902-1909, 2010, IEEE Computer Society, 978-0-7695-4108-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
hil, industrial communication, bacnet, real-time, embedded, linux, systemc, codesign, co-design, hardware/software co-design, hardware-in-the-loop |
16 | Ke Yu, Neil C. Audsley |
Combining Behavioural Real-time Software Modelling with the OSCI TLM-2.0 Communication Standard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIT ![In: 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010, pp. 1825-1832, 2010, IEEE Computer Society, 978-0-7695-4108-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Simulation, Software, SystemC, TLM |
16 | Juan Fernando Eusse Giraldo, Michael Hübner 0001, Ricardo Pezzuol Jacobi |
BRICK: a multi-context expression grained reconfigurable architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, SBCCI 2009, Natal, Brazil, August 31 - September 3, 2009, 2009, ACM, 978-1-60558-705-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
validation, reconfigurable computing, MIMO, SystemC, co-simulation, coarse grain |
16 | Jason Luu, Keith Redmond, William Lo, Paul Chow, Lothar Lilge, Jonathan Rose |
FPGA-based Monte Carlo Computation of Light Absorption for Photodynamic Cancer Therapy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: FCCM 2009, 17th IEEE Symposium on Field Programmable Custom Computing Machines, Napa, California, USA, 5-7 April 2009, Proceedings, pp. 157-164, 2009, IEEE Computer Society, 978-0-7695-3716-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
photodynamic therapy, PDT, Stratix, DE3, FPGA, applications, pipeline, Power, Monte Carlo, SystemC, acceleration, cancer |
16 | Tom Borgstrom, Eshel Haritan, Ron Wilson, David Abada, Andrew Dauman, Ramesh Chandra, Olivier Mielo, Chuck Cruse, Achim Nohl |
System prototypes: virtual, hardware or hybrid? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009, pp. 1-3, 2009, ACM, 978-1-60558-497-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
SystemC TLM, hardware/software co-verification, rapid prototype, embedded software, virtual prototype, virtual platform, system validation, FPGA prototype, system prototype |
16 | Katalin Popovici, Xavier Guerin, Frédéric Rousseau 0001, Pier Stanislao Paolucci, Ahmed Amine Jerraya |
Platform-based software design flow for heterogeneous MPSoC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 7(4), pp. 39:1-39:23, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
multimedia, programming environment, software design, SystemC, Simulink, transaction level modeling, Multiprocessor system-on chip |
16 | Ankush Varma, Eric Debes, Igor Kozintsev, Paul Klein, Bruce L. Jacob |
Accurate and fast system-level power modeling: An XScale-based case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 7(3), pp. 25:1-25:20, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
embedded systems, SystemC, Power modeling |
16 | Ankush Varma, Bruce L. Jacob, Eric Debes, Igor Kozintsev, Paul Klein |
Accurate and fast system-level power modeling: An XScale-based case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 6(4), pp. 26, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
embedded systems, SystemC, Power modeling |
16 | Deepak Mathaikutty, Hiren D. Patel, Sandeep K. Shukla, Axel Jantsch |
EWD: A metamodeling driven customizable multi-MoC system modeling framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 12(3), pp. 33:1-33:43, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
ForSyDe, MoC, heterogeneous system design, interoperable modeling language, Metamodeling, metamodel, SystemC, functional language, denotational semantics, Ptolemy II |
16 | George Sobral Silveira, Karina R. G. da Silva, Elmar U. K. Melcher |
Functional verification of an MPEG-4 decoder design using a random constrained movie generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2007, Copacabana, Rio de Janeiro, Brazil, September 3-6, 2007, pp. 360-364, 2007, ACM, 978-1-59593-816-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
VeriSC, randmovie, stimuli, verification, SystemC, movie, functional coverage |
16 | Wolfgang Klingauf, Robert Günzel, Christian Schröder |
Embedded software development on top of transaction-level models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2007, Salzburg, Austria, September 30 - October 3, 2007, pp. 27-32, 2007, ACM, 978-1-59593-824-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
hardware-software communication, middleware, SoC, embedded software, SystemC, HPC, TLM |
16 | Felipe Klein, Guido Araujo, Rodolfo Azevedo, Roberto Leao, Luiz C. V. dos Santos |
A multi-model power estimation engine for accuracy optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISLPED ![In: Proceedings of the 2007 International Symposium on Low Power Electronics and Design, 2007, Portland, OR, USA, August 27-29, 2007, pp. 280-285, 2007, ACM, 978-1-59593-709-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
power macromodeling, powerSC, low power design, systemC, power estimation |
16 | James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu |
A new efficient EDA tool design methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 5(2), pp. 408-430, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Net Framework, C?, ESys.Net, attribute programming, embedded systems, SoC, VHDL, SystemC, modeling and simulation, CoDesign |
16 | Wolfgang Mueller, Yves Vanderperren |
UML and model-driven development for SoC design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2006, Seoul, Korea, October 22-25, 2006, pp. 1, 2006, ACM, 1-59593-370-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
simulation, UML, SoC, tools, SystemC, UML profiles, ESL design |
16 | Daniel Große, Ulrich Kühne, Rolf Drechsler |
HW/SW co-verification of embedded systems using bounded model checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 16th ACM Great Lakes Symposium on VLSI 2006, Philadelphia, PA, USA, April 30 - May 1, 2006, pp. 43-48, 2006, ACM, 1-59593-347-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
hardware/software co-verification, embedded systems, formal verification, SystemC, bounded model checking, PSL |
16 | Franco Fummi, Giovanni Perbellini, Mirko Loghi, Massimo Poncino |
ISS-centric modular HW/SW co-simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 16th ACM Great Lakes Symposium on VLSI 2006, Philadelphia, PA, USA, April 30 - May 1, 2006, pp. 31-36, 2006, ACM, 1-59593-347-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
systemc, co-simulation, instruction set simulator |
16 | Anoosh Hosseini, Ashish Parikh, H. T. Chin, Pascal Urard, Emil F. Girczyc, S. Bloch |
Building a standard ESL design and verification methodology: is it just a dream? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 370-371, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
modeling rapid hardware prototyping, design, verification, methodology, systemC, RTL, ESL, C/C++, systemVerilog |
16 | Wolfgang Klingauf, Robert Günzel, Oliver Bringmann 0001, Pavel Parfuntseu, Mark Burton |
GreenBus: a generic interconnect fabric for transaction level modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 905-910, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
SoC, SystemC, TLM, on-chip communication |
16 | Jae-Gon Lee, Woo-Seung Yang, Young-Su Kwon, Young-Il Kim, Chong-Min Kyung |
Simulation acceleration of transaction-level models for SoC with RTL sub-blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005, pp. 499-502, 2005, ACM Press, 0-7803-8737-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
SoC, systemc, transaction-level modeling, TLM, simulation acceleration |
16 | Andreas Wieferink, Rainer Leupers, Gerd Ascheid, Heinrich Meyr, Tom Michiels, Achim Nohl, Tim Kogel |
Retargetable generation of TLM bus interfaces for MP-SoC platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2005, Jersey City, NJ, USA, September 19-21, 2005, pp. 249-254, 2005, ACM, 1-59593-161-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
simulation, SystemC, architecture exploration, TLM, retargetability, MP-SoC |
16 | Annette Bunker, Ganesh Gopalakrishnan, Sally A. McKee |
Formal hardware specification languages for protocol compliance verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 9(1), pp. 1-32, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Heterogeneous Hardware Logic, Hierarchical Annotated Action Diagrams, Lava, Objective VHDL, OpenVera, SpecC, Specification and Description Language, The Unified Modeling Language, Java, Statecharts, SystemC, Message Sequence Charts, Esterel, Live Sequence Charts, timing diagrams, hardware monitors, SystemVerilog, e, Property Specification Language |
16 | James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu, Luc Charest, François R. Boyer, J. P. David, Guy Bois |
ESys.Net: a new solution for embedded systems modeling and simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCTES ![In: Proceedings of the 2004 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES'04), Washington, DC, USA, June 11-13, 2004, pp. 107-114, 2004, ACM, 1-58113-806-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
CIL, ESys.Net, attribute programming, component-based programming, simulation, Java, modeling, embedded systems, C++, framework, system on chip, VHDL, SystemC, hardware/software codesign, C#, Net, Verilog, HDLs, SystemVerilog |
16 | Rajesh K. Gupta 0001, Sandeep K. Shukla, Nick Savoiu |
Efficient Simulation of Synthesis-Oriented System Level Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), October 2-4, 2002, Kyoto, Japan, pp. 168-173, 2002, ACM / IEEE Computer Society, 1-58113-576-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
simulation, SystemC, system-level design |
16 | Oliver Schliebusch, Andreas Hoffmann 0002, Achim Nohl, Gunnar Braun, Heinrich Meyr |
Architecture Implementation Using the Machine Description Language LISA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC/VLSI Design ![In: Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), and the 15th International Conference on VLSI Design (VLSI Design 2002), Bangalore, India, January 7-11, 2002, pp. 239-244, 2002, IEEE Computer Society, 0-7695-1299-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Design, Implementation, Synthesis, VHDL, Exploration, SystemC, ASIP, Verilog, LISA |
15 | Mohamed Amine Hamdi, Giovanni Pollo, Matteo Risso, Germain Haugou, Alessio Burrello, Enrico Macii, Massimo Poncino, Sara Vinco, Daniele Jahier Pagliari |
Integrating SystemC-AMS Power Modeling with a RISC-V ISS for Virtual Prototyping of Battery-operated Embedded Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2404.01861, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Fabian Schätzle, Carlos Falquez, Stefan Heinen, Nam Ho, Antoni Portero, Estela Suarez, Johannes Van Den Boom, Stefan van Waasen |
Modeling methodology for multi-die chip design based on gem5/SystemC co-simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAPIDO@HiPEAC ![In: Proceedings of the 16th Workshop on Rapid Simulation and Performance Evaluation for Design, RAPIDO 2024, Munich, Germany, 18 January 2024, pp. 35-41, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Philip Tasche, Raúl E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman |
Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI (2) ![In: Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II, pp. 187-209, 2024, Springer, 978-3-031-50520-1. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
15 | Enrico Fraccaroli, Sara Vinco |
Modeling Cyber-Physical Production Systems With SystemC-AMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 72(7), pp. 2039-2051, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Vittoriano Muttillo, Luigi Pomante, Marco Santic, Giacomo Valente |
SystemC-based Co-Simulation/Analysis for System-Level Hardware/Software Co-Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Electr. Eng. ![In: Comput. Electr. Eng. 110, pp. 108803, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Andrija Neskovic, Saleh Mulhem, Alexander Treff, Rainer Buchty, Thomas Eisenbarth 0001, Mladen Berekovic |
SystemC Model of Power Side-Channel Attacks Against AI Accelerators: Superstition or not? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2311.13387, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Pauline Blohm, Julius Adelt, Paula Herber |
Safe Integration of Learning in SystemC using Timed Contracts and Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023, pp. 12-22, 2023, ACM / IEEE, 979-8-4007-0318-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Nils Bosbach, Rebecca Pelke, Niko Zurstraßen, Lukas Jünger 0001, Jan Henrik Weinstock, Rainer Leupers |
Work-in-Progress: A Generic Non-Intrusive Parallelization Approach for SystemC TlM-2.0-Based Virtual Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2023, Hamburg, Germany, September 17-22, 2023, pp. 42-43, 2023, IEEE, 979-8-4007-0289-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
15 | Ebrahim Nouri, Nooshin Nosrati, Hanieh Totonchi Asl, Mozhgan Rezaie Manavand, Zainalabedin Navabi |
Multi-Level Fault Injection Methodology Using UVM-SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWDTS ![In: IEEE East-West Design & Test Symposium, EWDTS 2023, Batumi, Georgia, September 22-25, 2023, pp. 1-6, 2023, IEEE, 979-8-3503-1484-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Alexandra Küster, Rainer Dorsch, Christian Haubelt |
Structural Generation of Virtual Prototypes for Smart Sensor Development in SystemC-AMS from Simulink Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2023, Antwerp, Belgium, April 17-19, 2023, pp. 1-2, 2023, IEEE, 978-3-9819263-7-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Rahul Bhadani, Gabor Karsai, Hao Tu, Srdjan M. Lukic |
Modeling and Real-Time Simulation of Microgrid Components Using Systemc-Ams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Winter Simulation Conference, WSC 2023, San Antonio, TX, USA, December 10-13, 2023, pp. 3214-3225, 2023, IEEE, 979-8-3503-6966-3. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Hanwen Gong, Hu He 0001, Bin Gao 0006, Jianshi Tang, Qingtian Zhang, He Qian, Huaqiang Wu |
ACCLAIM: An End-to-End SystemC-AMS Simulation Framework for Analog In-Memory-Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTA ![In: IEEE International Conference on Integrated Circuits, Technologies and Applications, ICTA 2023, Hefei, China, October 27-29, 2023, pp. 134-135, 2023, IEEE, 979-8-3503-4428-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Zhuanhao Wu, Maya B. Gokhale, Scott Lloyd, Hiren D. Patel |
SCCL: An open-source SystemC to RTL translator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCCM ![In: 31st IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, FCCM 2023, Marina Del Rey, CA, USA, May 8-11, 2023, pp. 23-33, 2023, IEEE, 979-8-3503-1205-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Andrija Neskovic, Saleh Mulhem, Alexander Treff, Rainer Buchty, Thomas Eisenbarth 0001, Mladen Berekovic |
SystemC Model of Power Side-Channel Attacks Against AI Accelerators: Superstition or not? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: IEEE/ACM International Conference on Computer Aided Design, ICCAD 2023, San Francisco, CA, USA, October 28 - Nov. 2, 2023, pp. 1-8, 2023, IEEE, 979-8-3503-2225-5. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
15 | Mehran Goli, Rolf Drechsler |
Through the Looking Glass: Automated Design Understanding of SystemC-Based VPs at the ESL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(4), pp. 1181-1185, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Mukta Debnath, Animesh Basak Chowdhury, Debasri Saha, Susmita Sur-Kolay |
Test Generation for SystemC designs by interlaced Greybox Fuzzing and Concolic Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2205.04047, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Mehran Goli, Rolf Drechsler |
Simulation-based Verification of SystemC-based VPs at the ESL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2202.08046, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
15 | Nils Bosbach, Lukas Jünger 0001, Jan Moritz Joseph, Rainer Leupers |
NISTT: A Non-Intrusive SystemC-TLM 2.0 Tracing Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2207.11036, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Denis Uecker, Matthias Jung 0001 |
Split'n'Cover: ISO 26262 Hardware Safety Analysis with SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: Embedded Computer Systems: Architectures, Modeling, and Simulation - 22nd International Conference, SAMOS 2022, Samos, Greece, July 3-7, 2022, Proceedings, pp. 74-89, 2022, Springer, 978-3-031-15073-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Essraa Massoud, Mohamed Abdelsalam, Mona Safar, M. Watheq El-Kharashi |
A Reusable UVM-SystemC Verification Environment for Simulation, Hardware Emulation, and FPGA Prototyping: Case Studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICM ![In: International Conference on Microelectronics, ICM 2022, Casablanca, Morocco, December 4-7, 2022, pp. 38-41, 2022, IEEE, 978-1-6654-9324-6. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Nils Bosbach, Jan Moritz Joseph, Rainer Leupers, Lukas Jünger 0001 |
NISTT: A Non-Intrusive SystemC-TLM 2.0 Tracing Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC ![In: 30th IFIP/IEEE 30th International Conference on Very Large Scale Integration, VLSI-SoC 2022, Patras, Greece, October 3-5, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-9005-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Seyed Hossein Hashemi Shadmehri, Ali BanaGozar, Mehdi Kamal, Sander Stuijk, Ali Afzali-Kusha, Massoud Pedram, Henk Corporaal |
SySCIM: SystemC-AMS Simulation of Memristive Computation In-Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2022 Design, Automation & Test in Europe Conference & Exhibition, DATE 2022, Antwerp, Belgium, March 14-23, 2022, pp. 1467-1472, 2022, IEEE, 978-3-9819263-6-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Mehran Goli, Rolf Drechsler |
Simulation-based Verification of SystemC-based VPs at the ESL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2022, 25th Workshop, Virtual Event, Germany, February 17-18, 2022, pp. 1-4, 2022, VDE/IEEE, 978-3-8007-5754-1. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
15 | Yutong Wang, Arya Daroui, Rainer Dömer |
Demonstrating Scalability of the Checkerboard GPC with SystemC TLM-2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IESS ![In: Designing Modern Embedded Systems: Software, Hardware, and Applications - 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings, pp. 65-77, 2022, Springer, 978-3-031-34213-4. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Alexandra Küster, Rainer Dorsch, Christian Haubelt, Karsten Einwich |
Virtual Prototyping in SystemC AMS for Validation of Tight Sensor/Firmware Interaction in Smart Sensors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum on Specification & Design Languages, FDL 2022, Linz, Austria, September 14-16, 2022, pp. 1-8, 2022, IEEE, 978-1-6654-7332-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Chenyu Huang, Huaien Gao, Yongfeng Zhong, Shuting Cai |
A High-Performance Bidirectional Compiler for conversion between SystemC and Verilog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HP3C ![In: HP3C 2022: 6th International Conference on High Performance Compilation, Computing and Communications, Virtual Event, China, June 23-25, 2022, pp. 124-130, 2022, ACM, 978-1-4503-9629-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Melvin Galicia, Farhad Merchant, Rainer Leupers |
A Parallel SystemC Virtual Platform for Neuromorphic Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISQED ![In: 23rd International Symposium on Quality Electronic Design, ISQED 2022, Santa Clara, CA, USA, April 6-7, 2022, pp. 1-6, 2022, IEEE, 978-1-6654-9466-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Pascal Pieper, Vladimir Herdt, Daniel Große, Rolf Drechsler |
Verifying SystemC TLM peripherals using modern C++ symbolic execution tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10 - 14, 2022, pp. 1177-1182, 2022, ACM, 978-1-4503-9142-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
15 | Gabriel Busnot, Tanguy Sassolas, Nicolas Ventroux, Matthieu Moy |
Standard-compliant parallel SystemC simulation of loosely-timed transaction level models: From baremetal to Linux-based applications support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Integr. ![In: Integr. 79, pp. 23-40, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Khaled Allem, El-Bay Bourennane, Youcef Khelfaoui |
A Service-Oriented Component-Based Framework for Dynamic Reconfiguration Modeling Targeting SystemC/TLM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Reconfigurable Comput. ![In: Int. J. Reconfigurable Comput. 2021, pp. 5584391:1-5584391:31, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Zhongqi Cheng, Tim Schmidt, Rainer Dömer |
Scaled Static Analysis and IP Reuse for Out-of-Order Parallel SystemC Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Parallel Program. ![In: Int. J. Parallel Program. 49(2), pp. 200-215, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Breytner Fernández-Mesa, Liliana Andrade, Frédéric Pétrot |
Synchronization of Continuous Time and Discrete Events Simulation in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40(7), pp. 1450-1463, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Nicola Bombieri, Silvia Scaffeo, Antonio Mastrandrea, Simone Caligola, Tommaso Carlucci, Franco Fummi, Carlo Laudanna, Gabriela Constantin, Rosalba Giugno |
SystemC Implementation of Stochastic Petri Nets for Simulation and Parameterization of Biological Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 20(4), pp. 31:1-31:20, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Melvin Galicia, Farhad Merchant, Rainer Leupers |
A Parallel SystemC Virtual Platform for Neuromorphic Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.13157, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
15 | Sören Tempel, Vladimir Herdt, Rolf Drechsler |
An Effective Methodology for Integrating Concolic Testing with SystemC-based Virtual Prototypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation & Test in Europe Conference & Exhibition, DATE 2021, Grenoble, France, February 1-5, 2021, pp. 218-221, 2021, IEEE, 978-3-9819263-5-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Mehran Goli, Alireza Mahzoon, Rolf Drechsler |
Automated Debugging-Aware Visualization Technique for SystemC HLS Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: 24th Euromicro Conference on Digital System Design, DSD 2021, Virtual Event / Palermo, Sicily, Italy, September 1-3, 2021, pp. 519-526, 2021, IEEE, 978-1-6654-2703-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Mehran Goli, Rolf Drechsler |
ATLaS: Automatic Detection of Timing-based Information Leakage Flows for SystemC HLS Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, Tokyo, Japan, January 18-21, 2021, pp. 67-72, 2021, ACM, 978-1-4503-7999-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Breytner Joseph Fernández-Mesa, Liliana Andrade, Frédéric Pétrot |
Simulation of Ideally Switched Circuits in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, Tokyo, Japan, January 18-21, 2021, pp. 23-28, 2021, ACM, 978-1-4503-7999-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Rainer Dömer, Zhongqi Cheng, Daniel Mendoza, Emad Malekzadeh Arasteh |
Pushing the Limits of Parallel Discrete Event Simulation for SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey of Embedded and Cyber-Physical Systems ![In: A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday, pp. 97-105, 2021, Springer, 978-3-030-47487-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Antonio Genov, François Verdier, Loic Leconte |
Expand Reuse Strategy to ESL Power Modeling in SystemC/TLM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECS ![In: 28th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2021, Dubai, United Arab Emirates, November 28 - Dec. 1, 2021, pp. 1-6, 2021, IEEE, 978-1-7281-8281-0. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Mehran Goli, Rolf Drechsler |
Early Validation of SoCs Security Architecture Against Timing Flows Using SystemC-based VPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: IEEE/ACM International Conference On Computer Aided Design, ICCAD 2021, Munich, Germany, November 1-4, 2021, pp. 1-8, 2021, IEEE, 978-1-6654-4507-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Nathaniel Ross Pinckney, Rangharajan Venkatesan, Ben Keller, Brucek Khailany |
IPA: Floorplan-Aware SystemC Interconnect Performance Modeling and Generation for HLS-based SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: IEEE/ACM International Conference On Computer Aided Design, ICCAD 2021, Munich, Germany, November 1-4, 2021, pp. 1-9, 2021, IEEE, 978-1-6654-4507-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Mehran Goli, Rolf Drechsler |
VIP-VP: Early Validation of SoCs Information Flow Policies using SystemC-based Virtual Prototypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: 24th Forum on specification & Design Languages, FDL 2021, Antibes, France, September 8-10, 2021, pp. 1-8, 2021, IEEE, 978-1-6654-1825-6. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Tommaso Rizzi, Emilio Pérez-Bosch Quesada, Christian Wenger, Cristian Zambelli, Davide Bertozzi |
Comparative Analysis and Optimization of the SystemC-AMS Analog Simulation Efficiency of Resistive Crossbar Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCIS ![In: XXXVI Conference on Design of Circuits and Integrated Systems, DCIS 2021, Vila do Conde, Portugal, November 24-26, 2021, pp. 1-6, 2021, IEEE, 978-1-6654-2116-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Benjamin Beichler, Michael Rethfeldt, Hannes Raddatz, Lukas Steffen, Dirk Timmermann, Christian Haubelt |
A SystemC Model of the IEEE 802.11 EDCA Protocol for Virtual Prototyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNCC ![In: International Symposium on Networks, Computers and Communications, ISNCC 2021, Dubai, United Arab Emirates, October 31 - November 2, 2021, pp. 1-7, 2021, IEEE, 978-1-6654-0304-7. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
15 | Luigi Pomante, Vittoriano Muttillo, Marco Santic, Paolo Serri |
SystemC-based electronic system-level design space exploration environment for dedicated heterogeneous multi-processor systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 72, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Bin Lin, Fei Xie |
A Systematic Investigation of State-of-the-Art SystemC Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 29(15), pp. 2030013:1-2030013:27, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Mehran Goli, Rolf Drechsler |
PREASC: Automatic Portion Resilience Evaluation for Approximating SystemC-based Designs Using Regression Analysis Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 25(5), pp. 40:1-40:28, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Marius Monton |
A RISC-V SystemC-TLM simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2010.10119, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Gaogao Yan, Li Jiao, Shuling Wang, Lingtai Wang, Naijun Zhan |
Automatically Generating SystemC Code from HCSP Formal Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 29(1), pp. 4:1-4:39, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Yukai Chen, Sara Vinco, Daniele Jahier Pagliari, Paolo Montuschi, Enrico Macii, Massimo Poncino |
Modeling and Simulation of Cyber-Physical Electrical Energy Systems With SystemC-AMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Sustain. Comput. ![In: IEEE Trans. Sustain. Comput. 5(4), pp. 552-567, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Tun Li, Jun Ye, Qingping Tan |
Towards functional verifying a family of systemC TLMs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Frontiers Comput. Sci. ![In: Frontiers Comput. Sci. 14(1), pp. 53-66, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Lukas Steiner, Matthias Jung 0001, Felipe S. Prado, Kirill Bykov, Norbert Wehn |
DRAMSys4.0: A Fast and Cycle-Accurate SystemC/TLM-Based DRAM Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: Embedded Computer Systems: Architectures, Modeling, and Simulation - 20th International Conference, SAMOS 2020, Samos, Greece, July 5-9, 2020, Proceedings, pp. 110-126, 2020, Springer, 978-3-030-60938-2. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Paula Herber, Timm Liebrenz |
Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-9148-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Mehran Goli, Rolf Drechsler |
Automated Design Understanding of SystemC-Based Virtual Prototypes: Data Extraction, Analysis and Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: 2020 IEEE Computer Society Annual Symposium on VLSI, ISVLSI 2020, Limassol, Cyprus, July 6-8, 2020, pp. 188-193, 2020, IEEE, 978-1-7281-5775-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Josef Treus, Paula Herber |
Early Analysis of Security Threats by Modeling and Simulating Power Attacks in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: 91st IEEE Vehicular Technology Conference, VTC Spring 2020, Antwerp, Belgium, May 25-28, 2020, pp. 1-5, 2020, IEEE, 978-1-7281-5207-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Bin Lin, Jinchao Chen, Fei Xie |
Selective Concolic Testing for Hardware Trojan Detection in Behavioral SystemC Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020, pp. 19-24, 2020, IEEE, 978-3-9819263-4-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Breytner Fernández-Mesa, Liliana Andrade, Frédéric Pétrot |
Accurate and Efficient Continuous Time and Discrete Events Simulation in SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2020 Design, Automation & Test in Europe Conference & Exhibition, DATE 2020, Grenoble, France, March 9-13, 2020, pp. 370-375, 2020, IEEE, 978-3-9819263-4-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Gabriel Busnot, Tanguy Sassolas, Nicolas Ventroux, Matthieu Moy |
Standard-compliant Parallel SystemC simulation of Loosely-Timed Transaction Level Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: 25th Asia and South Pacific Design Automation Conference, ASP-DAC 2020, Beijing, China, January 13-16, 2020, pp. 363-368, 2020, IEEE, 978-1-7281-4123-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Zhongqi Cheng, Emad Malekzadeh Arasteh, Rainer Dömer |
Event Delivery using Prediction for Faster Parallel SystemC Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: 25th Asia and South Pacific Design Automation Conference, ASP-DAC 2020, Beijing, China, January 13-16, 2020, pp. 357-362, 2020, IEEE, 978-1-7281-4123-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Jakob Heller, Christoph Niemann 0002, Franz Plocksties, Christian Haubelt, Dirk Timmermann |
Towards Virtual Prototyping of Electrically Active Implants Using SystemC-AMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MBMV ![In: 23rd GMM/ITG/GI Workshop on Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2020, Stuttgart, Germany, March 19-20, 2020, pp. 1-8, 2020, VDE / IEEE, 978-3-8007-5220-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
15 | Alisson Linhares, Henrique Rusa, Daniel Formiga, Rodolfo Azevedo |
A SystemC profiling framework to improve fixed-point hardware utilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: 33rd Symposium on Integrated Circuits and Systems Design, SBCCI 2020, Campinas, Brazil, August 24-28, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-9625-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Éder F. Zulian, Germain Haugou, Christian Weis, Matthias Jung 0001, Norbert Wehn |
System simulation with PULP virtual platform and SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAPIDO ![In: Proceedings of the RAPIDO 2020 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, Bologna, Italy, January, 2020, pp. 2:1-2:7, 2020, ACM, 978-1-4503-7777-5. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | François Pêcheux, Liliana Andrade, Marie-Minerve Louërat, Ilias Bournias, Roselyne Chotin, Daniela Genius |
Virtual Prototyping of Open Source Heterogeneous Systems with an Open Source Framework Featuring SystemC MDVP Extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum for Specification and Design Languages, FDL 2020, Kiel, Germany, September 15-17, 2020, pp. 1-8, 2020, IEEE, 978-1-7281-8928-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Carna Zivkovic, Christoph Grimm 0001, Johannes Kölsch, D. Short, M. Ferstl, Dirk Denger, D. Krems, A. Barisic |
Bringing Uncertainties into System Simulation: A SystemC AMS Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Forum for Specification and Design Languages, FDL 2020, Kiel, Germany, September 15-17, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-8928-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Mehran Goli, Alireza Mahzoon, Rolf Drechsler |
ASCHyRO: Automatic Fault Localization of SystemC HLS Designs Using a Hybrid Accurate Rank Ordering Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 38th IEEE International Conference on Computer Design, ICCD 2020, Hartford, CT, USA, October 18-21, 2020, pp. 179-186, 2020, IEEE, 978-1-7281-9710-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Vladimir Herdt, Daniel Große, Jonas Wloka, Tim Güneysu, Rolf Drechsler |
Verification of Embedded Binaries using Coverage-guided Fuzzing with SystemC-based Virtual Prototypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: GLSVLSI '20: Great Lakes Symposium on VLSI 2020, Virtual Event, China, September 7-9, 2020, pp. 101-106, 2020, ACM, 978-1-4503-7944-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Pascal Pieper, Vladimir Herdt, Daniel Große, Rolf Drechsler |
Dynamic Information Flow Tracking for Embedded Binaries using SystemC-based Virtual Prototypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: 57th ACM/IEEE Design Automation Conference, DAC 2020, San Francisco, CA, USA, July 20-24, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-1085-1. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
15 | Yukai Chen, Donkyu Baek, Jaemin Kim, Santa Di Cataldo, Naehyuck Chang, Enrico Macii, Sara Vinco, Massimo Poncino |
A SystemC-AMS Framework for the Design and Simulation of Energy Management in Electric Vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 25779-25791, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #301 - #400 of 1280 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ >>] |
|