Interview Questions

1) What will be the output when following code is loaded and "test" command is issued? (Easy)

<'
extend sys {
x : uint;
keep x < 45;
keep x in [0, 45, 190, 255];
run() is also { outf ("x = %d\n", x); };
};
'>

2) Write a temporal expression to verify that if event rdy_e has emitted then 3 clock cycles before, event req_e should have been triggered. The purpose of the check is to verify that rdy_e is not triggered without valid req_e. This should not be confused with "rdy_e should occur within 3 clock cycles of req_e". (Medium)

3) Write Sudoku solver in e. (Hard)

For more interview questions, please refer following links.

http://www.specman-verification.com/static.php?page=WorkInterviewQuestions http://digitalelectronics.blogspot.com/