Search results for "TLM"

Hits ?▲	Authors	Title	Venue	Year	Link
20	Yangjun Wu, Kebin Fang, Dongxiang Zhang, Han Wang, Hao Zhang, Gang Chen 0001	TLM: Token-Level Masking for Transformers.	EMNLP	2023	DBLP DOI BibTeX RDF
20	Nils Bosbach, Lukas Jünger 0001, Jan Moritz Joseph, Rainer Leupers	NISTT: A Non-Intrusive SystemC-TLM 2.0 Tracing Tool.	CoRR	2022	DBLP DOI BibTeX RDF
20	Nils Bosbach, Jan Moritz Joseph, Rainer Leupers, Lukas Jünger 0001	NISTT: A Non-Intrusive SystemC-TLM 2.0 Tracing Tool.	VLSI-SoC	2022	DBLP DOI BibTeX RDF
20	Yutong Wang, Arya Daroui, Rainer Dömer	Demonstrating Scalability of the Checkerboard GPC with SystemC TLM-2.0.	IESS	2022	DBLP DOI BibTeX RDF
20	Pascal Pieper, Vladimir Herdt, Daniel Große, Rolf Drechsler	Verifying SystemC TLM peripherals using modern C++ symbolic execution tools.	DAC	2022	DBLP DOI BibTeX RDF
20	Laurence Pierre	Refinement rules for the automatic TLM-to-RTL conversion of temporal assertions.	Integr.	2021	DBLP DOI BibTeX RDF
20	Khaled Allem, El-Bay Bourennane, Youcef Khelfaoui	A Service-Oriented Component-Based Framework for Dynamic Reconfiguration Modeling Targeting SystemC/TLM.	Int. J. Reconfigurable Comput.	2021	DBLP DOI BibTeX RDF
20	Gagan N, Biswajit Bhowmik	TLM-NoC: Two Level Mesh Network-on-Chip for Performance Improvement.	HPCC/DSS/SmartCity/DependSys	2021	DBLP DOI BibTeX RDF
20	Antonio Genov, François Verdier, Loic Leconte	Expand Reuse Strategy to ESL Power Modeling in SystemC/TLM.	ICECS	2021	DBLP DOI BibTeX RDF
20	Marius Monton	A RISC-V SystemC-TLM simulator.	CoRR	2020	DBLP BibTeX RDF
20	Lukas Steiner, Matthias Jung 0001, Felipe S. Prado, Kirill Bykov, Norbert Wehn	DRAMSys4.0: A Fast and Cycle-Accurate SystemC/TLM-Based DRAM Simulator.	SAMOS	2020	DBLP DOI BibTeX RDF
20	Zhongqi Cheng, Rainer Dömer	Analyzing Variable Entanglement for Parallel Simulation of SystemC TLM-2.0 Models.	ACM Trans. Embed. Comput. Syst.	2019	DBLP DOI BibTeX RDF
20	Jugoslav Jokovic, Tijana Dimitrijevic, Nebojsa Doncov	Computational Analysis and Validation of the Cylindrical TLM Approach on IMCP Antennas.	Wirel. Pers. Commun.	2019	DBLP DOI BibTeX RDF
20	Thomas Zimmermann 0006, Mathias Mora, Sebastian Steinhorst, Daniel Mueller-Gritschneder, Andreas Jossen	Analysis of Dissipative Losses in Modular Reconfigurable Energy Storage Systems Using SystemC TLM and SystemC-AMS.	ACM Trans. Design Autom. Electr. Syst.	2019	DBLP DOI BibTeX RDF
20	Tara Ghasempouri, Alessandro Danese, Graziano Pravadelli, Nicola Bombieri, Jaan Raik	RTL Assertion Mining with Automated RTL-to-TLM Abstraction.	FDL	2019	DBLP DOI BibTeX RDF
20	Yi-Che Lee, Ting-Shuo Hsu, Chun-Tse Chen, Jing-Jia Liou, Juin-Ming Lu	NNSim: A Fast and Accurate SystemC/TLM Simulator for Deep Convolutional Neural Network Accelerators.	VLSI-DAT	2019	DBLP DOI BibTeX RDF
20	Lennart A. Ochel, Robert Braun, Bernhard Thiele, Adeel Asghar, Lena Buffoni, Magnus Eek, Peter Fritzson, Dag Fritzson, Sune Horkeby, Robert Hällquist, Åke Kinnander, Arunkumar Palanisamy, Adrian Pop, Martin Sjölund	OMSimulator - Integrated FMI and TLM-based Co-simulation with Composite Model Editing and SSP.	Modelica	2019	DBLP DOI BibTeX RDF
20	S. Mimouni, Abdelkader Saïdane, D. Chalabi, M. Abboun-Abid	Transmission line matrix (TLM) modeling of self-heating in power PIN diodes.	Microelectron. J.	2018	DBLP DOI BibTeX RDF
20	Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler	Towards fully automated TLM-to-RTL property refinement.	DATE	2018	DBLP DOI BibTeX RDF
20	Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler	Towards Automated Refinement of TLM Properties to RTL.	MBMV	2018	DBLP BibTeX RDF
20	Jose Eduardo Chiarelli Bueno Filho, Wang Jiang Chau	On TLM traffic accuracy: A multifractal perspective.	LASCAS	2018	DBLP DOI BibTeX RDF
20	Zineb El Hariti, Abdelhakim Alali, Mohamed Sadik	Power and Temperature Estimation for Soft-core Processor Task at the SystemC/TLM.	ICMCS	2018	DBLP DOI BibTeX RDF
20	Mohamed Iben Yaich, Mohammed Kanjaa, Soufiane El Adraoui, Khalid Mounirh, Mohsine Khalladi	An Unsplit Formulation of the 3D-PML Absorbing Boundary Conditions for TLM-Method in Time Domain.	ICMCS	2018	DBLP DOI BibTeX RDF
20	Tobias Strauch	Dynamic Inside-Out Verification Using Inverse Transactions in TLM.	FDL	2018	DBLP DOI BibTeX RDF
20	Mouna Hanna, Jamal Zerouaoui, Attalhaoui Abdellah, Hanan El Faylali, Hamid Bezzout	Modelling of optical pulse propagation in Kerr and Raman nonlinear dispersive media using GVADE - TLM method.	ICECOCS	2018	DBLP DOI BibTeX RDF
20	Ahmed Abdel-Haleem, Magdy A. El-Moursy	TLM Virtual Platform for Fast and Accurate Power Estimation.	MTV	2017	DBLP DOI BibTeX RDF
20	Mehran Goli, Jannis Stoppe, Rolf Drechsler	Automatic equivalence checking for SystemC-TLM 2.0 models against their formal specifications.	DATE	2017	DBLP DOI BibTeX RDF
20	Mehran Goli, Jannis Stoppe, Rolf Drechsler	Automatic Protocol Compliance Checking of SystemC TLM-2.0 Simulation Behavior Using Timed Automata.	ICCD	2017	DBLP DOI BibTeX RDF
20	Jose Eduardo Chiarelli Bueno Filho, Jiang Chau Wang	Multifractal on-chip traffic generation under TLM.	SoCC	2017	DBLP DOI BibTeX RDF
20	Ting-Shuo Hsu, Chao-Chieh Wu, Che-Wei Hsu, Chih-Tsun Huang, Jing-Jia Liou, Yao-Hua Chen, Juin-Ming Lu	Design space exploration with a cycle-accurate systemC/TLM DRAM controller model.	VLSI-DAT	2017	DBLP DOI BibTeX RDF
20	Matthieu Moy, Claude Helmstetter, Tayeb Bouhadiba, Florence Maraninchi	Modeling Power Consumption and Temperature in TLM Models.	Leibniz Trans. Embed. Syst.	2016	DBLP DOI BibTeX RDF
20	Hugo Fernando Maia Milan, Kifle G. Gebremedhin	Tetrahedral node for Transmission-Line Modeling (TLM) applied to Bio-heat Transfer.	Comput. Biol. Medicine	2016	DBLP DOI BibTeX RDF
20	Gereon Onnebrink, Rainer Leupers, Gerd Ascheid, Stefan Schürmans	Black box ESL power estimation for loosely-timed TLM models.	SAMOS	2016	DBLP DOI BibTeX RDF
20	Salaheddine Hamza Sfar, Rached Tourki, Imed E. Bennour	Stepwise SystemC/TLM-2 models structuring and optimizations.	IDT	2016	DBLP DOI BibTeX RDF
20	Hoang Minh Le 0001, Vladimir Herdt, Daniel Große, Rolf Drechsler	Towards formal verification of real-world SystemC TLM peripheral models - a case study.	DATE	2016	DBLP BibTeX RDF
20	Yuliia Romenska, Florence Maraninchi	Efficient monitoring of loose-ordering properties for SystemC/TLM.	DATE	2016	DBLP BibTeX RDF
20	Tomás Grimm, Djones Lettnin, Michael Hübner 0001	Automatic generation of RTL connectivity checkers from SystemC TLM and IP-XACT descriptions.	NORCAS	2016	DBLP DOI BibTeX RDF
20	Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler	On the application of formal fault localization to automated RTL-to-TLM fault correspondence analysis for fast and accurate VP-based error effect simulation - a case study.	FDL	2016	DBLP DOI BibTeX RDF
20	Jose Eduardo Chiarelli Bueno Filho, Jorge Luis Gonzalez Reano, Jiang Chau Wang	Intra-chip traffic generation under autoregressive models based on time series obtained by TLM simulation.	SoCC	2016	DBLP DOI BibTeX RDF
20	Reza Hajisheykhi, Mohammad Roohitavaf, Ali Ebnenasir, Sandeep S. Kulkarni	A framework for verification of SystemC TLM programs with model slicing: a case study.	DAC	2016	DBLP DOI BibTeX RDF
20	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.	J. Electron. Test.	2015	DBLP DOI BibTeX RDF
20	Xuesong Meng, Phillip Sewell, Sendy Phang, Ana Vukovic, Trevor M. Benson	Modeling Curved Carbon Fiber Composite (CFC) Structures in the Transmission-Line Modeling (TLM) Method.	CoRR	2015	DBLP BibTeX RDF
20	Xiaomeng Zhu, Qin Yue, Liqin Hu	Weight distributions of cyclic codes of length tlm.	Discret. Math.	2015	DBLP DOI BibTeX RDF
20	Jian Hu, Tun Li, Sikun Li	Equivalence checking between SLM and TLM using coverage directed simulation.	Frontiers Comput. Sci.	2015	DBLP DOI BibTeX RDF
20	Sebastian Held, Markus Neinhus, Peter Waldow, Adalbert Beyer	A technique for analysing UWB antennas using the TLM method.	ICTON	2015	DBLP DOI BibTeX RDF
20	Nicola Bombieri, Riccardo Filippozzi, Graziano Pravadelli, Francesco Stefanni	RTL property abstraction for TLM assertion-based verification.	DATE	2015	DBLP BibTeX RDF
20	M. Gianfelici, Massimo Conti, Marco Caldari, Franco Ripa	Design of a TLM NAND flash controller model for audio real-time applications.	WISES	2015	DBLP BibTeX RDF
20	Hend Affes	Modélisation au niveau transactionnel de l'architecture et du contrôle relatifs à la gestion d'énergie de systèmes sur puce. (TLM modelling of architecture and control of power management structure for system on chips).		2015	RDF
20	Shouwen Yang, Jianxun Wang 0004, Jianmei Zhou, Tianzhu Zhu, Hongnian Wang	An Efficient Algorithm of Both Fréchet Derivative and Inversion of MCIL Data in a Deviated Well in a Horizontally Layered TI Formation Based on TLM Modeling.	IEEE Trans. Geosci. Remote. Sens.	2014	DBLP DOI BibTeX RDF
20	Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Graziano Pravadelli	Testbench Qualification of SystemC TLM Protocols through Mutation Analysis.	IEEE Trans. Computers	2014	DBLP DOI BibTeX RDF
20	Mostafavi Amjad Davoud, Mina Zolfy Lighvan	A tlm-based platform to specify and verify component-based real-time systems.	CoRR	2014	DBLP BibTeX RDF
20	Abhishek Jain 0003, Hima Gupta, Sandeep Jana, Krishna Kumar	Early Development of UVM based Verification Environment of Image Signal Processing Designs using TLM Reference Model of RTL.	CoRR	2014	DBLP BibTeX RDF
20	Nicolas Ventroux, Julien Peeters, Tanguy Sassolas, James C. Hoe	Highly-parallel special-purpose multicore architecture for SystemC/TLM simulations.	ICSAMOS	2014	DBLP DOI BibTeX RDF
20	Zeineb Bel Hadj Amor, Laurence Pierre, Dominique Borrione	A tool for the automatic TLM-to-RTL conversion of embedded systems requirements for a seamless verification flow.	VLSI-SoC	2014	DBLP DOI BibTeX RDF
20	Sven Alexander Horsinka, Rolf Meyer, Jan Wagner, Rainer Buchty, Mladen Berekovic	On RTL to TLM Abstraction to Benefit Simulation Performance and Modeling Productivity in NoC Design Exploration.	NoCArc@MICRO	2014	DBLP DOI BibTeX RDF
20	Andrew D. Rice, Jonathan W. Lartigue	Touch-level model (TLM): evolving KLM-GOMS for touchscreen and mobile devices.	ACM Southeast Regional Conference	2014	DBLP DOI BibTeX RDF
20	Soufiane El Adraoui, Asmaa Zugari, Khalid Mounirh, Mohamed Charif, Mohamed Iben Yaich, Mohsine Khalladi	Runge-Kutta Exponential Time Differencing-TLM method for modeling cold plasma media.	ICMCS	2014	DBLP DOI BibTeX RDF
20	Christian Sauer 0001, Hans-Martin Blüthgen, Hans-Peter Loeb	Distributed, loosely-synchronized systemC/TLM simulations of many-processor platforms.	FDL	2014	DBLP DOI BibTeX RDF
20	Cristian Ruiz, Mihai Alexandru, Olivier Richard, Thierry Monteil 0001, Hervé Aubert	Platform Calibration for Load Balancing of Large Simulations: TLM Case.	CCGRID	2014	DBLP DOI BibTeX RDF
20	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.	LATW	2014	DBLP DOI BibTeX RDF
20	Hua-Hsin Yeh, Wen-Pin Tu, Jian-Zhi Shen, Tung-Hua Yen, Shih-Hsu Huang	Abstract bus interface unit for ESL design from TLM 2.0 communications to the real bus protocol.	APCCAS	2014	DBLP DOI BibTeX RDF
20	Reza Hajisheykhi, Ali Ebnenasir, Sandeep S. Kulkarni	Evaluating the Effect of Faults in SystemC TLM Models Using UPPAAL.	SEFM	2014	DBLP DOI BibTeX RDF
20	Nesrine Harrath	A Stepwise Compositional Approach to Model and Analyze SystemC Designs at the Transactional Level and the Delta Cycle Level. (Une approche compositionnelle pour la modélisation et l'analyse des composants systemC au niveau TLM et au niveau des Delta Cycles).		2014	RDF
20	Marius Monton, Jakob Engblom, Mark Burton	Checkpointing for Virtual Platforms and SystemC-TLM.	IEEE Trans. Very Large Scale Integr. Syst.	2013	DBLP DOI BibTeX RDF
20	Sergio Toledo-Redondo, Alfonso Salinas, Juan Antonio Morente-Molinera, Antonio Mendez, Jesus Fornieles-Callejon, Jorge Porti, Juan Antonio Morente	Parallel 3D-TLM algorithm for simulation of the Earth-ionosphere cavity.	J. Comput. Phys.	2013	DBLP DOI BibTeX RDF
20	F. A. Escobar-Juzga, F. E. Segura-Quijano	Performance Analysis of a JPEG Encoder Mapped onto a Virtual MPSoC-NoC Architecture using TLM 2.0.1.	J. Circuits Syst. Comput.	2013	DBLP DOI BibTeX RDF
20	Yanyan Gao 0001, Xi Li 0003	A Semantics-based Translation Method for Automated Verification of SystemC TLM Designs.	J. Electron. Test.	2013	DBLP DOI BibTeX RDF
20	Chen Kang Lo, Mao Lin Li, Li-Chun Chen, Yi-Shan Lu, Ren-Song Tsay, Hsu-Yao Huang, Jen-Chieh Yeh	Automatic generation of high-speed accurate TLM models for out-of-order pipelined bus.	ACM Trans. Embed. Comput. Syst.	2013	DBLP DOI BibTeX RDF
20	Mohammad Hossein Zangooei, Saeed Jalili	Protein fold recognition with a two-layer method based on SVM-SA, WP-NN and C4.5 (TLM-SNC).	Int. J. Data Min. Bioinform.	2013	DBLP DOI BibTeX RDF
20	Tijana Dimitrijevic, Jugoslav Jokovic, Bratislav Milovanovic	Cylindrical grid-based TLM model of a coaxially loaded cylindrical cavity.	Int. J. Reason. based Intell. Syst.	2013	DBLP DOI BibTeX RDF
20	Tatjana Cvetkovic, Vesna Milutinovic, Nebojsa Doncov, Bratislav Milovanovic	TLM modelling of receiving dipole antenna impact on shielding effectiveness of enclosure.	Int. J. Reason. based Intell. Syst.	2013	DBLP DOI BibTeX RDF
20	Jian Hu, Tun Li, Sikun Li	Equivalence Checking between SLM and TLM Using Coverage Directed Simulation.	CAD/Graphics	2013	DBLP DOI BibTeX RDF
20	Yanyan Gao 0001, Xi Li 0003	An effective model extraction method with state space compression for model checking SystemC TLM designs.	ICSAMOS	2013	DBLP DOI BibTeX RDF
20	Mona Safar, Magdy A. El-Moursy, Ashraf Salem	Ultra-Fast DMAC TLM Model for High Speed Virtual Platform Simulation.	MTV	2013	DBLP DOI BibTeX RDF
20	Hoang Minh Le 0001, Daniel Große, Rolf Drechsler	Scalable fault localization for SystemC TLM designs.	DATE	2013	DBLP DOI BibTeX RDF
20	Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi	System-level modeling of energy in TLM for early validation of power and thermal management.	DATE	2013	DBLP DOI BibTeX RDF
20	Claude Helmstetter, Jérôme Cornet, Bruno Galilée, Matthieu Moy, Pascal Vivet	Fast and accurate TLM simulations using temporal decoupling for FIFO-based communications.	DATE	2013	DBLP DOI BibTeX RDF
20	Jörg Walter 0001, Jörg Lenhardt, Wolfram Schiffmann	SoC performance evaluation with ArchC and TLM-2.0.	ReCoSoC	2013	DBLP DOI BibTeX RDF
20	Matthias Jung 0001, Christian Weis, Norbert Wehn, Karthik Chandrasekar 0001	TLM modelling of 3D stacked wide I/O DRAM subsystems: a virtual platform for memory controller design space exploration.	RAPIDO	2013	DBLP DOI BibTeX RDF
20	Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi, Jérôme Cornet, Laurent Maillet-Contoz, Ilija Materic	Co-simulation of Functional SystemC TLM Models with Power/Thermal Solvers.	IPDPS Workshops	2013	DBLP DOI BibTeX RDF
20	Zhenkai Zhang, Xenofon D. Koutsoukos	Modeling Time-Triggered Ethernet in SystemC/TLM for Virtual Prototyping of Cyber-Physical Systems.	IESS	2013	DBLP DOI BibTeX RDF
20	Mao Lin Li, Chen Kang Lo, Li-Chun Chen, Jen-Chieh Yeh, Ren-Song Tsay	A Cycle Count Accurate TLM bus modeling approach.	VLSI-DAT	2013	DBLP DOI BibTeX RDF
20	Georg Nebehay, Roman P. Pflugfelder	TLM: Tracking-learning-matching of keypoints.	ICDSC	2013	DBLP DOI BibTeX RDF
20	Nourddine Abid, Brahim Attia, Abdelrim Zitouni, Rached Tourki	A modular and generic router TLM model for speedup network-on-chip topology generation.	SSD	2013	DBLP DOI BibTeX RDF
20	Mingsong Chen, Prabhat Mishra 0001	Assertion-Based Functional Consistency Checking between TLM and RTL Models.	VLSI Design	2013	DBLP DOI BibTeX RDF
20	Rawin Vongurai	Development of digital filtering techniques in three-dimensional TLM models.		2013	RDF
20	Vaibhav Jain, Anshul Kumar, Preeti Ranjan Panda	Exploiting UML based validation for compliance checking of TLM 2 based models.	Des. Autom. Embed. Syst.	2012	DBLP DOI BibTeX RDF
20	Hoang Minh Le 0001, Daniel Große, Rolf Drechsler	Automatic TLM Fault Localization for SystemC.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2012	DBLP DOI BibTeX RDF
20	Johannes Klein, Stefan Leupold, Ilona Biegler, Rebekka Biedendieck, Richard Münch, Dieter Jahn	TLM-Tracker: software for cell segmentation, tracking and lineage analysis in time-lapse microscopy movies.	Bioinform.	2012	DBLP DOI BibTeX RDF
20	Valerio Guarnieri, Giuseppe Di Guglielmo, Nicola Bombieri, Graziano Pravadelli, Franco Fummi, Hanno Hantson, Jaan Raik, Maksim Jenihhin, Raimund Ubar	On the Reuse of TLM Mutation Analysis at RTL.	J. Electron. Test.	2012	DBLP DOI BibTeX RDF
20	Nicola Bombieri, Franco Fummi, Valerio Guarnieri	FAST: An RTL Fault Simulation Framework based on RTL-to-TLM Abstraction.	J. Electron. Test.	2012	DBLP DOI BibTeX RDF
20	Mingsong Chen, Prabhat Mishra 0001, Dhrubajyoti Kalita	Automatic RTL Test Generation from SystemC TLM Specifications.	ACM Trans. Embed. Comput. Syst.	2012	DBLP DOI BibTeX RDF
20	Mateusz Kosikowski, Zbigniew Suszynski	A computationally efficient TLM thermal model in the beam displacement modulation regime.	Microelectron. J.	2012	DBLP DOI BibTeX RDF
20	Emad Samuel Malki Ebeid, Davide Quaglia, Franco Fummi	Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification.	DDECS	2012	DBLP DOI BibTeX RDF
20	Nicola Bombieri, Franco Fummi, Valerio Guarnieri, Andrea Acquaviva	Energy aware TLM platform simulation via RTL abstraction.	HLDVT	2012	DBLP DOI BibTeX RDF
20	Hanan El Faylali, Mohamed Iben Yaich, Mohsine Khalladi	SCN-TLM simulation of femtosecond optical in a four level two electron atomic system governed by Pauli Exclusion Principle.	ICMCS	2012	DBLP DOI BibTeX RDF
20	Marcio F. da S. Oliveira, Christoph Kuznik, Hoang Minh Le 0001, Daniel Große, Finn Haedicke, Wolfgang Müller 0003, Rolf Drechsler, Wolfgang Ecker, Volkan Esen	The system verification methodology for advanced TLM verification.	CODES+ISSS	2012	DBLP DOI BibTeX RDF
20	Marcelo Sousa, Alper Sen 0001	Generation of TLM testbenches using mutation testing.	CODES+ISSS	2012	DBLP DOI BibTeX RDF
20	Wolfgang Müller 0003, Wolfgang Ecker	Testbenches for advanced TLM verification.	CODES+ISSS	2012	DBLP DOI BibTeX RDF
20	Jen-Chieh Tsai, Chia-Lung Ni, Chun-Yen Chen, Yi-Ting Chen, Chi-Lin Chen, Ke-Horng Chen	Triple loop modulation (TLM) for high reliability and efficiency in Power Factor Correction (PFC) system.	ISCAS	2012	DBLP DOI BibTeX RDF