[sv-ac] checker formal arguments may not be connected to interfaces // WHY?

http://www.eda-stds.org/svdb/view.php?id=2751
 I uploaded fifo_chk.tar. File represents an example of the use of an
interface used in formal arguments of a checker in a passive mode (no drive
to interface).
File includes the following:
fifo_if.sv // fifo interface
fifo_pkg.sv // package for type definitions
fifo_chkr.sv // fifo checker that uses as formal argument the fifo interface
fifo_rtl.sv // RTL design using the interface
top_tb.sv // top level that instantiates the fifo_if, the RTl,
               // and binds the checker to the fifo RTL
 On the issue of a checker driving interface variables I believe that
whatever decisions apply to the drive of outputs of checkers would also
apply to the interface.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.