Luiz C. V. dos Santos

40 papers A* 4A 8C 2Journal 7Unranked 19

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Multicore Environment State Representation for Agent-Directed Test Generation. DAC Bruno D. Miranda, Luiz M. V. Pereira, Márcio Castro, Luiz C. V. dos Santos
2023	J	`jnl`	EveCheck: An Event-Driven, Scalable Algorithm for Coherent Shared Memory Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Marleson Graf, Gabriel A. G. Andrade, Luiz C. V. dos Santos
2020	J	`jnl`	A Directed Test Generator for Shared-Memory Verification of Multicore Chip Designs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Gabriel A. G. Andrade, Marleson Graf, Nícolas Pfeifer, Luiz C. V. dos Santos
2020	A	`conf`	A Reinforcement Learning Approach to Directed Test Generation for Shared Memory Verification. DATE Nícolas Pfeifer, Bruno V. Zimpel, Gabriel A. G. Andrade, Luiz C. V. dos Santos
2020	J	`jnl`	Chaining and Biasing: Test Generation Techniques for Shared-Memory Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Gabriel A. G. Andrade, Marleson Graf, Luiz C. V. dos Santos
2019	A	`conf`	Spec&Check: An Approach to the Building of Shared-Memory Runtime Checkers for Multicore Chip Design Verification. ICCAD Marleson Graf, Olav P. Henschel, Rafael P. Alevato, Luiz C. V. dos Santos
2018	A	`conf`	Steep coverage-ascent directed test generation for shared-memory verification of multicore chips. ICCAD Gabriel A. G. Andrade, Marleson Graf, Nícolas Pfeifer, Luiz C. V. dos Santos
2017	J	`jnl`	Incremental Layer Assignment Driven by an External Signoff Timing Engine. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Vinicius S. Livramento, Derong Liu, Salim Chowdhury, Bei Yu, Xiaoqing Xu, David Z. Pan, José Luís Almada Güntzel, Luiz C. V. dos Santos
2016	—	`conf`	Cache sizing for low-energy Elliptic Curve Cryptography. SBCCI Felipe Piovezan, Tarcisio E. M. Crocomo, Luiz C. V. dos Santos
2016	C	`conf`	Chain-based pseudorandom tests for pre-silicon verification of CMP memory systems. ICCD Gabriel A. G. Andrade, Marleson Graf, Luiz C. V. dos Santos
2016	—	`conf`	Evaluating the impact of circuit legalization on incremental optimization techniques. SBCCI Renan Netto, Vinicius S. Livramento, Chrystian Guth, Luiz C. V. dos Santos, José Luís Güntzel
2016	—	`conf`	Speeding up Incremental Legalization with Fast Queries to Multidimensional Trees. ISVLSI Renan Netto, Vinicius S. Livramento, Chrystian Guth, Luiz C. V. dos Santos, José Luís Güntzel
2015	A	`conf`	Exploiting Non-Critical Steiner Tree Branches for Post-Placement Timing Optimization. ICCAD Vinicius S. Livramento, Chrystian Guth, Renan Netto, José Luís Almada Güntzel, Luiz C. V. dos Santos
2015	—	`conf`	Timing-Driven Placement Based on Dynamic Net-Weighting for Efficient Slack Histogram Compression. ISPD Chrystian Guth, Vinicius S. Livramento, Renan Netto, Renan Fonseca, José Luís Güntzel, Luiz C. V. dos Santos
2013	A	`conf`	On-the-fly verification of memory consistency with concurrent relaxed scoreboards. DATE Leandro S. Freitas, Eberle A. Rambo, Luiz C. V. dos Santos
2013	—	`conf`	Pre-silicon verification of multiprocessor SoCs: The case for on-the-fly coherence/consistency checking. ICECS Olav P. Henschel, Luiz C. V. dos Santos
2013	A*	`conf`	Reconciling real-time guarantees and energy efficiency through unlocked-cache prefetching. DAC Emilio Wuerges, Rômulo Silva de Oliveira, Luiz C. V. dos Santos
2012	—	`conf`	A template for the construction of efficient checkers with full verification guarantees. ICECS Leandro S. Freitas, Gabriel A. G. Andrade, Luiz C. V. dos Santos
2012	C	`conf`	Efficient verification of out-of-order behaviors with relaxed scoreboards. ICCD Leandro S. Freitas, Gabriel A. G. Andrade, Luiz C. V. dos Santos
2012	A	`conf`	On ESL verification of memory consistency for system-on-chip multiprocessing. DATE Eberle A. Rambo, Olav P. Henschel, Luiz C. V. dos Santos
2011	—	`conf`	Automatic generation of memory consistency tests for chip multiprocessing. ICECS Eberle A. Rambo, Olav P. Henschel, Luiz C. V. dos Santos
2011	—	`conf`	Fast estimation of memory consumption for energy-efficient compilers. ICECS Emilio Wuerges, Rômulo Silva de Oliveira, Luiz C. V. dos Santos
2010	—	`conf`	A Post-compiling Approach that Exploits Code Granularity in Scratchpads to Improve Energy Efficiency. ISVLSI Daniel P. Volpato, Alexandre Keunecke Ignácio Mendonça, Luiz C. V. dos Santos, José Luís Almada Güntzel
2009	J	`jnl`	A Multi-Model Engine for High-Level Power Estimation Accuracy Optimization. IEEE Trans. Very Large Scale Integr. Syst. Felipe Klein, Roberto Leao, Guido Araujo, Luiz C. V. dos Santos, Rodolfo Azevedo
2009	A*	`conf`	A novel verification technique to uncover out-of-order DUV behaviors. DAC Gabriel Marcilio, Luiz C. V. dos Santos, Bruno C. Albertini, Sandro Rigo
2009	—	`conf`	An early real-time checker for retargetable compile-time analysis. SBCCI Emilio Wuerges, Luiz C. V. dos Santos, Olinto J. V. Furtado, Sandro Rigo
2009	—	`conf`	Mapping Data and Code into Scratchpads from Relocatable Binaries. ISVLSI Alexandre Keunecke Ignácio Mendonça, Daniel P. Volpato, José Luís Almada Güntzel, Luiz C. V. dos Santos
2008	J	`jnl`	An open-source binary utility generator. ACM Trans. Design Autom. Electr. Syst. Alexandro Baldassin, Paulo Centoducatte, Sandro Rigo, Daniel C. Casarotto, Luiz C. V. dos Santos, Max R. de O. Schultz, Olinto J. V. Furtado
2007	—	`conf`	A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems. SAMOS Max R. de O. Schultz, Alexandre Keunecke Ignácio Mendonça, Felipe G. Carvalho, Olinto J. V. Furtado, Luiz C. V. dos Santos
2007	A	`conf`	A multi-model power estimation engine for accuracy optimization. ISLPED Felipe Klein, Guido Araujo, Rodolfo Azevedo, Roberto Leao, Luiz C. V. dos Santos
2007	—	`conf`	An Automatically-Retargetable Time-Constraint-Driven Instruction Scheduler for Post-compiling Optimization of Embedded Code. SAMOS José O. Carlomagno Filho, Luiz F. P. Santos, Luiz C. V. dos Santos
2007	—	`conf`	An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile Phones. TestCom/FATES Luiz Kawakami, André Knabben, Douglas Rechia, Denise Gasques Bastos, Otavio Pereira, Ricardo Pereira e Silva, Luiz C. V. dos Santos
2007	—	`conf`	Automatic Retargeting of Binary Utilities for Embedded Code Generation. ISVLSI Alexandro Baldassin, Paulo Centoducatte, Sandro Rigo, Daniel C. Casarotto, Luiz C. V. dos Santos, Max R. de O. Schultz, Olinto J. V. Furtado
2007	—	`conf`	On the Limitations of Power Macromodeling Techniques. ISVLSI Felipe Klein, Guido Araujo, Rodolfo Azevedo, Roberto Leao, Luiz C. V. dos Santos
2005	—	`conf`	Automatic ADL-Based Assembler Generation for ASIP Programming Support. SAMOS Leonardo Taglietti, José O. Carlomagno Filho, Daniel C. Casarotto, Olinto J. V. Furtado, Luiz C. V. dos Santos
2003	—	`conf`	Global scheduling and register allocation based on predicated execution. ISCAS (3) Rogério Xavier de Azambuja, Luiz C. V. dos Santos
2000	J	`jnl`	A code-motion pruning technique for global scheduling. ACM Trans. Design Autom. Electr. Syst. Luiz C. V. dos Santos, Marc J. M. Heijligers, C. A. J. van Eijk, J. Van Eijnhoven, Jochen A. G. Jess
1999	A*	`conf`	A Reordering Technique for Efficient Code Motion. DAC Luiz C. V. dos Santos, Jochen A. G. Jess
1999	A	`conf`	Exploiting State Equivalence on the Fly while Applying Code Motion and Speculation. DATE Luiz C. V. dos Santos, Jochen A. G. Jess
1996	—	`conf`	A Constructive Method for Exploiting Code Motion. ISSS Luiz C. V. dos Santos, Marc J. M. Heijligers, C. A. J. van Eijk, Jos T. J. van Eijndhoven, Jochen A. G. Jess