|
Screenshot 1 - SMV editor - "arbiter2.smv" example.
|
|
Screenshot 2 - BDD manipulation through Java code.
|
|
Screenshot 3 - BDD printout through Java debugger.
|
|
Screenshot 4 - SMV editor, parser error - wrong boolean expression.
|
|
Screenshot 5 - SMV editor, parser error - cannot find module.
|
|
Screenshot 6 - SMV editor - "counter.smv" example.
|
|
Screenshot 7 - SMV editor, parser error - "pci.smv" example.
|
|
Screenshot 8 - SMV editor, parser error - "pci.smv" example cont.,
cannot find module.
|
|
Screenshot 9 - SMV editor - "pci.smv" example continue, extended view.
|
|
Screenshot 10 - FDS editor - extended view.
|
|