雑記

2015年12月末シグナル

現在の状況は こちらから 。

1位2位がそのままなので、前月のままのポジションを継続です。3ヶ月連続です。

1. SMTTOPIXインデックス・オープン
2. SMTグローバルREITインデックス
3. SMTグローバル株式インデックス(SELL)

SVA bindに関するパラメータ

パラメータ付きのmoduleにbindするときに戸惑ったことがあったのでそのメモ

通常のbindは以下の用な記述

bind cpu fpu_props fpu_rules_1(a,b,c);

Where:

• cpu is the name of module.
• fpu_props is the name of the program containing properties.
• fpu_rules_1 is the program instance name.
• Ports (a, b,c) get bound to signals (a,b,c) of module cpu.

SVAのthroughoutとintersect

SVAで throughout の使い方がよくわからなかったのでメモ。ちなみにLanguage Reference Manual（LRM)でintersect、throughoutを調べてgoogle翻訳すると以下の通り。

• intersect
• バイナリ演算子intersectは、両方のオペランド・シーケンスが一致すると予想され、オペランド・シーケンスの終了時刻が同じでなければならない場合に使用されます。
• throughout
• シーケンスは、正しい動作の為にいくつかの条件の前提の下ではしばしば発生します。例えば、トランザクションの処理中に真でなければならない場合、またはトランザクションの処理中に特定の値の発生が禁止されている場合。

2015年11月末シグナル

現在の状況は こちらから 。

1位2位が入れ替わっていますが、前月のままのポジションを継続です。

1. SMTTOPIXインデックス・オープン
2. SMTグローバルREITインデックス
3. 国内債券インデックス・オープン

TopixCore30の定期選定結果を受け、TopixCore30の犬を更新しました。