verification 相关问题

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

递归和非递归属性：这些断言是否相等？

请考虑以下规范：“中断必须保持，直到收到中断ack”这些断言是否相等并且对应于规范？ 1-第一个断言（使用递归...

properties system-verilog verification assertion system-verilog-assertions

回答 1 投票 0

旋转：解释错误跟踪

我试着解决关于农民，狼，山羊和卷心菜的任务。所以，我找到了下面的promela描述：#define fin（all_right_side == true）#define wg（g_and_w == false）#define ...

verification model-checking spin promela

回答 2 投票 1

如何使用DPI-C嵌入Systemverilog Interpreter？

问题描述：我在SystemVerilog中设计并用相同的语言编写测试平台。我希望能够以你的方式编译我的设计并在模拟过程中测试不同的功能......

c system-verilog verification system-verilog-dpi

回答 3 投票 0

使用System-Verilog进行串行测试和断言

我有一个verilog模块的串行输出，我想使用system-verilog来测试testbench。输出，称为'SO'将输出类似8'hC6的东西，给定正确的串行输入'SI'，其值为......

testing verilog system-verilog verification system-verilog-assertions

回答 2 投票 3

SystemVerilog为生成的块分配值

所以我使用了generate语句在我一直在研究的测试平台上制作一些振荡器。我还有一个名为OSC_PER的实数数组，其中数组中的每个元素都是ns中的句点...

verilog system-verilog verification

回答 1 投票 2

使用Verilog VPI在模拟器中提前时间

我想使用VPI编写一个Verilog任务来对接口进行bit-bang;但是，我无法弄清楚如何从VPI任务推进仿真时间。我目前正在使用Mentor Graphics Questa ......

testing verilog verification

回答 3 投票 3

可信的公平：验证错误：primedice.com和bitsler.com

我正在尝试验证骰子掷骰，但生成错误的掷骰数字。我已经尝试过两个站点的官方验证脚本：primedice.com nodeJS验证脚本。 bitsler.com和PHP脚本......

node.js bitcoin verification dice betfair

回答 1 投票 0

SV测试平台的配置类

我正在尝试为SV测试平台编写一个配置类，并希望直接从命令行决定我的事务类中的rand字段的随机化。我以为我可以宣布一个静态......

hardware system-verilog verification

回答 1 投票 0

Specman - 如何从测试文件中完成测试？

U在测试文件中有以下扩展序列：extend MAIN vr_ad_sequence {！sending_byte：bool; baud_rate：baud_rate_t; cts_en：bit; ...... ...... - TX块......

testing verification specman

回答 1 投票 0

通过电子邮件验证电子邮件地址后自动登录

当用户成功验证其电子邮件地址时，我可以自动将其登录吗？我认为这样做有以下原因：链接是随机哈希用户已经厌倦了......

email authentication login verification

回答 3 投票 3

Scala：验证正确性代码示例不起作用

我正在阅读功能和反应域建模。在1.5节，第30页，有一个例子：credit（a，100）.flatMap（借记（_，100））=>成功（a.copy（余额=余额（0 + 100）））... 。

scala functional-programming substitution verification

回答 1 投票 0

哪种功能，算法适合说话人验证

我有一个发言人验证的任务。我的任务是计算两个音频语音之间的相似度，然后与阈值进行比较。例如：两个音频之间的相似度得分是70％，门槛......

audio similarity verification speech speaker

回答 2 投票 1

多重身份验证 - 无法通过移动应用程序进行身份验证

我们在Windows Server 2016上使用NPS，IIS，MFA，Azure等工作MFA，通过电话进行验证效果很好。现在我们手机身份验证有问题。当我登录到...

azure verification multi-factor-authentication

回答 1 投票 1

Laravel 5.7中的电子邮件验证语言文件

我想更改有人注册后发送的验证电子邮件文本。我知道我可以更改vendor \ laravel \ framework \ src \ Illuminate \ Auth \ Notifications \ VerifyEmail.php路径中的文本但我...

laravel email customization verification

回答 1 投票 0

验证真实世界身份（姓名和地址）的最佳方法是什么？

我正在考虑两种方式来验证身份，但我不确定两者是否可行：Paypal - 从Paypal收到身份详细信息后向别人收取1.00美元并退款（Paypal API将...

paypal sms verification

回答 4 投票 9

password_verify不验证哈希

我通过password_hash哈希插入的密码。我使用password_verify验证它们。但是，当我在我的数据库中插入哈希密码并尝试验证它时，两个输出总是不同于...

php hash verification password-encryption

回答 2 投票 7

verification 相关问题

最新问题