JP5206063B2 - 記述処理装置、記述処理方法およびプログラム - Google Patents
記述処理装置、記述処理方法およびプログラム Download PDFInfo
- Publication number
- JP5206063B2 JP5206063B2 JP2008079066A JP2008079066A JP5206063B2 JP 5206063 B2 JP5206063 B2 JP 5206063B2 JP 2008079066 A JP2008079066 A JP 2008079066A JP 2008079066 A JP2008079066 A JP 2008079066A JP 5206063 B2 JP5206063 B2 JP 5206063B2
- Authority
- JP
- Japan
- Prior art keywords
- register
- state
- group
- signal
- signals
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Expired - Fee Related
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/327—Logic synthesis; Behaviour synthesis, e.g. mapping logic, HDL to netlist, high-level language to RTL or netlist
Description
まず、受付部は、状態0, 1, 2, ..., N-1からなる有限状態機械を表す記述を受け付ける。
次に、分割部は、当該状態0, 1, 2, ..., N-1をグループ0, 1, 2, ..., M-1に分割する。
さらに、分割部は、グループ0に当該状態0, 1, ..., L[0]-1を割り当て、グループ1に当該状態L[0], L[0]+1, ..., L[1]-1を割り当て、グループ2に当該状態L[1], L[1]+1, ..., L[2]-1を割り当て、...、グループM-1に当該状態L[M-2], L[M-2]+1, ..., L[M-1]-1=N-1を割り当てる。
また、生成部は、レジスタ転送レベル記述を生成する。
そして、当該レジスタ転送レベル記述は、以下のものを表す。 (a)現在の状態がグループ0, 1, 2, ..., M-1のいずれのグループにあるかを記憶するレジスタT及びレジスタTに記憶されうる値のそれぞれに対応付けられる信号t[0], t[1], t[2], ..., t[M-1]を出力するデコーダE。
(b)現在の状態がグループ0にある場合に現在の状態が当該状態0, 1, ..., L[0]-1のいずれであるかを記憶するレジスタG[0]及びレジスタG[0]に記憶されうる値のそれぞれに対応付けられる信号s[0], s[1], ..., s[L[0]-1]]を出力するデコーダD[0]。
現在の状態がグループ1にある場合に現在の状態が当該状態L[0], L[0]+1, ..., L[1]-1のいずれであるかを記憶するレジスタG[1]及びレジスタG[1]に記憶されうる値のそれぞれに対応付けられる信号s[L[0]], s[L[0]+1], ..., s[L[1]-1]]を出力するデコーダD[1]。
現在の状態がグループ2にある場合に現在の状態が当該状態L[1], L[1]+1, ..., L[2]-1のいずれであるかを記憶するレジスタG[2]及びレジスタG[2]に記憶されうる値のそれぞれに対応付けられる信号s[L[1]], s[L[1]+1], ..., s[L[2]-1]を出力するデコーダD[2]。
現在の状態がグループM-1にある場合に現在の状態が当該状態L[M-2], L[M-2]+1, ..., L[M-1]-1=N-1のいずれであるかを記憶するレジスタG[M-1]及びレジスタG[M-1]に記憶されうる値のそれぞれに対応付けられる信号s[L[M-2]], s[L[M-2]+1], ..., s[L[M-1]-1]を出力するデコーダD[M-1]。
信号s[0], s[1], ..., s[L[0]-1]]のそれぞれと信号t[0]とから信号g[0], g[1], ..., g[L[0]-1]]を出力し、信号s[L[0]], s[L[0]+1], ..., s[L[1]-1]]のそれぞれと信号t[1]とから信号g[L[0]], g[L[0]+1], ..., g[L[1]-1]]を出力し、信号s[L[1]], s[L[1]+1], ..., s[L[2]-1]のそれぞれと信号t[2]とから信号g[L[1]], g[L[1]+1], ..., g[L[2]-1]を出力し、...、信号s[L[M-2]], s[L[M-2]+1], ..., s[L[M-1]-1]のそれぞれと信号t[M-1]とから信号g[L[M-2]], g[L[M-2]+1], ..., g[L[M-1]-1]を出力して、取りうる状態0, 1, 2, ..., N-1のそれぞれに対応付けられる信号g[0], g[1], g[2], ..., g[N-1]を出力する論理回路。
信号g[0], g[1], g[2], ..., g[N-1]に基づいて次の状態を計算し、当該次の状態が、グループ0に属する場合、レジスタTに0を記憶させ、レジスタG[0]に当該次の状態を記憶させ、グループ1に属する場合、レジスタTに1を記憶させ、レジスタG[1]に当該次の状態を記憶させ、グループ2に属する場合、レジスタTに2を記憶させ、レジスタG[2]に当該次の状態を記憶させ、...、グループM-1に属する場合、レジスタTにM-1を記憶させ、レジスタG[M-1]に当該次の状態を記憶させる遷移回路。
すなわち、受付ステップでは、受付部が、状態0, 1, 2, ..., N-1からなる有限状態機械を表す記述を受け付ける。
そして、分割ステップでは、分割部が、当該状態0, 1, 2, ..., N-1をグループ0, 1, 2, ..., M-1に分割する。
また、分割ステップでは、分割部が、グループ0に当該状態0, 1, ..., L[0]-1を割り当て、グループ1に当該状態L[0], L[0]+1, ..., L[1]-1を割り当て、グループ2に当該状態L[1], L[1]+1, ..., L[2]-1を割り当て、...、グループM-1に当該状態L[M-2], L[M-2]+1, ..., L[M-1]-1=N-1を割り当てる。
さらに、生成ステップでは、生成部が、レジスタ転送レベル記述を生成する。
そして、当該レジスタ転送レベル記述は、以下のものを表す。 (a)現在の状態がグループ0, 1, 2, ..., M-1のいずれのグループにあるかを記憶するレジスタT及びレジスタTに記憶されうる値のそれぞれに対応付けられる信号t[0], t[1], t[2], ..., t[M-1]を出力するデコーダE。
(b)現在の状態がグループ0にある場合に現在の状態が当該状態0, 1, ..., L[0]-1のいずれであるかを記憶するレジスタG[0]及びレジスタG[0]に記憶されうる値のそれぞれに対応付けられる信号s[0], s[1], ..., s[L[0]-1]]を出力するデコーダD[0]。
現在の状態がグループ1にある場合に現在の状態が当該状態L[0], L[0]+1, ..., L[1]-1のいずれであるかを記憶するレジスタG[1]及びレジスタG[1]に記憶されうる値のそれぞれに対応付けられる信号s[L[0]], s[L[0]+1], ..., s[L[1]-1]]を出力するデコーダD[1]。
現在の状態がグループ2にある場合に現在の状態が当該状態L[1], L[1]+1, ..., L[2]-1のいずれであるかを記憶するレジスタG[2]及びレジスタG[2]に記憶されうる値のそれぞれに対応付けられる信号s[L[1]], s[L[1]+1], ..., s[L[2]-1]を出力するデコーダD[2]。
現在の状態がグループM-1にある場合に現在の状態が当該状態L[M-2], L[M-2]+1, ..., L[M-1]-1=N-1のいずれであるかを記憶するレジスタG[M-1]及びレジスタG[M-1]に記憶されうる値のそれぞれに対応付けられる信号s[L[M-2]], s[L[M-2]+1], ..., s[L[M-1]-1]を出力するデコーダD[M-1]。
信号s[0], s[1], ..., s[L[0]-1]]のそれぞれと信号t[0]とから信号g[0], g[1], ..., g[L[0]-1]]を出力し、信号s[L[0]], s[L[0]+1], ..., s[L[1]-1]]のそれぞれと信号t[1]とから信号g[L[0]], g[L[0]+1], ..., g[L[1]-1]]を出力し、信号s[L[1]], s[L[1]+1], ..., s[L[2]-1]のそれぞれと信号t[2]とから信号g[L[1]], g[L[1]+1], ..., g[L[2]-1]を出力し、...、信号s[L[M-2]], s[L[M-2]+1], ..., s[L[M-1]-1]のそれぞれと信号t[M-1]とから信号g[L[M-2]], g[L[M-2]+1], ..., g[L[M-1]-1]を出力して、取りうる状態0, 1, 2, ..., N-1のそれぞれに対応付けられる信号g[0], g[1], g[2], ..., g[N-1]を出力する論理回路。
信号g[0], g[1], g[2], ..., g[N-1]に基づいて次の状態を計算し、当該次の状態が、グループ0に属する場合、レジスタTに0を記憶させ、レジスタG[0]に当該次の状態を記憶させ、グループ1に属する場合、レジスタTに1を記憶させ、レジスタG[1]に当該次の状態を記憶させ、グループ2に属する場合、レジスタTに2を記憶させ、レジスタG[2]に当該次の状態を記憶させ、...、グループM-1に属する場合、レジスタTにM-1を記憶させ、レジスタG[M-1]に当該次の状態を記憶させる遷移回路。
まず、受付部は、状態0, 1, 2, ..., N-1からなる有限状態機械を表す記述を受け付ける。
次に、分割部は、当該状態0, 1, 2, ..., N-1をグループ0, 1, 2, ..., M-1に分割する。
さらに、分割部は、グループ0に当該状態0, 1, ..., L[0]-1を割り当て、グループ1に当該状態L[0], L[0]+1, ..., L[1]-1を割り当て、グループ2に当該状態L[1], L[1]+1, ..., L[2]-1を割り当て、...、グループM-1に当該状態L[M-2], L[M-2]+1, ..., L[M-1]-1=N-1を割り当てる。
また、生成部は、レジスタ転送レベル記述を生成する。
そして、当該レジスタ転送レベル記述は、以下のものを表す。 (a)現在の状態がグループ0, 1, 2, ..., M-1のいずれのグループにあるかを記憶するレジスタT及びレジスタTに記憶されうる値のそれぞれに対応付けられる信号t[0], t[1], t[2], ..., t[M-1]を出力するデコーダE。
(b)現在の状態がグループ0にある場合に現在の状態が当該状態0, 1, ..., L[0]-1のいずれであるかを記憶するレジスタG[0]及びレジスタG[0]に記憶されうる値のそれぞれに対応付けられる信号s[0], s[1], ..., s[L[0]-1]]を出力するデコーダD[0]。
現在の状態がグループ1にある場合に現在の状態が当該状態L[0], L[0]+1, ..., L[1]-1のいずれであるかを記憶するレジスタG[1]及びレジスタG[1]に記憶されうる値のそれぞれに対応付けられる信号s[L[0]], s[L[0]+1], ..., s[L[1]-1]]を出力するデコーダD[1]。
現在の状態がグループ2にある場合に現在の状態が当該状態L[1], L[1]+1, ..., L[2]-1のいずれであるかを記憶するレジスタG[2]及びレジスタG[2]に記憶されうる値のそれぞれに対応付けられる信号s[L[1]], s[L[1]+1], ..., s[L[2]-1]を出力するデコーダD[2]。
現在の状態がグループM-1にある場合に現在の状態が当該状態L[M-2], L[M-2]+1, ..., L[M-1]-1=N-1のいずれであるかを記憶するレジスタG[M-1]及びレジスタG[M-1]に記憶されうる値のそれぞれに対応付けられる信号s[L[M-2]], s[L[M-2]+1], ..., s[L[M-1]-1]を出力するデコーダD[M-1]。
信号s[0], s[1], ..., s[L[0]-1]]のそれぞれと信号t[0]とから信号g[0], g[1], ..., g[L[0]-1]]を出力し、信号s[L[0]], s[L[0]+1], ..., s[L[1]-1]]のそれぞれと信号t[1]とから信号g[L[0]], g[L[0]+1], ..., g[L[1]-1]]を出力し、信号s[L[1]], s[L[1]+1], ..., s[L[2]-1]のそれぞれと信号t[2]とから信号g[L[1]], g[L[1]+1], ..., g[L[2]-1]を出力し、...、信号s[L[M-2]], s[L[M-2]+1], ..., s[L[M-1]-1]のそれぞれと信号t[M-1]とから信号g[L[M-2]], g[L[M-2]+1], ..., g[L[M-1]-1]を出力して、取りうる状態0, 1, 2, ..., N-1のそれぞれに対応付けられる信号g[0], g[1], g[2], ..., g[N-1]を出力する論理回路。
信号g[0], g[1], g[2], ..., g[N-1]に基づいて次の状態を計算し、当該次の状態が、グループ0に属する場合、レジスタTに0を記憶させ、レジスタG[0]に当該次の状態を記憶させ、グループ1に属する場合、レジスタTに1を記憶させ、レジスタG[1]に当該次の状態を記憶させ、グループ2に属する場合、レジスタTに2を記憶させ、レジスタG[2]に当該次の状態を記憶させ、...、グループM-1に属する場合、レジスタTにM-1を記憶させ、レジスタG[M-1]に当該次の状態を記憶させる遷移回路。
すなわち、生成部40は、現在の状態がグループ0, 1, 2, ..., M-1のいずれのグループにあるかを記憶するレジスタT及びレジスタTに記憶されうる値のそれぞれに対応付けられる信号t[0], t[1], t[2], ..., t[M-1]を出力するデコーダEを表すRTL記述を生成する。
なお、生成部40は、CPU11が、ROM12及びRAM13と協働することにより実現される。
12 ROM
13 RAM
14 ハードディスク装置
15 入力装置
16 表示装置
17 出力装置
20 受付部
30 分割部
40 生成部
100 記述処理装置
200 遷移回路
210 計算部
220 更新部
401〜416、450 レジスタ
501〜516、550 デコーダ
600〜663 ANDゲート
Claims (4)
- 状態0, 1, 2, ..., N-1からなる有限状態機械を表す記述を受け付ける受付部、
当該状態0, 1, 2, ..., N-1をグループ0, 1, 2, ..., M-1に分割する分割部であって、
グループ0に当該状態0, 1, ..., L[0]-1を割り当て、
グループ1に当該状態L[0], L[0]+1, ..., L[1]-1を割り当て、
グループ2に当該状態L[1], L[1]+1, ..., L[2]-1を割り当て、
...、
グループM-1に当該状態L[M-2], L[M-2]+1, ..., L[M-1]-1=N-1を割り当てる分割部、
レジスタ転送レベル記述を生成する生成部
を備え、
当該レジスタ転送レベル記述は、
(a)現在の状態がグループ0, 1, 2, ..., M-1のいずれのグループにあるかを記憶するレジスタT及びレジスタTに記憶されうる値のそれぞれに対応付けられる信号t[0], t[1], t[2], ..., t[M-1]を出力するデコーダEと、
(b)現在の状態がグループ0にある場合に現在の状態が当該状態0, 1, ..., L[0]-1のいずれであるかを記憶するレジスタG[0]及びレジスタG[0]に記憶されうる値のそれぞれに対応付けられる信号s[0], s[1], ..., s[L[0]-1]]を出力するデコーダD[0]と、
現在の状態がグループ1にある場合に現在の状態が当該状態L[0], L[0]+1, ..., L[1]-1のいずれであるかを記憶するレジスタG[1]及びレジスタG[1]に記憶されうる値のそれぞれに対応付けられる信号s[L[0]], s[L[0]+1], ..., s[L[1]-1]]を出力するデコーダD[1]と、
現在の状態がグループ2にある場合に現在の状態が当該状態L[1], L[1]+1, ..., L[2]-1のいずれであるかを記憶するレジスタG[2]及びレジスタG[2]に記憶されうる値のそれぞれに対応付けられる信号s[L[1]], s[L[1]+1], ..., s[L[2]-1]を出力するデコーダD[2]と、
...、
現在の状態がグループM-1にある場合に現在の状態が当該状態L[M-2], L[M-2]+1, ..., L[M-1]-1=N-1のいずれであるかを記憶するレジスタG[M-1]及びレジスタG[M-1]に記憶されうる値のそれぞれに対応付けられる信号s[L[M-2]], s[L[M-2]+1], ..., s[L[M-1]-1]を出力するデコーダD[M-1]と、
信号s[0], s[1], ..., s[L[0]-1]]のそれぞれと信号t[0]とから信号g[0], g[1], ..., g[L[0]-1]]を出力し、
信号s[L[0]], s[L[0]+1], ..., s[L[1]-1]]のそれぞれと信号t[1]とから信号g[L[0]], g[L[0]+1], ..., g[L[1]-1]]を出力し、
信号s[L[1]], s[L[1]+1], ..., s[L[2]-1]のそれぞれと信号t[2]とから信号g[L[1]], g[L[1]+1], ..., g[L[2]-1]を出力し、
...、
信号s[L[M-2]], s[L[M-2]+1], ..., s[L[M-1]-1]のそれぞれと信号t[M-1]とから信号g[L[M-2]], g[L[M-2]+1], ..., g[L[M-1]-1]を出力して、
取りうる状態0, 1, 2, ..., N-1のそれぞれに対応付けられる信号g[0], g[1], g[2], ..., g[N-1]を出力する論理回路と、
信号g[0], g[1], g[2], ..., g[N-1]に基づいて次の状態を計算し、当該次の状態が、
グループ0に属する場合、レジスタTに0を記憶させ、レジスタG[0]に当該次の状態を記憶させ、
グループ1に属する場合、レジスタTに1を記憶させ、レジスタG[1]に当該次の状態を記憶させ、
グループ2に属する場合、レジスタTに2を記憶させ、レジスタG[2]に当該次の状態を記憶させ、
...、
グループM-1に属する場合、レジスタTにM-1を記憶させ、レジスタG[M-1]に当該次の状態を記憶させる遷移回路、
を表す
ことを特徴とする記述処理装置。 - 請求項1に記載の記述処理装置であって、
L[0]並びにL[1]-L[0], L[2]-L[1], ..., L[M-1]-L[M-2]はいずれも、NをMで除算した結果の整数部の値、若しくは当該整数部の値に1を加算した値である、
ことを特徴とする記述処理装置。 - 受付部、分割部、生成部を備える記述処理装置が実行する記述処理方法であって、
前記受付部が、状態0, 1, 2, ..., N-1からなる有限状態機械を表す記述を受け付ける受付ステップ、
前記分割部が、当該状態0, 1, 2, ..., N-1をグループ0, 1, 2, ..., M-1に分割する分割ステップであって、
グループ0に当該状態0, 1, ..., L[0]-1を割り当て、
グループ1に当該状態L[0], L[0]+1, ..., L[1]-1を割り当て、
グループ2に当該状態L[1], L[1]+1, ..., L[2]-1を割り当て、
...、
グループM-1に当該状態L[M-2], L[M-2]+1, ..., L[M-1]-1=N-1を割り当てる分割ステップ、
前記生成部が、レジスタ転送レベル記述を生成する生成ステップ、
を備え、
当該レジスタ転送レベル記述は、
(a)現在の状態がグループ0, 1, 2, ..., M-1のいずれのグループにあるかを記憶するレジスタT及びレジスタTに記憶されうる値のそれぞれに対応付けられる信号t[0], t[1], t[2], ..., t[M-1]を出力するデコーダEと、
(b)現在の状態がグループ0にある場合に現在の状態が当該状態0, 1, ..., L[0]-1のいずれであるかを記憶するレジスタG[0]及びレジスタG[0]に記憶されうる値のそれぞれに対応付けられる信号s[0], s[1], ..., s[L[0]-1]]を出力するデコーダD[0]と、
現在の状態がグループ1にある場合に現在の状態が当該状態L[0], L[0]+1, ..., L[1]-1のいずれであるかを記憶するレジスタG[1]及びレジスタG[1]に記憶されうる値のそれぞれに対応付けられる信号s[L[0]], s[L[0]+1], ..., s[L[1]-1]]を出力するデコーダD[1]と、
現在の状態がグループ2にある場合に現在の状態が当該状態L[1], L[1]+1, ..., L[2]-1のいずれであるかを記憶するレジスタG[2]及びレジスタG[2]に記憶されうる値のそれぞれに対応付けられる信号s[L[1]], s[L[1]+1], ..., s[L[2]-1]を出力するデコーダD[2]と、
...、
現在の状態がグループM-1にある場合に現在の状態が当該状態L[M-2], L[M-2]+1, ..., L[M-1]-1=N-1のいずれであるかを記憶するレジスタG[M-1]及びレジスタG[M-1]に記憶されうる値のそれぞれに対応付けられる信号s[L[M-2]], s[L[M-2]+1], ..., s[L[M-1]-1]を出力するデコーダD[M-1]と、
信号s[0], s[1], ..., s[L[0]-1]]のそれぞれと信号t[0]とから信号g[0], g[1], ..., g[L[0]-1]]を出力し、
信号s[L[0]], s[L[0]+1], ..., s[L[1]-1]]のそれぞれと信号t[1]とから信号g[L[0]], g[L[0]+1], ..., g[L[1]-1]]を出力し、
信号s[L[1]], s[L[1]+1], ..., s[L[2]-1]のそれぞれと信号t[2]とから信号g[L[1]], g[L[1]+1], ..., g[L[2]-1]を出力し、
...、
信号s[L[M-2]], s[L[M-2]+1], ..., s[L[M-1]-1]のそれぞれと信号t[M-1]とから信号g[L[M-2]], g[L[M-2]+1], ..., g[L[M-1]-1]を出力して、
取りうる状態0, 1, 2, ..., N-1のそれぞれに対応付けられる信号g[0], g[1], g[2], ..., g[N-1]を出力する論理回路と、
信号g[0], g[1], g[2], ..., g[N-1]に基づいて次の状態を計算し、当該次の状態が、
グループ0に属する場合、レジスタTに0を記憶させ、レジスタG[0]に当該次の状態を記憶させ、
グループ1に属する場合、レジスタTに1を記憶させ、レジスタG[1]に当該次の状態を記憶させ、
グループ2に属する場合、レジスタTに2を記憶させ、レジスタG[2]に当該次の状態を記憶させ、
...、
グループM-1に属する場合、レジスタTにM-1を記憶させ、レジスタG[M-1]に当該次の状態を記憶させる遷移回路、
を表す
ことを特徴とする記述処理方法。 - コンピュータを、
状態0, 1, 2, ..., N-1からなる有限状態機械を表す記述を受け付ける受付部、
当該状態0, 1, 2, ..., N-1をグループ0, 1, 2, ..., M-1に分割する分割部であって、
グループ0に当該状態0, 1, ..., L[0]-1を割り当て、
グループ1に当該状態L[0], L[0]+1, ..., L[1]-1を割り当て、
グループ2に当該状態L[1], L[1]+1, ..., L[2]-1を割り当て、
...、
グループM-1に当該状態L[M-2], L[M-2]+1, ..., L[M-1]-1=N-1を割り当てる分割部、
レジスタ転送レベル記述を生成する生成部
として機能させるプログラムであって、
当該レジスタ転送レベル記述は、
(a)現在の状態がグループ0, 1, 2, ..., M-1のいずれのグループにあるかを記憶するレジスタT及びレジスタTに記憶されうる値のそれぞれに対応付けられる信号t[0], t[1], t[2], ..., t[M-1]を出力するデコーダEと、
(b)現在の状態がグループ0にある場合に現在の状態が当該状態0, 1, ..., L[0]-1のいずれであるかを記憶するレジスタG[0]及びレジスタG[0]に記憶されうる値のそれぞれに対応付けられる信号s[0], s[1], ..., s[L[0]-1]]を出力するデコーダD[0]と、
現在の状態がグループ1にある場合に現在の状態が当該状態L[0], L[0]+1, ..., L[1]-1のいずれであるかを記憶するレジスタG[1]及びレジスタG[1]に記憶されうる値のそれぞれに対応付けられる信号s[L[0]], s[L[0]+1], ..., s[L[1]-1]]を出力するデコーダD[1]と、
現在の状態がグループ2にある場合に現在の状態が当該状態L[1], L[1]+1, ..., L[2]-1のいずれであるかを記憶するレジスタG[2]及びレジスタG[2]に記憶されうる値のそれぞれに対応付けられる信号s[L[1]], s[L[1]+1], ..., s[L[2]-1]を出力するデコーダD[2]と、
...、
現在の状態がグループM-1にある場合に現在の状態が当該状態L[M-2], L[M-2]+1, ..., L[M-1]-1=N-1のいずれであるかを記憶するレジスタG[M-1]及びレジスタG[M-1]に記憶されうる値のそれぞれに対応付けられる信号s[L[M-2]], s[L[M-2]+1], ..., s[L[M-1]-1]を出力するデコーダD[M-1]と、
信号s[0], s[1], ..., s[L[0]-1]]のそれぞれと信号t[0]とから信号g[0], g[1], ..., g[L[0]-1]]を出力し、
信号s[L[0]], s[L[0]+1], ..., s[L[1]-1]]のそれぞれと信号t[1]とから信号g[L[0]], g[L[0]+1], ..., g[L[1]-1]]を出力し、
信号s[L[1]], s[L[1]+1], ..., s[L[2]-1]のそれぞれと信号t[2]とから信号g[L[1]], g[L[1]+1], ..., g[L[2]-1]を出力し、
...、
信号s[L[M-2]], s[L[M-2]+1], ..., s[L[M-1]-1]のそれぞれと信号t[M-1]とから信号g[L[M-2]], g[L[M-2]+1], ..., g[L[M-1]-1]を出力して、
取りうる状態0, 1, 2, ..., N-1のそれぞれに対応付けられる信号g[0], g[1], g[2], ..., g[N-1]を出力する論理回路と、
信号g[0], g[1], g[2], ..., g[N-1]に基づいて次の状態を計算し、当該次の状態が、
グループ0に属する場合、レジスタTに0を記憶させ、レジスタG[0]に当該次の状態を記憶させ、
グループ1に属する場合、レジスタTに1を記憶させ、レジスタG[1]に当該次の状態を記憶させ、
グループ2に属する場合、レジスタTに2を記憶させ、レジスタG[2]に当該次の状態を記憶させ、
...、
グループM-1に属する場合、レジスタTにM-1を記憶させ、レジスタG[M-1]に当該次の状態を記憶させる遷移回路、
を表す
ことを特徴とするプログラム。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2008079066A JP5206063B2 (ja) | 2008-03-25 | 2008-03-25 | 記述処理装置、記述処理方法およびプログラム |
US12/408,209 US8108808B2 (en) | 2008-03-25 | 2009-03-20 | Description processing device, description processing method, and recording medium |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2008079066A JP5206063B2 (ja) | 2008-03-25 | 2008-03-25 | 記述処理装置、記述処理方法およびプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2009239344A JP2009239344A (ja) | 2009-10-15 |
JP5206063B2 true JP5206063B2 (ja) | 2013-06-12 |
Family
ID=41119059
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2008079066A Expired - Fee Related JP5206063B2 (ja) | 2008-03-25 | 2008-03-25 | 記述処理装置、記述処理方法およびプログラム |
Country Status (2)
Country | Link |
---|---|
US (1) | US8108808B2 (ja) |
JP (1) | JP5206063B2 (ja) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8214902B2 (en) * | 2009-06-19 | 2012-07-03 | Intel Corporation | Determination by circuitry of presence of authorized and/or malicious data |
US8307175B2 (en) * | 2009-06-26 | 2012-11-06 | Intel Corporation | Data recovery and overwrite independent of operating system |
Family Cites Families (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CA1207905A (en) * | 1983-05-17 | 1986-07-15 | Mohamed F. Metwaly | Method and system for the generation of arabic script |
JPH05101141A (ja) * | 1991-08-13 | 1993-04-23 | Toshiba Corp | 高位合成装置 |
JPH081752B2 (ja) * | 1993-03-24 | 1996-01-10 | 日本電気株式会社 | 半導体記憶装置 |
JPH10233672A (ja) | 1997-02-20 | 1998-09-02 | Fujitsu Ltd | ステートマシン |
US20020152060A1 (en) * | 1998-08-31 | 2002-10-17 | Tseng Ping-Sheng | Inter-chip communication system |
US7937559B1 (en) * | 2002-05-13 | 2011-05-03 | Tensilica, Inc. | System and method for generating a configurable processor supporting a user-defined plurality of instruction sizes |
US7302656B2 (en) * | 2005-06-21 | 2007-11-27 | International Business Machines Corporation | Method and system for performing functional verification of logic circuits |
JP4706855B2 (ja) | 2006-03-31 | 2011-06-22 | 日本電気株式会社 | 動作合成装置及び回路設計支援方法 |
-
2008
- 2008-03-25 JP JP2008079066A patent/JP5206063B2/ja not_active Expired - Fee Related
-
2009
- 2009-03-20 US US12/408,209 patent/US8108808B2/en not_active Expired - Fee Related
Also Published As
Publication number | Publication date |
---|---|
US20090249260A1 (en) | 2009-10-01 |
US8108808B2 (en) | 2012-01-31 |
JP2009239344A (ja) | 2009-10-15 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US9954533B2 (en) | DRAM-based reconfigurable logic | |
US8447798B2 (en) | Look up table (LUT) structure supporting exclusive or (XOR) circuitry configured to allow for generation of a result using quaternary adders | |
US8434036B2 (en) | Arithmetic program conversion apparatus, arithmetic program conversion method, and program | |
US5964861A (en) | Method for writing a program to control processors using any instructions selected from original instructions and defining the instructions used as a new instruction set | |
JP2007034887A (ja) | ハイレベル合成コンパイラ用のシフトレジスタファイルを自動生成するための方法および装置 | |
JP5206063B2 (ja) | 記述処理装置、記述処理方法およびプログラム | |
US9984176B2 (en) | Hash value capable of generating one or more hash functions | |
KR20180055447A (ko) | 데이터 처리 방법 및 장치 | |
US10134464B1 (en) | Address decoding circuit | |
US20210117157A1 (en) | Systems and Methods for Low Latency Modular Multiplication | |
JP2010250669A (ja) | テストケース生成装置、オブジェクト検査装置、およびプログラム | |
TWI506637B (zh) | 用於運用位址移位技術之部分位址選擇信號產生器的方法及裝置 | |
US10169511B2 (en) | Method to synthesize a cross bar switch in a highly congested environment | |
US10366001B1 (en) | Partitioning memory blocks for reducing dynamic power consumption | |
JPH10187767A (ja) | パラメータ化hdl記述方法、論理合成装置および論理合成プログラムを記録した媒体 | |
JP5267376B2 (ja) | 動作合成装置、動作合成方法、ならびに、プログラム | |
US10157164B2 (en) | Hierarchical synthesis of computer machine instructions | |
JP6701828B2 (ja) | プログラマブルデバイスの制御方法およびプログラマブルデバイス | |
US20140297995A1 (en) | Fault-tolerant system and fault-tolerant operating method | |
JP3164445B2 (ja) | 10進演算命令処理装置 | |
JP5211776B2 (ja) | 動作合成装置、動作合成方法及びプログラム | |
JPH10326297A (ja) | 高位合成装置及びその記録媒体 | |
JP2005128832A (ja) | データ処理装置と剰余演算回路 | |
JP2004164465A (ja) | 回路構成方法、その装置およびそのプログラム | |
JPH1021054A (ja) | 演算処理装置 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20110209 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20121226 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20130122 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20130204 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20160301 Year of fee payment: 3 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 5206063 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
LAPS | Cancellation because of no payment of annual fees |