:: Library Catalog

Imatge de la portada

Guardat en:

Dades bibliogràfiques
Autor principal:	Wu, Yi-De
Format:	Recurso digital
Idioma:
Publicat:	Zenodo 2026
Matèries:	formal verification RISC-V BOOM ISA compliance FMCAD 2026 SymbiYosys Sail
Accés en línia:	https://doi.org/10.5281/zenodo.20111982
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Ítems similars

MODELADO DINAMICO BASADO EN REDES DE PETRI PARA EL MODELO DE INTEGRACION EMPRESARIAL "ACTOR DE EMPRESA"
per: MANUEL LOZADA
Publicat: (2010)

Lean Aps Recursion Uniformization (Lean formalization)
per: Spivack, Nova
Publicat: (2026)

Lean Observer Non Exhaustability (Lean formalization)
per: Spivack, Nova
Publicat: (2026)

Lean Observer Non Exhaustability (Lean formalization)
per: Spivack, Nova
Publicat: (2026)

Lean Representational Incompleteness (Lean formalization)
per: Spivack, Nova
Publicat: (2026)

Lean Representational Incompleteness (Lean formalization)
per: Spivack, Nova
Publicat: (2026)

Lean Reflexive Closure (Lean formalization)
per: Spivack, Nova
Publicat: (2026)

Lean Reflexive Architecture Nonexhaustibility (Lean formalization)
per: Spivack, Nova
Publicat: (2026)

UGP/GTE Lean formalization
per: Spivack, Nova
Publicat: (2026)

Validation of the Spanish version of Soane’s ISA Engagement Scale
per: Miguel Ángel Mañas-Rodríguez
Publicat: (2016)

Lean Nems (Lean formalization)
per: Spivack, Nova
Publicat: (2026)

AgentBelt: Runtime Guardrails for LLM Agent Tool Calls — ASE 2026 Artifact
per: Anonymous
Publicat: (2026)

Towards Offloading C/C++ Kernels and ONNX Models to CGRAs through MLIR
per: Neto, Nelson, et al.
Publicat: (2025)

Chapter The Historic Lighthouses of the Italian Coasts
per: Benincasa, Fabrizio, et al.
Publicat: (2025)

Chapter Ancient Navigation and Mediterranean Coastal Meteorology
per: BENINCASA, FABRIZIO, et al.
Publicat: (2025)

8-bit softcore microprocessor with dual accumulator designed to be used in FPGA
per: William Sáenz Rodríguez
Publicat: (2018)

Análisis psicométrico del Connor-Davidson Resilience Scale (CD-RISC 10) en población universitaria colombiana
per: Fernando Riveros Munévar
Publicat: (2017)

MICROPROCESADOR DIDÁCTICO DE ARQUITECTURA RISC IMPLEMENTADO EN UN FPGA
per: Víctor H. García Ortega
Publicat: (2009)

Verification of transaction level models of embedded systems
per: Lucky Lochi Yu Lo
Publicat: (2013)

Gestión estratégica institucional: Caso ISA
per: Diego Fernando Forero
Publicat: (2003)

VALIDEZ DE CONSTRUCTO Y CONFIABILIDAD DEL CONNOR-DAVIDSON RESILIENCE SCALE (CD-RISC 10) EN POBLACIÓN COLOMBIANA CON ENFERMEDADES CRÓNICAS
per: FERNANDO RIVEROS MUNÉVAR
Publicat: (2016)

Resilience and Brain Injury: Validation of the Connor-Davidson Scale in Spanish Individuals
per: Alba Aza
Publicat: (2025)

ARN de interferencia y su importancia en la biomedicina molecular
per: Jorge Luis Hernández García
Publicat: (2005)

Estimating catches with automatic identification system (AIS) data: a case study of single otter trawl in Zhoushan fishing ground, China
per: Wang, Y.B., et al.
Publicat: (2016)

FLT-Coq: Two Conditional Routes (Coverage Parameter and GN(2))
per: Dedenko, Grigoriy
Publicat: (2025)

PROCEDIMIENTO DE MODELADO ISA S88 PARA EJECUCIÓN DE ÓRDENES DE PRODUCCIÓN BASADAS EN RÉCIPES
per: Werner Yamid Serna Quilindo
Publicat: (2011)

HNBP-CORE: Cross-Platform Tamper-Evident Witness Logs for User-Side State Integrity and AI System Audit Compliance
per: AriaLabs Systems LLC
Publicat: (2026)

The Connor-Davidson Resilience Scale (CD-RISC) amongst Young Spanish Adults
per: Maria-Eugenia Gras
Publicat: (2019)

Propuesta de auditoría energética para la industria aplicada a un caso de estudio del sector plástico
per: María Isabel García-Fajardo
Publicat: (2019)

Análisis de las condiciones laborales durante la crisis en la industria chilena del salmón
per: Francisco Aníbal Ganga Contreras
Publicat: (2010)

Semi-formal specifications and formal verification improving the digital design: some statistics
per: D. Torres
Publicat: (2009)

Adversarial Ensemble Reasoning with Formal Verification: A Methodology for Trustworthy AI-Assisted Scientific Discovery
per: Goodman, John
Publicat: (2026)

Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design – FMCAD 2025
Publicat: (2025)

Completing the Cohomological Extension Package: Section Cocycles and Splitting Criterion for Mathlib
per: Spivack, Nova
Publicat: (2026)

Carry Mixing and Spectral Gap Analysis of the Collatz Conjecture: 202 Lean4 Theorems and the Fibonacci Firewall
per: Fujimoto, Nobuki, et al.
Publicat: (2026)

Canonical Certification Does Not Exhaust Reflective Structure: Reflective Split, Strict Refinement, and Fiber Structure in Infinity Compression
per: Spivack, Nova
Publicat: (2026)

Optimización en el desarrollo de un programa para PLC
per: Zoraima Lucena
Publicat: (2004)

Research on LLM Acceleration Using the High-Performance RISC-V Processor "Xiangshan" (Nanhu Version) Based on the Open-Source Matrix Instruction Set Extension (Vector Dot Product)
per: Chen, Xu-Hao, et al.
Publicat: (2024)

Contribution au suivi contrôle et surveillance des pêches au Sénégal
per: Diarra, B.
Publicat: (2002)

Diseño y pruebas de un sistema de monitoreo y supervisión para una máquina universal de ensayos
per: Martha Natalia Agredo
Publicat: (2015)