Questions tagged [verification]
Verification checks whether a product complies with specifications and further fixed conditions.
1,437
questions
0
votes
0
answers
6
views
Google Ads Advertiser verification process affects my Google Admob and Google Adsense account type
Recently google ads asked for Advertiser verification to verify as "organization". Unfortunately, I was unable to complete the verification as an organization successfully. As a result, my ...
0
votes
0
answers
42
views
Dafny verification fails "post condition might not hold"
i am new here (my first question)
We are supposed to use a given code from a website and convert it into dafny code.
The code logic itself is supposedly good.
When i try to convert the code in dafny ...
0
votes
2
answers
36
views
How does a covergroup handle with an event handle sampling when enabling strobe?
I am curious as to how the sampling happens in a SystemVerilog covergroup when we have an event specified and we also use type_option.strobe = 1 for said covergroup. For example:
covergroup c @(...
1
vote
1
answer
180
views
Gitlab : Not receive OTP for verify phone number when registering
I’m not receiving any SMS OTP for verifying my phone number when registering for gitlab account. Any solution?
0
votes
0
answers
15
views
Creating google accounts under google workspace opts for phone verification
We are trying to create temporary google account for google cloud sandboxes for educative purpose, using googleapis authenticated with service account. Since this is for temporary purpose and created ...
-2
votes
0
answers
16
views
How to change account type verification play console
enter image description hereI choose wrong organization account to verification, but I want personal account, because I can not register DUNS number, how to change from organization to personal ...
0
votes
0
answers
20
views
Issue With Verifying Scanner Inputs via File Reading in Java
Question
I'm attempting to verify the scanner inputs in my main method with the contents of input.txt, which contains an id, salary, and employee status number. I'm attempting to do this by reading ...
0
votes
0
answers
18
views
Is there verification on Sigstore when downloading dependencies from Maven?
By using the Maven sigstore plugin, the Maven projects can be signed and deployed. So, on the other hand, is there a way to verify those signatures when it comes to downloading a package from Maven? ...
-1
votes
0
answers
58
views
facebook business verification
Facebook is eating the lunch of many Bulletin Boards; I can't beat 'em, but I can join 'em. I'd like to make it easy for folks to register for login to my phpBB Board by passing their FB credentials ...
0
votes
0
answers
42
views
How can I get the value of 6 pin OTP sent to email from supabase?
I'm trying to verify the user email first before signing up by sending the user a 6pin code through email. I used {{.token}} in email template of supabase to generate the 6 pin sent to the user. Now I ...
1
vote
1
answer
44
views
Generating random value for 255 wire bus
I wanted to verify connectivity (using SystemVerilog) of a 255-wire bus from source to destination. To this effect, I wanted to drive random values on the source bus and ensure the corresponding ...
0
votes
1
answer
42
views
Error 69 82 when doing APDU verify instruction with biometric
I want to implemente match on card verification on my device. The first two steps (parameter with Threshold and Rotation ) proceed successfully with a 9000 response, but during the verification step, ...
1
vote
2
answers
67
views
How to assert/verify/match a Kotlin data class structure in a declarative way
Let's say I have a following data structure in Kotlin (simplified from the actual need):
data class RootClass(
val a: String,
val nestedContent: MiddleClass,
) : Result
data class MiddleClass(...
0
votes
2
answers
70
views
Find highest index with value non zero in dafny
In Dafny I want to find the highest index in an int array where the value is != 0
The method requires that such a value exists
I tried this but can't figure out how it can't provy any of the ensures ...
0
votes
0
answers
27
views
Login Problem with Flutter Google Sign In ("Google hasn’t verified this app. The app is requesting access to sensitive info in your Google Account.")
I am trying to make an app using Flutter and get this message ("Google hasn’t verified this app
The app is requesting access to sensitive info in your Google Account.") when I try to login. ...
0
votes
2
answers
62
views
Comparing huge data from two different sides [duplicate]
I have 2 different data storages which have same data stored in them. I want to check if both of them are similar. The type of data is
const object1 = {
"name": "John",
"...
-1
votes
1
answer
25
views
How to check valid AADHAR and PAN number in flutter
how to check entered aadhar and pan number is valid or not, is there any way ?
if entered incorrect number should enter again.
how to check entered and pan number is valid or not, is there any way ?
...
3
votes
2
answers
2k
views
LinkedIn identity verification failed, says "session invalid or expired"
I was trying to login to my LinkedIn account on my laptop (I usually use the mobile app) when I entered my email and password it redirected to a "verify you are a human" page after that came ...
-1
votes
2
answers
604
views
Linkedin identity Verification
i am facing a problem, the problem is while i am trying to login my linkedin account, i put the email and the password, then security verification page popups, then i verify it by doing some CAPTCHA, ...
0
votes
1
answer
87
views
Twilio try to send sms from dashboard to emirates number
i cannot send any sms from Twilio to and number on United Arab Emirates , always face below error :
"Test SMS failed. 21612. Message cannot be sent with the current combination of "To" ...
0
votes
1
answer
46
views
Is there a better way to calculate Chilean RUT verification digit?
For those who doesn't know, Chilean RUT is an ID for residents, similar to USCIS#, and is composed by 7-8 numbers followed by a verification digit (calculated by a type of MOD11 check).
I made the ...
0
votes
0
answers
14
views
Discord bot how to assign role in python
I tried to find information online, but all assign role discord bot are reaction verification instead of specific human verification. I want to add the code which will assign the role Student with the ...
1
vote
0
answers
91
views
Verification of signature without signed attributes using Bouncy Castle 1.70
I've started working on this project where we use Bouncy Castle for verification of digital signatures and we stumbled upon a bug.
This is verification method:
`
private Set<TLName> ...
1
vote
1
answer
48
views
A strange predicate that cannot prove assertion already defined in body
Suppose we have a datatype called Tree, and a function size to calculate its size
datatype Tree = Empty | Node(key: int, left: Tree, right: Tree)
function size(t: Tree): (s: nat)
{
match t
case ...
1
vote
1
answer
165
views
Testbench of a simple compare-two-values design output is always x
Here is the design that is supposed to compare two floating point numbers:
// IEEE 764: FP[31] = sign, FP[30:23] = exp, FP[22:0] = mantissa
module compare_fp(input [31:0] floatA,
...
1
vote
1
answer
192
views
I am trying to understand the way I can write a UVM scoreboard for a DUT (arbiter) with multiple masters and one slave
I need to write a scoreboard for a DUT which has 3 AXI masters as input and one of them goes out on the other side to AXI slave, like 3 AXI masters-> DUT-> AXI slave. Please let me know if my ...
1
vote
1
answer
36
views
In Dafny, count set elements less than a threshold
I'd like to count the elements in a Dafny that are set less than a threshold, but I can't figure out the 'ensure'.
method CountLessThan(numbers: set<int>, threshold: int) returns (count: int)
...
0
votes
1
answer
70
views
return_url is not working for Stripe Identity Verification when used in an iframe
I'm trying to integrate the Stripe identity verification in my app inside an iframe using the redirect method as mentioned in the docs.
But after the verification document is submitted successfully, ...
-1
votes
1
answer
148
views
How to achieve bit operation inside a for-loop using system-verilog?
Recently, I'm coding a testbench for a special circuit. The function of the circuit is to detect whether the input data sequence can be divided by three without remainder. The following code is the ...
1
vote
2
answers
104
views
If a single test case can not make the functional coverage get nearly 100%, is it acceptable to use several test cases to hit every point?
Since it is very hard for a beginner to code a test case covering all points, I decided to code many test cases. Each test case can cover some coverage points. Combining all the cases into a coverage ...
1
vote
1
answer
135
views
How to write UVM driver and sequence item for a vending machine design (interview question)?
I was asked this question in a DV interview and I am curious to know what I missed or what can be a better way to do it . Please lend your suggestions.
Question:
I need to write pseudocode for seq ...
-1
votes
1
answer
50
views
Rust P-384 verification - relatively slow. Any techniques to make it faster? [duplicate]
I am using p-384 crate for signature verification of API requests made from a site:
https://docs.rs/p384/latest/p384/ecdsa/index.html
Here's my test code:
use p384::elliptic_curve::rand_core;
use p384:...
0
votes
1
answer
158
views
Google Cloud Credit Card Verification Issue - Temporary Charge Not Showing
I'm currently setting up my Google Cloud Platform (GCP) account and facing an issue with the credit card verification process.
After entering my card details, GCP informs me that they will make a ...
0
votes
0
answers
27
views
Determining loop invariants for nested for loops in C++
I am learning about loop invariants and algorithm verification for C++ loops. While I understand the steps to prove the corectness of an iterative algorithm (the invariant must be true initially, ...
0
votes
1
answer
148
views
How to disable reCaptcha web page in Firebase Phone Auth Android
I am trying to add Phone Authentication of Firebase in my android application, it works fine with all the otp and stuff but there are two problems I am having.
The first problem: OTP verification ...
0
votes
1
answer
78
views
How to use lambda expression or other ways to batch extract specific member of a new datatype in Dafny?
I'm using dafny to verify some properties with respect to trees. Hence I defined a datatype called "Tree"
datatype Tree = Empty | Node(key: int, left: Tree, right: Tree, max_size: real, ...
0
votes
1
answer
76
views
What should I do to make the interface visible to some components?
Recently, I am trying to copy a UVM architecture that is used to verify a router of NoC (network on chip). Since I want to verify my router of NoC, the architecture doesn't change much. However, it ...
2
votes
1
answer
106
views
How to define exponential and log function for real variables in Dafny?
I have been trying to use Dafny for verification of some algorithms. In some parts, the calculation needs exponential and log functions, but Dafny does not offer any libaries or built-in math ...
0
votes
0
answers
17
views
How does AMP determine a user's physical location?
New to AMP pages (they were suggested by Google Adsense). On the learning curve. I need to use AMP for Consent Management for EAA and UK users.
It looks like AMP determines a user's physical location -...
0
votes
1
answer
79
views
How to check if write channel in AXI is working fine in my testbench?
I want to write on AXI memory by an AXI master vip and check if the write has been done correctly without reading it back by AXI master. I just want to check if a transaction has been written ...
0
votes
1
answer
255
views
How can I send a WhatsApp verification to users by Custom WhatsApp API Integration?
I am working on implementing a custom WhatsApp API integration to send verification codes to users on WhatsApp. I have already been approved for access to the WhatsApp Business API and obtained the ...
0
votes
0
answers
12
views
How can a someone verify that the app we publish is indeed made from the reviewed source code?
We are planning to release an email privacy software and make the source code available for peer review.
How can a reviewer be certain that the app we publish is made from the source code that he ...
0
votes
0
answers
81
views
Microsoft Entra Verifiable ID can not verify domain's ownership
When I upload the 'did-configuration.json' file in Azure web app, I can access the json file in edge url like:
'https://www.mydomainname.com/.well-known/did-configuration.json'
but Microsoft Entra ...
0
votes
1
answer
45
views
Why ECDSA verification fails in Android using Spongy Castle?
I am trying to verify a signature in Android using spongy castle. This dependency has been added to gradle as:
implementation group: 'com.madgag.spongycastle', name: 'bcpkix-jdk15on', version: '1.58.0....
0
votes
0
answers
20
views
Does latent classification analysis need a separate verification bias removal? how to perform that?
I have clinical data which lacks a golden standard for diagnosis. Instead multiple indices are used with different accuracy. I have transformed the results from these indices to binary for patients ...
2
votes
0
answers
222
views
Recent change of Google Drive API from "sensitive" to "restricted" scope, and it's effect of app already verified previously
I have a mobile application that accesses the Google Drive API, and my corresponding Google Cloud Platform project uses the ".auth/drive" scope. Several months ago, I went through the Google ...
0
votes
0
answers
370
views
cosign image signature verification from kubernetes not working
I use this link for image signature verification with cosign. 'cosign verify' working before pull by kubernetes. I install sigstore and create secret as below but kubernetes not create pod with ...
0
votes
1
answer
288
views
uvm_analysis_imp vs uvm_tlm_analysis_fifo in UVM
What is the difference between uvm_analysis_imp and uvm_tlm_analysis_fifo in UVM? where exctly it is used?
I understand that uvm_analysis_imp is for one to many and where as uvm_tlm_analysis_fifo is ...
0
votes
1
answer
259
views
Friendly Captcha - Is a verification request necessary?
I am integrating Friendly Captcha for the first time and I follow the official tutorial: https://docs.friendlycaptcha.com/#/installation
After step two my web application correctly solves the puzzle ...
0
votes
0
answers
23
views
JML typing error: a memory state is needed here (\at missing?)
I've been trying to fix an error in my JML program, but I haven't been able to do it. It's a typing error that references to a file, "Practi.jc" that I have no clue about where it is neither....