verification 相关问题

验证检查产品是否符合规格和更多固定条件。

在 Dafny 中，计算小于阈值的集合元素

我想计算 Dafny 中设置小于阈值的元素，但我无法弄清楚“确保”。方法 CountLessThan(numbers: set, Threshold: int) returns (count: int)

verification dafny

回答 1 投票 0

return_url 在 iframe 中使用时不适用于 Stripe 身份验证

我正在尝试使用文档中提到的重定向方法将 Stripe 身份验证集成到 iframe 内的应用程序中。但验证文件提交成功后...

ruby-on-rails ruby stripe-payments identity verification

回答 1 投票 0

如果单个测试用例无法使功能覆盖率接近100%，是否可以使用多个测试用例来击中每个点？

由于对于初学者来说编写涵盖所有要点的测试用例非常困难，因此我决定编写许多测试用例。每个测试用例可以覆盖一些覆盖点。将所有案例合并为一个覆盖范围

system-verilog verification uvm function-coverage

回答 1 投票 0

如何编写自动售货机设计的UVM驱动程序和序列项（面试题）？

我在 DV 面试中被问到这个问题，我很想知道我错过了什么或者什么是更好的方法。请提出您的建议。问题：我需要为 seq 编写伪代码...

system-verilog verification uvm

回答 1 投票 0

Twilio 电话验证 API 自定义名称和消息

我正在使用 Twilio 来验证用户的电话，我注意到用户收到的短信有一个奇怪的发件人名称“AUTHMSG”，并且措辞使用我的应用程序 slug，即“my-cool-first-application”。而我...

twilio verification

回答 3 投票 0

Google Cloud 信用卡验证问题 - 临时费用未显示

我目前正在设置我的 Google Cloud Platform (GCP) 帐户，但遇到了信用卡验证过程的问题。输入我的银行卡详细信息后，GCP 通知我他们将...

google-cloud-platform verification credit-card billing

回答 1 投票 0

如何在 Firebase Phone Auth Android 中禁用 reCaptcha 网页

我正在尝试在我的 Android 应用程序中添加 Firebase 的电话身份验证，它可以与所有 otp 和其他内容一起正常工作，但我遇到了两个问题。第一个问题：OTP验证...

java android firebase-authentication verification

回答 0 投票 0

如何让界面对某些组件可见？

最近，我在尝试复制一个UVM架构，用于验证NoC（片上网络）的路由器。由于我想验证我的NoC路由器，因此架构没有太大变化。然而，它...

system-verilog verification uvm questasim

回答 1 投票 0

如何在Dafny中定义实变量的指数函数和对数函数？

我一直在尝试使用Dafny来验证一些算法。在某些部分，计算需要指数和对数函数，但 Dafny 不提供任何库或内置数学函数...

math verification dafny

回答 1 投票 0

调用事件时出错（新注册（$user））； laravel 中的方法

我正在开发一个带有 React 前端的 Laravel 项目。提交新用户后，我试图向用户发送验证邮件，但我不断收到以下错误：错误：键入的道具...

laravel authentication email verification

回答 0 投票 0

使用压缩读取 JPG/PNG 并获取 CSS 属性

我们需要添加图像组件验证，我们需要验证字体大小、字体系列、位置（x 和 y 轴）等 CSS 属性是否与基准数据（Excel/JSON for ...

python image benchmarking verification squish

回答 0 投票 0

In testing 2 input or gate (cocotb) with for asynchronous data transfer using ready and enable signals, input value is always 'z' and output is 'x'?

我正在测试一个 DUT，它是一个双输入或门，使用 ready 和 enable 信号在 coco tb 和 verilog 中进行异步数据传输。当我运行这个测试时，我面临以下问题： ...

python verilog verification test-bench cocotb

回答 0 投票 0

Angular KYC 和 KYB 套餐建议

我想将 KYC 和 KYB 集成到我的 Angular 应用程序中。您会建议我哪些包具有专门针对 Angular 的良好文档？问题是，我将是第一次做...

angular verification

回答 0 投票 0

在使用就绪和启用信号使用异步数据传输接口测试两个输入或门（在cocotb中）时，就绪值始终为“x”？

我正在测试一个 DUT，它是一个双输入或门，使用 ready 和 enable 信号在 coco tb 和 verilog 中进行异步数据传输。当我运行这个测试时，就绪信号的值总是 x...

python unit-testing verilog verification cocotb

回答 0 投票 0

验证后如何添加登录成功弹窗？

我想添加登录成功弹窗。但是当我添加它时，弹出窗口出现在验证之前，因为它是在提交按钮上单击的。验证后单击提交按钮时，用户

angular validation popup verification

回答 1 投票 0

在登录页面上显示为未定义变量的哈希密码

我是 PHP 的新手，我的哈希密码遇到了错误。我可以通过我的帐户创建页面成功插入数据库，但是我在登录页面上遇到了困难，因为我

php html css verification php-password-hash

回答 0 投票 0

您可以将多个分析端口连接到单个实施吗？

我有多个环境，每个环境都负责一定的覆盖范围。因此，我被迫编写多个实现函数，这些函数有效，但它得到了

system-verilog verification uvm

回答 0 投票 0

从 block_io python 通知 json 对象验证签名

我在 python 中使用 block_io 来发送交易更新通知，它采用如下 json 格式： { "event_id" : "...", // 用于调试目的的事件 ID “

python json encoding decoding verification

回答 0 投票 0

软件架构设计中的验证活动是什么？

我的老师要求的任务是找到软件架构设计中的所有验证活动，定义和记录软件质量控制过程。用流程图来形容

process verification spi software-quality cmmi

回答 0 投票 0

如何使用参考模型轻松验证 RISC-V 内核机智？

我对RISC-V核心问题的验证很陌生。我必须用验证系统验证 RISCV32IM 内核。我写了一些测试台，其中包括一些场景和断言，例如自动

system-verilog verification riscv hdl riscv32

回答 0 投票 0

verification 相关问题

最新问题