WAGSRWAGSRとは一般化フィードフォワードシフトレジスタ(GFFSR)のためのプログラムです。Registersの略です。シンボリックシミュレーションにより、GFFSRに関する各種問題を計算します。詳しくは、関連文献を参照してください。WAGSRの主な機能は以下の通りです。0,1,Xで指定した回路シミュレーションGFFSRとは図のようにシフトレジスタに任意の論理式のフィードフォワード回路を追加したものです。WAGSRの使い方WAGSRはWebアプリケーションです。以下のURLから利用できます。利用にはSVG対応Webブラウザが必要です。Designerボタン:新しい回路の設計を始めます。Stageフィールド:シフトレジスタの段数(=フリップフロップの個数)を入力します。expressions」タブ:「GFFSRとは」で説明した図中のf0,f1に相当する関数を論理式で定義します。論理式はJavaScript形式で記述できます。into〜」ボタン:論理式をリードマラー標準形やCNF標準形に変換します。変換に時間がかかる場合はキャンセルボタンが表示されるので、途中でキャンセルすることができます。フィードバックがある回路などGFFSRではない回路も定義できますが、3の各種計算が求まらないことがあります。connection」タブ:XOR接続のみの回路を接続のON/OFFで容易に設計できます。スライダー:右方向へスライドして回路図の拡大し、左方向で縮小します。Image...」ボタン:回路図画像はSVG形式でダウンロードできます。「SR-ID」フィールド:GFFSR回路を示すIDを表示します。このIDをメモしておいて、次回この欄に入力してエンターキーを押すことで、再び同じ回路を再現することができます。「Info」タブ:回路の基本情報。「Variables」タブ:GFFSRの記号シミュレーション結果。パラメータを0,1,Xで指定して回路シミュレーションを行います。パラメータに矛盾がある場合は、赤く表示されます。