( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Toward Formalizing a Validation Methodology Using Simulation Coverage.

, , и . DAC, стр. 740-745. ACM Press, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Sharad Chandra

Sharad Prasad

Shalaka Sharad Shah

Nishant Malik

David Malik

 

Другие публикации лиц с тем же именем

Challenges in code generation for embedded processors., , , , , , , и . Code Generation for Embedded Processors, стр. 48-64. Kluwer, (1994)Code generation for fixed-point DSPs., и . ACM Trans. Design Autom. Electr. Syst., 3 (2): 136-161 (1998)Performance estimation of embedded software with instruction cache modeling., , и . ACM Trans. Design Autom. Electr. Syst., 4 (3): 257-279 (1999)A hierarchical modeling framework for on-chip communication architectures of multiprocessing SoCs., и . ACM Trans. Design Autom. Electr. Syst., 12 (1): 6:1-6:24 (2007)Instruction-Level Abstraction (ILA): A Uniform Specification for System-on-Chip (SoC) Verification., , , , , и . CoRR, (2018)Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification., , , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 37 (8): 1692-1705 (2018)Security Verification of Low-Trust Architectures., , , , , , и . CCS, стр. 945-959. ACM, (2023)Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models., , и . ASP-DAC, стр. 154-159. IEEE, (2022)Power-driven Design of Router Microarchitectures in On-chip Networks., , и . MICRO, стр. 105-116. IEEE Computer Society, (2003)Processor Evaluation in an Embedded Systems Design Environment., , , и . VLSI Design, стр. 98-103. IEEE Computer Society, (2000)