Risultati della ricerca - "Integrated circuits Verification. ; Computer software"

Raffina i risultati
  1. Copertina

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

    Pubblicato in US Fed News Service, Including US State News (Feb 7, 2025)
    Citation
    Full Text
    Aggiungi alla lista
    Salvato in:
  2. Copertina

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

    Pubblicato in IET Quantum Communication (Jan/Dec 2025)
    Citation/Abstract
    Full Text
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  3. Copertina

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

    Pubblicato in Electronics (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  4. Copertina

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

    Citation/Abstract
    Full Text
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  5. Copertina

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

    Pubblicato in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  6. Copertina

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

    Pubblicato in PQDT - Global (2025)
    Citation/Abstract
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  7. Copertina

    Beyond Vhdl Simulation To On Chip Testing di Hayne, Ronald

    Citation/Abstract
    Full text outside of ProQuest
    Aggiungi alla lista
    Salvato in:
  8. Copertina

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

    Pubblicato in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  9. Copertina

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

    Pubblicato in Electronics (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  10. Copertina

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

    Pubblicato in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  11. Copertina

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

    Pubblicato in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  12. Copertina

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

    Pubblicato in PQDT - Global (2024)
    Citation/Abstract
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  13. Copertina

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

    Pubblicato in PQDT - Global (2025)
    Citation/Abstract
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  14. Copertina

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

    Pubblicato in PQDT - Global (2025)
    Citation/Abstract
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  15. Copertina

    USPTO ISSUES TRADEMARK: SYNOPSYS

    Pubblicato in US Fed News Service, Including US State News (Oct 3, 2024)
    Citation
    Full Text
    Aggiungi alla lista
    Salvato in:
  16. Copertina

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

    Pubblicato in Electronics (2025)
    Citation/Abstract
    Full Text + Graphics
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  17. Copertina

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

    Pubblicato in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  18. Copertina

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

    Pubblicato in ProQuest Dissertations and Theses (2024)
    Citation/Abstract
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  19. Copertina

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

    Pubblicato in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:
  20. Copertina

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

    Pubblicato in ProQuest Dissertations and Theses (2025)
    Citation/Abstract
    Full Text - PDF
    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: