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 <>

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