The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for systemC with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2000-2001 (21) 2002 (23) 2003 (67) 2004 (101) 2005 (98) 2006 (120) 2007 (142) 2008 (121) 2009 (86) 2010 (79) 2011 (54) 2012 (61) 2013 (43) 2014 (48) 2015 (39) 2016 (39) 2017 (24) 2018 (23) 2019 (20) 2020 (25) 2021 (18) 2022-2023 (25) 2024 (3)
Publication types (Num. hits)
article(193) book(3) incollection(6) inproceedings(1047) phdthesis(31)
Venues (Conferences, Journals, ...)
FDL(131) DATE(116) DAC(42) CODES+ISSS(31) MBMV(30) DSD(29) MEMOCODE(25) ASP-DAC(23) ACM Trans. Embed. Comput. Syst...(18) IEEE Trans. Comput. Aided Des....(18) SBCCI(18) CoRR(17) SAMOS(17) Des. Autom. Embed. Syst.(15) ISVLSI(15) FPL(14) More (+10 of total 317)
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
106Hiren D. Patel, Sandeep K. Shukla Towards a heterogeneous simulation kernel for system level models: a SystemC kernel for synchronous data flow models. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF simulation efficiency, synchronous data flow, heterogeneous, SystemC, models of computation, embedded system design
99Daniel Gracia Pérez, Gilles Mouchard, Olivier Temam A New Optimized Implemention of the SystemC Engine Using Acyclic Scheduling. Search on Bibsonomy DATE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
96P. Ezudheen, Priya Chandran, Joy Chandra, Biju Puthur Simon, Deepak Ravi Parallelizing SystemC Kernel for Fast Hardware Simulation on SMP Machines. Search on Bibsonomy PADS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF OSCI, Core affinity, SoC, SystemC, SMP, TLM
95Hiren D. Patel, Sandeep K. Shukla, E. Mednick, Rishiyur S. Nikhil A rule-based model of computation for SystemC: integrating SystemC and Bluespec for co-design. Search on Bibsonomy MEMOCODE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
89Hiren D. Patel, Sandeep K. Shukla Towards a heterogeneous simulation kernel for system-level models: a SystemC kernel for synchronous data flow models. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
87Scott Sirowy, Chen Huang 0005, Frank Vahid Online SystemC emulation acceleration. Search on Bibsonomy DAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF simulation, virtual machines, online algorithms, emulation, SystemC, bytecode
87Scott Sirowy, Bailey Miller, Frank Vahid Portable SystemC-on-a-chip. Search on Bibsonomy CODES+ISSS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF simulation, virtual machines, emulation, SystemC, bytecode, spatial computing
80Hiren D. Patel, Sandeep K. Shukla Tackling an abstraction gap: co-simulating SystemC DE with bluespec ESL. Search on Bibsonomy DATE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
80Ali Habibi, Sofiène Tahar Design and verification of SystemC transaction-level models. Search on Bibsonomy IEEE Trans. Very Large Scale Integr. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
80Hiren D. Patel, Sandeep K. Shukla Towards a Heterogeneous Simulation Kernel for System Level Models: A SystemC Kernel for Synchronous Data Flow Models. Search on Bibsonomy ISVLSI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
78Vicente Galiano Ibarra, Héctor Migallón Gomis, David Pérez-Caparrós, Marcos Martínez Distributing SystemC structures in parallel simulations. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  DOI  BibTeX  RDF parallel architecture, MPI, boost, SystemC, DES, hardware modeling
78Paula Herber, Joachim Fellmuth, Sabine Glesner Model checking SystemC designs using timed automata. Search on Bibsonomy CODES+ISSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model checking, timed automata, SystemC
78Fernando Herrera, Eugenio Villar A framework for heterogeneous specification and design of electronic embedded systems in SystemC. Search on Bibsonomy ACM Trans. Design Autom. Electr. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF SystemC, models of computation, Heterogeneous specification
71Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal Formal and executable contracts for transaction-level modeling in SystemC. Search on Bibsonomy EMSOFT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF formal component models, systems-on-a-chip, virtual prototyping, transaction-level-modeling
71Ka Lok Man, Andrea Fedeli, Michele Mercaldi, Menouer Boubekeur, Michel P. Schellekens SC2SCFL: Automated SystemC to SystemCFL Translation. Search on Bibsonomy SAMOS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
71Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi A SystemC/TLM Semantics in Promelaand Its Possible Applications. Search on Bibsonomy SPIN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
71Moshe Y. Vardi Formal Techniques for SystemC Verification; Position Paper. Search on Bibsonomy DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
71Alessandro Fin, Franco Fummi, Maurizio Martignano, Mirko Signoretto SystemC: a homogenous environment to test embedded systems. Search on Bibsonomy CODES The full citation details ... 2001 DBLP  DOI  BibTeX  RDF C++ models, embedded systems verification, functional testing
68Vicente Galiano Ibarra, Marcos Martínez, Héctor Migallón Gomis, David Pérez-Caparrós, Carlos Quesada A Case Study in Distributing a SystemC Model. Search on Bibsonomy IWANN (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Distributed Systems, MPI, SystemC, PLC, Serialization, TLM, PDES
68Alper Sen 0001, Vinit Ogale, Magdy S. Abadir Predictive runtime verification of multi-processor SoCs in SystemC. Search on Bibsonomy DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF predictive verification, deadlock, SystemC, assertion, ESL
68Husni Teja Sukmana, Jeong-Bae Lee, Jong-Il Kim, Young J. Jung, Jin B. Kwon, Kee-Wook Rim, Young-Ran Lee A Study of Developing Virtual Prototyping by Using JavaBean Interface Tool and SystemC Engine. Search on Bibsonomy SEUS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF RapidPLUS, Simulation, Embedded System, SystemC, virtual prototyping, Socket
68Sang-Young Cho, Yoojin Chung, Jung-Bae Lee Virtual Development Environment Based on SystemC for Embedded Systems. Search on Bibsonomy International Conference on Computational Science (4) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Virtual development environment, Embedded system development, Remote debug interface, Hardware simulation, SystemC
68Ankush Varma, Muhammad Yaqub Afridi, Akin Akturk, Paul Klein, Allen R. Hefner, Bruce L. Jacob Modeling heterogeneous SoCs with SystemC: a digital/MEMS case study. Search on Bibsonomy CASES The full citation details ... 2006 DBLP  DOI  BibTeX  RDF gas sensor, microhotplate, modeling, power, SystemC, MEMS
67Franco Carbognani, Christopher K. Lennard, C. Norris Ip, Allan Cochrane, Paul Bates Qualifying Precision of Abstract SystemC Models Using the SystemC Verification Standard. Search on Bibsonomy DATE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
66Daniel Große, Rüdiger Ebendt, Rolf Drechsler Improvements for constraint solving in the systemc verification library. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF constraint-based randomization, systemC verification library, systemC
65Hiren D. Patel, Sandeep K. Shukla On Cosimulating Multiple Abstraction-Level System-Level Models. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
61Michel Vasilevski, François Pêcheux, Nicolas Beilleau, Hassan Aboushady, Karsten Einwich Modeling and Refining Heterogeneous Systems With SystemC-AMS: Application to WSN. Search on Bibsonomy DATE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
61Silvio Misera, Heinrich Theodor Vierhaus, André Sieber Fault Injection Techniques and their Accelerated Simulation in SystemC. Search on Bibsonomy DSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
61Christian Genz, Rolf Drechsler System Exploration of SystemC Designs. Search on Bibsonomy ISVLSI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
61Daniel Große, Rolf Drechsler Checkers for SystemC designs. Search on Bibsonomy MEMOCODE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
61Yan Chen, Xuan Du, Xuegong Zhou, Chenglian Peng An Automatic Coverage Analysis for SystemC Using UML and Aspect-Oriented Technology. Search on Bibsonomy CSCWD (Selected papers) The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
61Kathy Dang Nguyen, Zhenxin Sun, P. S. Thiagarajan, Weng-Fai Wong Model-Driven SoC Design via Executable UML to SystemC. Search on Bibsonomy RTSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
61Ali Sayinta, Gorkem Canverdi, Marc Pauwels, Amer Alshawa, Wim Dehaene A Mixed Abstraction Level Co-Simulation Case Study Using SystemC for System on Chip Verification. Search on Bibsonomy DATE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
59Peter Lisherness, Kwang-Ting (Tim) Cheng SCEMIT: a systemc error and mutation injection tool. Search on Bibsonomy DAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF high-level synthesis, coverage, SystemC, mutation
59Zhonglei Wang, Wolfgang Haberl, Stefan Kugele, Michael Tautschnig Automatic generation of systemc models from component-based designs for early design validation and performance analysis. Search on Bibsonomy WOSP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF cola, simulation, code generation, systemc
59Vicente Galiano Ibarra, Héctor Migallón Gomis, David Pérez-Caparrós, Juan Alejandro Palomino Benito, Marcos Martínez Speeding Up in Distributed SystemC Simulations. Search on Bibsonomy DCAI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF MPI, SoC, Distributed Simulation, SystemC, RTL
59Niloofar Razavi, Marjan Sirjani Compositional Semantics of System-Level Designs Written in SystemC. Search on Bibsonomy FSEN The full citation details ... 2007 DBLP  DOI  BibTeX  RDF formal verification, SystemC, hardware design, Reo, constraint automata
59Ivan Radojevic, Zoran A. Salcic, Partha S. Roop Modeling Embedded Systems: From SystemC and Esterel to DFCharts. Search on Bibsonomy IEEE Des. Test Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF models of computation (MoC), specification, SystemC, heterogeneous systems, Esterel
59Fernando Herrera, Eugenio Villar A framework for embedded system specification under different models of computation in SystemC. Search on Bibsonomy DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF SystemC, heterogeneous specification
59Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip. Search on Bibsonomy EMSOFT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF dynamic, SystemC, parser, static, front-end, elaboration
59Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio A UML 2.0 profile for SystemC: toward high-level SoC design. Search on Bibsonomy EMSOFT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF model-driven system on chip design, UML, embedded systems, SystemC, UML profiles
59Djones Lettnin, Axel G. Braun, Martin Bogdan, Joachim Gerlach, Wolfgang Rosenstiel Synthesis of Embedded SystemC Design: A Case Study of Digital Neural Networks. Search on Bibsonomy DATE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF SystemC Synthesis, Hardware Neural Network (HNN), Embedded Systems, Rapid Prototyping, Electrocardiogram (ECG), Digital System Design
59Jannis Stoppe SystemC Through the Looking Glass: Non-Intrusive Analysis of Electronic System Level Designs in SystemC (SystemC hinter den Spiegeln: Nichtinvasive Analyse von SystemC-Systemdesigns) Search on Bibsonomy 2017   RDF
56Huibiao Zhu, Yongxin Zhao, Jifeng He 0001 Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
56Shu-Hsuan Chou, Chi-Neng Wen, Yan-Ling Liu, Tien-Fu Chen VeriC: A semi-hardware description language to bridge the gap between ESL design and RTL models. Search on Bibsonomy ISQED The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
52Claude Helmstetter, Olivier Ponsini A Comparison of Two SystemC/TLM Semantics for Formal Verification. Search on Bibsonomy MEMOCODE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
52Olivier Ponsini, Wendelin Serwe A Schedulerless Semantics of TLM Models Written in SystemC Via Translation into LOTOS. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
52Arindam Mallik, Debjit Sinha, Prithviraj Banerjee, Hai Zhou 0001 Low-Power Optimization by Smart Bit-Width Allocation in a SystemC-Based ASIC Design Environment. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
52Youssef N. Naguib, Rafik S. Guindi Speeding up SystemC simulation through process splitting. Search on Bibsonomy DATE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
52Lochi Yu, Samar Abdi Automatic SystemC TLM generation for custom communication platforms. Search on Bibsonomy ICCD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
52Ali Habibi, Haja Moinudeen, Sofiène Tahar Generating finite state machines from SystemC. Search on Bibsonomy DATE Designers' Forum The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
52Arindam Mallik, Debjit Sinha, Prithviraj Banerjee, Hai Zhou 0001 Smart bit-width allocation for low power optimization in a systemc based ASIC design environment. Search on Bibsonomy DATE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
52Ying Wang 0032, Xuegong Zhou, Bo Zhou, Liang Liang, Chenglian Peng A MDA based SoC Modeling Approach using UML and SystemC. Search on Bibsonomy CIT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
52Elvinia Riccobene, Patrizia Scandurra, Alberto Rosti, Sara Bocchio A SoC Design Methodology Involving a UML 2.0 Profile for SystemC. Search on Bibsonomy DATE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
52Xi Chen, Jianhua Lu, Zucheng Zhou, YaoHui Shang Modeling SystemC design in UML and automatic code generation. Search on Bibsonomy ASP-DAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
52Ali Habibi, Sofiène Tahar An Approach for the Verification of SystemC Designs Using AsmL. Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
52Hye-On Jang, Minsoo Kang, Myeong-jin Lee, Kwanyeob Chae, Kookpyo Lee, Kyuhyun Shim High-Level System Modeling and Architecture Exploration with SystemC on a Network SoC: S3C2510 Case Study. Search on Bibsonomy DATE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
52Elvinia Riccobene, Patrizia Scandurra Modelling SystemC Process Behavior by the UML Method State Machines. Search on Bibsonomy RISE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
52Massimo Bombana, Francesco Bruschi SystemC-VHDL Co-Simulation and Synthesis in the HW Domain. Search on Bibsonomy DATE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
50Marcello Mura, Marco Paolieri, Luca Negri, Mariagiovanna Sami StateCharts to systemc: a high level hardware simulation approach. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF simulators, StateCharts, systemC
50Stuart Swan SystemC transaction level models and RTL verification. Search on Bibsonomy DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF RTL verification, hardware/software co-verification, systemC, hardware/software co-design, transaction level model, TLM
50Francesco Bruschi, Fabrizio Ferrandi, Donatella Sciuto A Framework for the Functional Verification of SystemC Models. Search on Bibsonomy Int. J. Parallel Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF SystemC, test pattern generator, Functional verification
50Nagu R. Dhanwada, Ing-Chao Lin, Vijaykrishnan Narayanan A power estimation methodology for systemC transaction level models. Search on Bibsonomy CODES+ISSS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF CoreConnect, systemC, power analysis, transaction level models, PowerPC
50Ney Laert Vilar Calazans, Edson I. Moreno, Fabiano Hessel, Vitor M. da Rosa, Fernando Moraes 0001, Everton Carara From VHDL Register Transfer Level to SystemC Transaction Level Modeling: A Comparative Case Study. Search on Bibsonomy SBCCI The full citation details ... 2003 DBLP  DOI  BibTeX  RDF transaction level, VHDL, SystemC, System modeling, register transfer level
50Eike Grimpe, Frank Oppenheimer Extending the SystemC synthesis subset by object-oriented features. Search on Bibsonomy CODES+ISSS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF C/C++ based design, object-orientation, high-level synthesis, SystemC, system level design, hardware description language, hardware synthesis
47Sara Bocchio, Elvinia Riccobene, Alberto Rosti, Patrizia Scandurra Process State Machines for Behavioral Modeling of Embedded Systems. Search on Bibsonomy SIES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
47Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level. Search on Bibsonomy ACSD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
44Zhonglei Wang, Andreas Herkersdorf, Wolfgang Haberl, Martin Wechs SysCOLA: a framework for co-development of automotive software and system platform. Search on Bibsonomy DAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF COLA, SystemC, system modeling, virtual prototyping
44Wolfgang Mueller, Alberto Rosti, Sara Bocchio, Elvinia Riccobene, Patrizia Scandurra, Wim Dehaene, Yves Vanderperren UML for ESL design: basic principles, tools, and applications. Search on Bibsonomy ICCAD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF simulation, UML, SoC, tools, profiles, SystemC, ESL design
44Jinwen Xi, Peixin Zhong A Transaction-Level NoC Simulation Platform with Architecture-Level Dynamic and Leakage Energy Models. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF network-on-chip, SystemC, energy model
44Rodolfo Azevedo, Sandro Rigo, Marcus Bartholomeu, Guido Araujo, Cristiano C. de Araújo, Edna Barros The ArchC Architecture Description Language and Tools. Search on Bibsonomy Int. J. Parallel Program. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF ISA simulator, Architecture description language, SystemC, compiled simulation
43Nicolas Blanc, Daniel Kroening Speeding Up Simulation of SystemC Using Model Checking. Search on Bibsonomy SBMF The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
43Laurence Pierre, Luca Ferro A Tractable and Fast Method for Monitoring SystemC TLM Specifications. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43Kai Huang 0001, Iuliana Bacivarov, Fabian Hugelshofer, Lothar Thiele Scalably distributed SystemC simulation for embedded applications. Search on Bibsonomy SIES The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43Nicolas Blanc, Daniel Kroening Race analysis for SystemC using model checking. Search on Bibsonomy ICCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43Nicolas Blanc, Daniel Kroening, Natasha Sharygina Scoot: A Tool for the Analysis of SystemC Models. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43Deian Tabakov, Gila Kamhi, Moshe Y. Vardi, Eli Singerman A Temporal Language for SystemC. Search on Bibsonomy FMCAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
43Sudipta Kundu, Malay K. Ganai, Rajesh Gupta 0001 Partial order reduction for scalable testing of systemC TLM designs. Search on Bibsonomy DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF simulation, verification, testing, partial-order reduction
43Hiren D. Patel, Sandeep K. Shukla, Reinaldo A. Bergamaschi Heterogeneous Behavioral Hierarchy Extensions for SystemC. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Cedric Koch-Hofer, Marc Renaudin, Yvain Thonnart, Pascal Vivet ASC, a SystemC Extension for Modeling Asynchronous Systems, and Its Application to an Asynchronous NoC. Search on Bibsonomy NOCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Bruno C. Albertini, Sandro Rigo, Guido Araujo, Cristiano C. de Araújo, Edna Barros, Willians Azevedo A computational reflection mechanism to support platform debugging in SystemC. Search on Bibsonomy CODES+ISSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF debugging, system architecture, platform-based design, computational reflection
43Frederic Doucet, R. K. Shyamasundar, Ingolf H. Krüger, Saurabh Joshi 0001, Rajesh K. Gupta 0001 Reactivity in SystemC Transaction-Level Models. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Christian Genz, Rolf Drechsler, Gerhard Angst, Lothar Linhard Visualization of SystemC Designs. Search on Bibsonomy ISCAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Hiren D. Patel, Sandeep K. Shukla Model-driven Validation of SystemC Designs. Search on Bibsonomy DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Bishnupriya Bhattacharya, John Rose, Stuart Swan Language Extensions to SystemC: Process Control Constructs. Search on Bibsonomy DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
43Ali Habibi, Haja Moinudeen, Amer Samarah, Sofiène Tahar Towards a Faster Simulation of SystemC Designs. Search on Bibsonomy ISVLSI The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
43Silvio Misera, Heinrich Theodor Vierhaus, Lars Breitenfeld, André Sieber A Mixed Language Fault Simulation of VHDL and SystemC. Search on Bibsonomy DSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
43Hector Posadas, Jesús Ádamez, Pablo Sánchez, Eugenio Villar, Francisco Blasco POSIX modeling in SystemC. Search on Bibsonomy ASP-DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
43Ozgur Tamer, Ahmet Özkurt Systolic Array Based Adaptive Beamformer Modeling in SystemC Environment. Search on Bibsonomy AHS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
43Ali Habibi, Sofiène Tahar Design for Verification of SystemC Transaction Level Models. Search on Bibsonomy DATE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Nick Savoiu MTP: A Petri Net-Based Framework for the Analysis and Transformation of SystemC Designs. Search on Bibsonomy SCOPES The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Robert D. Walstrom, Joseph Schneider, Diane T. Rover Teaching System-Level Design Using SpecC and SystemC. Search on Bibsonomy MSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Rolf Drechsler, Görschwin Fey, Christian Genz, Daniel Große SyCE: An Integrated Environment for System Design in SystemC. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Alain Vachoux, Christoph Grimm 0001, Karsten Einwich Extending SystemC to support mixed discrete-continuous system modeling and simulation. Search on Bibsonomy ISCAS (5) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Daniel Große, Rolf Drechsler CheckSyC: an efficient property checker for RTL SystemC designs. Search on Bibsonomy ISCAS (4) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Thorsten Schubert, Jürgen Hanisch, Joachim Gerlach, Jens-E. Appell, Wolfgang Nebel Evaluation of a Refinement-Driven SystemC'-Based Design Flow. Search on Bibsonomy DATE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
43Donatella Sciuto, Grant Martin, Wolfgang Rosenstiel, Stuart Swan, Frank Ghenassia, Peter Flake, Johny Srouji SystemC and SystemVerilog: Where do They Fit? Where are They Going? Search on Bibsonomy DATE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
43Luca Formaggio, Franco Fummi, Graziano Pravadelli A timing-accurate HW/SW co-simulation of an ISS with SystemC. Search on Bibsonomy CODES+ISSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF co-simulation, system level modeling
43Camel Tanougast, Yves Berviller, Christian Mannino, Hassan Rabah, Michael Janiaut, Serge Weber SystemC Model of a MPEG-2 DVB-T Bit-Rate Measurement Architecture for FPGA Implementation. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
43Sandro Rigo, Guido Araujo, Marcus Bartholomeu, Rodolfo Azevedo ArchC: A SystemC-Based Architecture Description Language. Search on Bibsonomy SBAC-PAD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1280 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license