Formal verification basics, writing assertions, etc.
Formal Verification Interview Questions
36 formal verification interview questions shared by candidates
What is the representation of implication using and,or and not logic gates
FiFo depth, Assertions, FSM, Clocks
Q: How would you implement a multiplication function using only ADD and JUMP instructions in assembly?
I was asked to implement a 4-bit priority encoder using basic gates , and if i want to add one more bit how many gates i must add? and then to implement an SR flip-flop using D flip-flops — first with asynchronous Set, and then with asynchronous Reset.
How do you verify a FIFO design formally? Design of Round robin arbiter For how many values of n does n/(2020-n) be the square of any integer?
How to formally verify a cache.
Given a circular array containing only numbers, by using only writing and reading from the cells of the array and without additional memory, how can you find out the size of the array?
Timing diagram out put and combinational circuit output
Questions related to a verilog project I did in college.
Viewing 11 - 20 interview questions