Copertina

Artifact: PyCaliper: Python-embedded Infrastructure for RTL Verification and Specification Synthesis

Fuente: Zenodo

Salvato in:

Dettagli Bibliografici
Autori principali:	Godbole, Adwait, Huffman, Brian, Liu, Fangfei, Rozas, Carlos, Seshia, Sanjit
Natura:	Recurso digital
Lingua:	inglese
Pubblicazione:	Zenodo 2025
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

SemPat: Using Hyperproperty-based Semantic Analysis to Generate Microarchitectural Attack Patterns
di: Godbole, Adwait, et al.
Pubblicazione: (2024)

Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis
di: Shetty, Manish, et al.
Pubblicazione: (2024)

PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
di: Chen, Pei-Wei, et al.
Pubblicazione: (2025)

Learning Affordances at Inference-Time for Vision-Language-Action Models
di: Shah, Ameesh, et al.
Pubblicazione: (2025)

Unified Fairness for Weak Memory Verification
di: Abdulla, Parosh Aziz, et al.
Pubblicazione: (2023)

Learning Formal Specifications from Membership and Preference Queries
di: Shah, Ameesh, et al.
Pubblicazione: (2023)

ProCaliper
di: Feng, Song, et al.
Pubblicazione: (2025)

ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
di: Vin, Eric, et al.
Pubblicazione: (2025)

ScenicRules: An Autonomous Driving Benchmark with Multi-Objective Specifications and Abstract Scenarios
di: Chang, Kevin Kai-Chun, et al.
Pubblicazione: (2026)

SpecLoop: An Agentic RTL-to-Specification Framework with Formal Verification Feedback Loop
di: Chang, Fu-Chieh, et al.
Pubblicazione: (2026)

AssertionForge: Enhancing Formal Verification Assertion Generation with Structured Representation of Specifications and RTL
di: Bai, Yunsheng, et al.
Pubblicazione: (2025)

FormalRTL: Verified RTL Synthesis at Scale
di: Li, Kezhi, et al.
Pubblicazione: (2026)

Caliper: Interoperability and Management of Statistical Classifications
di: Caracciolo, Caterina, et al.
Pubblicazione: (2026)

Provably Correct Automata Embeddings for Optimal Automata-Conditioned Reinforcement Learning
di: Yalcinkaya, Beyazit, et al.
Pubblicazione: (2025)

Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
di: Yalcinkaya, Beyazit, et al.
Pubblicazione: (2024)

Using LLMs to Facilitate Formal Verification of RTL
di: Orenes-Vera, Marcelo, et al.
Pubblicazione: (2023)

Locally Pareto-Optimal Interpretations for Black-Box Machine Learning Models
di: Joshi, Aniruddha, et al.
Pubblicazione: (2025)

Learning Symbolic Task Decompositions for Multi-Agent Teams
di: Shah, Ameesh, et al.
Pubblicazione: (2025)

Verified Code Transpilation with LLMs
di: Bhatia, Sahil, et al.
Pubblicazione: (2024)

AIvril: AI-Driven RTL Generation With Verification In-The-Loop
di: Islam, Mubashir ul, et al.
Pubblicazione: (2024)

Automata-Conditioned Cooperative Multi-Agent Reinforcement Learning
di: Yalcinkaya, Beyazit, et al.
Pubblicazione: (2025)

SimpleStrat: Diversifying Language Model Generation with Stratification
di: Wong, Justin, et al.
Pubblicazione: (2024)

RTL2M$μ$PATH: Multi-$μ$PATH Synthesis with Applications to Hardware Security Verification
di: Hsiao, Yao, et al.
Pubblicazione: (2024)

RTL Verification for Secure Speculation Using Contract Shadow Logic
di: Tan, Qinhan, et al.
Pubblicazione: (2024)

VeriCHERI: Exhaustive Formal Security Verification of CHERI at the RTL
di: Antón, Anna Lena Duque, et al.
Pubblicazione: (2024)

UVLLM: An Automated Universal RTL Verification Framework using LLMs
di: Hu, Yuchen, et al.
Pubblicazione: (2024)

Becoming Organic: Nature and Agriculture in the Indian Himalaya
di: Seshia Galvin, Shaila
Pubblicazione: (2024)

PyGDA: A Python Library for Graph Domain Adaptation
di: Zhang, Zhen, et al.
Pubblicazione: (2025)

UVMarvel: an Automated LLM-aided UVM Machine for Subsystem-level RTL Verification
di: Ye, Junhao, et al.
Pubblicazione: (2026)

GRAID: Enhancing Spatial Reasoning of VLMs Through High-Fidelity Data Generation
di: Elmaaroufi, Karim, et al.
Pubblicazione: (2025)

Robust and Diverse Multi-Agent Learning via Rational Policy Gradient
di: Lauffer, Niklas, et al.
Pubblicazione: (2025)

Context-Aided Variable Elimination for Requirement Engineering
di: Incer, Inigo, et al.
Pubblicazione: (2023)

Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)
di: Qiu, Jie, et al.
Pubblicazione: (2024)

$L^*LM$: Learning Automata from Examples using Natural Language Oracles
di: Vazquez-Chanlatte, Marcell, et al.
Pubblicazione: (2024)

LTL-Constrained Policy Optimization with Cycle Experience Replay
di: Shah, Ameesh, et al.
Pubblicazione: (2024)

PyFCG: Fluid Construction Grammar in Python
di: Van Eecke, Paul, et al.
Pubblicazione: (2025)

PySymmPol: Symmetric Polynomials in Python
di: Araujo, Thiago
Pubblicazione: (2024)

Miniaturized Computational Dispersion-Engineered Silicon Photonic Vernier Caliper Spectrometer
di: Deng, Hao, et al.
Pubblicazione: (2025)

LAAG-RV: LLM Assisted Assertion Generation for RTL Design Verification
di: Maddala, Karthik, et al.
Pubblicazione: (2024)

ProCaliper: functional and structural analysis, visualization, and annotation of proteins
di: Rozum, Jordan C., et al.
Pubblicazione: (2025)