What is the representation of implication using and,or and not logic gates
Formal Verification Interview Questions
36 formal verification interview questions shared by candidates
Formal verification basics, writing assertions, etc.
I can't remember much, but one question was on Finite State Machine for Traffic Lifgt control.
Q: How would you implement a multiplication function using only ADD and JUMP instructions in assembly?
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.
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.
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
How many times does the clock hands cross each other throughout the day?
Viewing 11 - 20 interview questions