e HVL（IEEE 1647）：如何設置'X'值？

Question

我想將我的驗證環境中的一些變量初始化爲'X'值。我如何在e中設置'X'值？

謝謝您的幫助

Answer 1

您可以設定比0和1使用MVL（多值邏輯）功能的其他值。對於一個位寬的信號，這將是：

sig.put_mvl(MVL_X); 

它也可以通過書面形式來分配多比特信號：

wide_sig.put_mvl_list({ MVL_X, MVL_X, ... }); 

這些方法只適用於港口。如果要將變量分配給X，則需要聲明它們的類型爲mvl或list of mvl。