arXiv:2412.04919
Hard Math -- Easy UVM: Pragmatic solutions for verifying hardware algorithms using UVM
원문 초록
This paper presents pragmatic solutions for verifying complex mathematical algorithms implemented in hardware in an efficient and effective manner. Maximizing leverage of a known-answer-test strategy, based on predefined data scenarios combined with design-for-verification modes, we demonstrate how to find and isolate concept and design bugs early in the flow. The solutions presented are based on real project experience with single chip radar sensors for a variety of applications. The verification environments supporting the presented strategies are based on SystemVerilog and the Universal Verification Methodology.
함께 살펴볼 논문
공통 태그를 근거로 연결했습니다. 실제 인용 관계나 논문의 우수성을 뜻하지 않습니다.
Personalized Exercise Recommendation with Semantically-Grounded Knowledge Tracing
Reasoning or Memorization? Unreliable Results of Reinforcement Learning Due to Data Contamination
A Practical Two-Stage Recipe for Mathematical LLMs: Maximizing Accuracy with SFT and Efficiency with Reinforcement Learning
The Delta Learning Hypothesis: Preference Tuning on Weak Data can Yield Strong Gains
LLMThinkBench: Towards Basic Math Reasoning and Overthinking in Large Language Models
EvoAgentX: An Automated Framework for Evolving Agentic Workflows
토론
이 논문과 연결된 포럼 글이 아직 없습니다.