Resultados de búsqueda - Integrated circuits Verification. ; Computer software

Limitar resultados
  1. Imagen de Portada

    USPTO Publishes Trademark 'OUR TECHNOLOGY, YOUR INNOVATION' for Opposition

    Citation
    Full Text
    Agregar a favoritos
    Guardado en:
  2. Imagen de Portada

    Superposition‐Based Abstractions for Quantum Data Encoding Verification por Govindankutty, Arun

    Publicado en IET Quantum Communication (Jan/Dec 2025)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  3. Imagen de Portada

    Assertion-Based Verification of I2C Module Using SystemVerilog por Dae-Won, Moon

    Publicado en Electronics (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  4. Imagen de Portada

    Innovative Hardware Accelerator Architecture for FPGA-Based General-Purpose RISC Microprocessors por Ali, Ehsan

    Citation/Abstract
    Full Text
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  5. Imagen de Portada

    Methodologies for Accelerated Open-Source Hardware Verification and Optimization por Gilani, Farzam

    Publicado en ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  6. Imagen de Portada

    The Lean Startup Methodology: A Catalyst for Semiconductor Innovation por da Silva Machado Rodrigues, Inês Filipa

    Publicado en PQDT - Global (2025)
    Citation/Abstract
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  7. Imagen de Portada

    Beyond Vhdl Simulation To On Chip Testing por Hayne, Ronald

    Citation/Abstract
    Full text outside of ProQuest
    Agregar a favoritos
    Guardado en:
  8. Imagen de Portada

    AI-Driven ASIC Design and Verification: Integrating Machine Learning, LLMs, and Secure Hardware Practices por Jin, Yuyang

    Publicado en ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  9. Imagen de Portada

    DMR-SCL: A Design and Verification Framework for Redundancy-Based Resilient Asynchronous Sleep Convention Logic Circuits por Datta, Mithun

    Publicado en Electronics (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  10. Imagen de Portada

    Framework for Efficient and Budget-Aware Verifiable Computation in Smart Grids por Shaik, Matheen Basha

    Publicado en ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  11. Imagen de Portada

    Investigation of PLM Utilities and Concepts in Engineering Curriculum: Challenges and Opportunities por Rowell, Frederick

    Publicado en ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  12. Imagen de Portada

    Evaluating High-Level SystemC Formal Verification Compared to RTL Verification por de Jesus, Renato Pedrosa

    Publicado en PQDT - Global (2024)
    Citation/Abstract
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  13. Imagen de Portada

    AI-Assisted Formal Specification and Verification in Dafny: A Multi-Provider VS Code Extension por Honorato, Vinicius Correia

    Publicado en PQDT - Global (2025)
    Citation/Abstract
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  14. Imagen de Portada

    VitaSlice: Software Development and System Optimization of a Custom Light Sheet Fluorescence Microscope por Seixas, Simão Peniche

    Publicado en PQDT - Global (2025)
    Citation/Abstract
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  15. Imagen de Portada

    USPTO ISSUES TRADEMARK: SYNOPSYS

    Citation
    Full Text
    Agregar a favoritos
    Guardado en:
  16. Imagen de Portada

    Implementation Efficiency of Falcon Digital Signature Scheme on Arty-7 XC7A35T Board por Tat-Thang, Nguyen

    Publicado en Electronics (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  17. Imagen de Portada

    Development of CMOS Analog Memristor Emulator for Associative Learning and Neuromorphic Applications por Mehta, Ankit

    Publicado en ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  18. Imagen de Portada

    Enhancing the Power of Quantum Electronic Design Automation por Lu, Chao

    Publicado en ProQuest Dissertations and Theses (2024)
    Citation/Abstract
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  19. Imagen de Portada

    Modeling, Detection, and Experimental Verification for EM-Oriented Hardware and Software Anomaly por Wang, Hanqiu

    Publicado en ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Agregar a favoritos
    Guardado en:
  20. Imagen de Portada

    Analog and Mixed-Signal Circuit Analysis and Design: A Data-Driven Approach por Tao, Zhuofu

    Publicado en ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: