Questions tagged [verification]

Verification checks whether a product complies with specifications and further fixed conditions.

Filter by
Sorted by
Tagged with
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 ...
Hesham Yemen's user avatar
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 ...
Elias Hanna's user avatar
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 @(...
Gus Mantzorogeorge's user avatar
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?
Akmal Saputra's user avatar
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 ...
Logesh Kannan's user avatar
-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 ...
Chi Tran's user avatar
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 ...
Erik Sulin's user avatar
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? ...
Nirasha Sewwandi's user avatar
-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 ...
shortmort37's user avatar
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 ...
leweProjects's user avatar
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 ...
user10367180's user avatar
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, ...
Bouls's user avatar
  • 13
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(...
Touko's user avatar
  • 11.5k
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 ...
J.Ober's user avatar
  • 199
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. ...
sirbird phoenix's user avatar
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", "...
Sani Patel's user avatar
-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 ? ...
Kunal Singh's user avatar
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 ...
Don R's user avatar
  • 31
-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, ...
Ali Talha's user avatar
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" ...
salman daoud's user avatar
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 ...
NiKiuS's user avatar
  • 1
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 ...
ambish-creature's user avatar
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> ...
Štěpán Vejvoda's user avatar
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 ...
MogicFrog's user avatar
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, ...
Zoey's user avatar
  • 13
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 ...
Grace90's user avatar
  • 217
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) ...
Carl's user avatar
  • 333
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, ...
trueblue's user avatar
-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 ...
benjstark's user avatar
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 ...
benjstark's user avatar
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 ...
Grace90's user avatar
  • 217
-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:...
sudoExclaimationExclaimation's user avatar
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 ...
Carlo's user avatar
  • 43
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, ...
quenaw's user avatar
  • 1
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 ...
Newbie_programmer's user avatar
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, ...
MogicFrog's user avatar
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 ...
benjstark's user avatar
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 ...
MogicFrog's user avatar
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 -...
M Rutledge's user avatar
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 ...
Grace90's user avatar
  • 217
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 ...
Code_Sphinx_TSK's user avatar
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 ...
Veet Vivarto's user avatar
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 ...
xctpro's user avatar
  • 1
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....
MJay's user avatar
  • 1,014
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 ...
Sukeshini's user avatar
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 ...
Shiny's user avatar
  • 21
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 ...
Murad Samadov's user avatar
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 ...
Kiran Kumar's user avatar
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 ...
Michelle's user avatar
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....
Nuria's user avatar
  • 1

1
2 3 4 5
29