Mostrando
1 - 20
Resultados de
165,252
Saltar al contenido
VuFind
Ingreso de sesión Institucional
Lenguaje
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Māori
Catálogo
ProQuest
Todos los Campos
Título
Autor
Materia
Título de Revista
Buscar
Avanzado
Resultados de búsqueda - Integrated circuits Verification. ; Computer software
Resultados de búsqueda - Integrated circuits Verification. ; Computer software
Mostrando
1 - 20
Resultados de
165,252
Ir a la Siguiente Página
Limitar resultados
Ordenar
Relevancia
Fecha Descendente
Fecha Ascendente
USPTO Publishes Trademark 'OUR TECHNOLOGY, YOUR INNOVATION' for Opposition
Publicado en
US Fed News Service, Including US State News
(Feb 7, 2025)
Citation
Full Text
Registro independiente
Agregar a favoritos
Guardado en:
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
Registro independiente
Agregar a favoritos
Guardado en:
Assertion-Based Verification of I2C Module Using SystemVerilog
por
Dae-Won, Moon
Publicado en
Electronics
(2025)
Citation/Abstract
Full Text + Graphics
Full Text - PDF
Registro independiente
Agregar a favoritos
Guardado en:
Innovative Hardware Accelerator Architecture for FPGA-Based General-Purpose RISC Microprocessors
por
Ali, Ehsan
Publicado en
Journal of Electrical and Computer Engineering
(2025)
Citation/Abstract
Full Text
Full Text - PDF
Registro independiente
Agregar a favoritos
Guardado en:
Methodologies for Accelerated Open-Source Hardware Verification and Optimization
por
Gilani, Farzam
Publicado en
ProQuest Dissertations and Theses
(2025)
Citation/Abstract
Full Text - PDF
Registro independiente
Agregar a favoritos
Guardado en:
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
Registro independiente
Agregar a favoritos
Guardado en:
Beyond Vhdl Simulation To On Chip Testing
por
Hayne, Ronald
Publicado en
Association for Engineering Education - Engineering Library Division Papers
(Jun 22, 2008)
Citation/Abstract
Full text outside of ProQuest
Registro independiente
Agregar a favoritos
Guardado en:
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
Registro independiente
Agregar a favoritos
Guardado en:
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
Registro independiente
Agregar a favoritos
Guardado en:
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
Registro independiente
Agregar a favoritos
Guardado en:
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
Registro independiente
Agregar a favoritos
Guardado en:
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
Registro independiente
Agregar a favoritos
Guardado en:
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
Registro independiente
Agregar a favoritos
Guardado en:
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
Registro independiente
Agregar a favoritos
Guardado en:
USPTO ISSUES TRADEMARK: SYNOPSYS
Publicado en
US Fed News Service, Including US State News
(Oct 3, 2024)
Citation
Full Text
Registro independiente
Agregar a favoritos
Guardado en:
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
Registro independiente
Agregar a favoritos
Guardado en:
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
Registro independiente
Agregar a favoritos
Guardado en:
Enhancing the Power of Quantum Electronic Design Automation
por
Lu, Chao
Publicado en
ProQuest Dissertations and Theses
(2024)
Citation/Abstract
Full Text - PDF
Registro independiente
Agregar a favoritos
Guardado en:
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
Registro independiente
Agregar a favoritos
Guardado en:
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
Registro independiente
Agregar a favoritos
Guardado en:
1
2
3
4
5
6
7
8
9
10
11
Siguiente
[20]
Herramientas de búsqueda:
RSS
Enviar por Correo electrónico esta Búsqueda
Guardar Búsqueda
Atrás
Limitar resultados
La página se volverá a cargar cuando se seleccione o excluya un filtro.
Limitar a artículos con texto completo disponible
Limitar los artículos por campo académico
Limitar a articulos de revistas revisadas
Fuente
ProQuest Dissertations & Theses Global
57,043 resultados
57,043
ABI/INFORM Dateline
41,107 resultados
41,107
ABI/INFORM Trade & Industry
23,214 resultados
23,214
Publicly Available Content Database
16,751 resultados
16,751
Academic Complete
15,165 resultados
15,165
Ebook Central
15,165 resultados
15,165
Advanced Technologies & Aerospace Database
12,383 resultados
12,383
ABI/INFORM Global
10,882 resultados
10,882
Research Library
9,204 resultados
9,204
Engineering Database
8,791 resultados
8,791
Computer Science Database
6,880 resultados
6,880
Health & Medical Collection
5,811 resultados
5,811
Science Database
3,483 resultados
3,483
Biological Science Database
3,216 resultados
3,216
U.S. Southeast Newsstream
2,858 resultados
2,858
Career & Technical Education Database
2,724 resultados
2,724
U.S. West Newsstream
2,195 resultados
2,195
U.S. Northeast Newsstream
2,185 resultados
2,185
U.S. Midwest Newsstream
2,177 resultados
2,177
U.S. North Central Newsstream
2,176 resultados
2,176
U.S. South Central Newsstream
2,170 resultados
2,170
Materials Science Database
2,143 resultados
2,143
Accounting, Tax & Banking Collection
1,675 resultados
1,675
Military Database
1,675 resultados
1,675
Environmental Science Database
1,606 resultados
1,606
Telecommunications Database
1,504 resultados
1,504
Earth, Atmospheric & Aquatic Science Database
1,297 resultados
1,297
Coronavirus Research Database
1,166 resultados
1,166
Nursing & Allied Health Database
1,131 resultados
1,131
Public Health Database
1,055 resultados
1,055
Psychology Collection
875 resultados
875
Education Database
819 resultados
819
Agriculture Science Database
705 resultados
705
Middle East & Africa Database
654 resultados
654
European Newsstream
545 resultados
545
Canadian Business & Current Affairs Database
503 resultados
503
Healthcare Administration Database
443 resultados
443
Social Science Database
439 resultados
439
Global Breaking Newswires
427 resultados
427
Library Science Database
361 resultados
361
Political Science Database
322 resultados
322
Criminal Justice Database
306 resultados
306
East & South Asia Database
260 resultados
260
East Europe, Central Europe Database
238 resultados
238
Asian & European Business Collection
232 resultados
232
Asian Newsstream
229 resultados
229
Continental Europe Database
218 resultados
218
India Database
198 resultados
198
Middle East Newsstream
195 resultados
195
Sociology Database
161 resultados
161
Supplemental Education Index
122 resultados
122
Latin America & Iberia Database
92 resultados
92
Business Market Research Collection
77 resultados
77
Linguistics Database
73 resultados
73
Consumer Health Database
63 resultados
63
Religion Collection
52 resultados
52
Arts & Humanities Database
45 resultados
45
Turkey Database
37 resultados
37
UK & Ireland Database
31 resultados
31
Canadian Newsstream Collection
25 resultados
25
Australia & New Zealand Newsstream
10 resultados
10
African Newsstream
9 resultados
9
Academic Video Online
8 resultados
8
Latin American Newsstream
7 resultados
7
U.S. Hispanic Newsstream
7 resultados
7
Australia & New Zealand Database
6 resultados
6
The Wall Street Journal
4 resultados
4
New York Times
2 resultados
2
Los Angeles Times
2 resultados
2
Chicago Tribune
2 resultados
2
ERIC
1 resultados
1