47 results on '"Luiz C. V. dos Santos"'
Search Results
2. A Reinforcement Learning Approach to Directed Test Generation for Shared Memory Verification.
3. Spec&Check: An Approach to the Building of Shared-Memory Runtime Checkers for Multicore Chip Design Verification.
4. Chaining and Biasing: Test Generation Techniques for Shared-Memory Verification.
5. A Directed Test Generator for Shared-Memory Verification of Multicore Chip Designs.
6. Cache sizing for low-energy Elliptic Curve Cryptography.
7. Evaluating the impact of circuit legalization on incremental optimization techniques.
8. Chain-based pseudorandom tests for pre-silicon verification of CMP memory systems.
9. Speeding up Incremental Legalization with Fast Queries to Multidimensional Trees.
10. Incremental Layer Assignment Driven by an External Signoff Timing Engine.
11. Timing-Driven Placement Based on Dynamic Net-Weighting for Efficient Slack Histogram Compression.
12. Exploiting Non-Critical Steiner Tree Branches for Post-Placement Timing Optimization.
13. Pre-silicon verification of multiprocessor SoCs: The case for on-the-fly coherence/consistency checking.
14. On-the-fly verification of memory consistency with concurrent relaxed scoreboards.
15. Reconciling real-time guarantees and energy efficiency through unlocked-cache prefetching.
16. A template for the construction of efficient checkers with full verification guarantees.
17. On ESL verification of memory consistency for system-on-chip multiprocessing.
18. Automatic generation of memory consistency tests for chip multiprocessing.
19. Fast estimation of memory consumption for energy-efficient compilers.
20. A Post-compiling Approach that Exploits Code Granularity in Scratchpads to Improve Energy Efficiency.
21. Mapping Data and Code into Scratchpads from Relocatable Binaries.
22. A novel verification technique to uncover out-of-order DUV behaviors.
23. A Model-Driven Automatically-Retargetable Debug Tool for Embedded Systems.
24. An Automatically-Retargetable Time-Constraint-Driven Instruction Scheduler for Post-compiling Optimization of Embedded Code.
25. A multi-model power estimation engine for accuracy optimization.
26. An Object-Oriented Framework for Improving Software Reuse on Automated Testing of Mobile Phones.
27. On the Limitations of Power Macromodeling Techniques.
28. Automatic Retargeting of Binary Utilities for Embedded Code Generation.
29. Automatic ADL-Based Assembler Generation for ASIP Programming Support.
30. Global scheduling and register allocation based on predicated execution.
31. Steep coverage-ascent directed test generation for shared-memory verification of multicore chips.
32. A Reordering Technique for Efficient Code Motion.
33. A Multi-Model Engine for High-Level Power Estimation Accuracy Optimization.
34. An open-source binary utility generator.
35. A Constructive Method for Exploiting Code Motion.
36. An early real-time checker for retargetable compile-time analysis.
37. A code-motion pruning technique for global scheduling.
38. Efficient verification of out-of-order behaviors with relaxed scoreboards.
39. Clock-Tree-Aware Incremental Timing-Driven Placement
40. Exploiting State Equivalence on the Fly while Applying Code Motion and Speculation.
41. Cache-tuning-aware scratchpad allocation from binaries
42. Retargetable Binary Tools
43. Open-Source Languages
44. SystemC-Based Power Evaluation with PowerSC
45. Electronic System Level Design
46. A retargetable embedded code scheduler for SoC design space exploration under real-time constraints
47. Automatically-retargetable model-driven tools for embedded code inspection in SoCs
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.