JP2848331B2 - ハザードフリー有限状態機械合成方式 - Google Patents
ハザードフリー有限状態機械合成方式Info
- Publication number
- JP2848331B2 JP2848331B2 JP8113375A JP11337596A JP2848331B2 JP 2848331 B2 JP2848331 B2 JP 2848331B2 JP 8113375 A JP8113375 A JP 8113375A JP 11337596 A JP11337596 A JP 11337596A JP 2848331 B2 JP2848331 B2 JP 2848331B2
- Authority
- JP
- Japan
- Prior art keywords
- state
- flip
- hazard
- output signal
- flop
- 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
Description
【０００１】
【発明の属する技術分野】本発明は電子ハードウェア装
置に関し、より詳しくは、ハザードフリー有限状態機械
合成方式に関する。
置に関し、より詳しくは、ハザードフリー有限状態機械
合成方式に関する。
【０００２】
【従来の技術】有限状態機械を合成する場合、従来は人
手で設計することが主流であり、回路規模が小さく、高
速動作する有限状態機械を設計するために経験的な知識
を用いて状態割当を行うことが多かった。その後、ＣＡ
Ｄ技術の発展に伴い、有限状態機械を自動的に合成する
方式がいくつか考案された。例えば、特開平５−１８２
６４８号公報に記載の「状態割当装置」では、入力信号
と内部信号や内部状態との関連を解析し、状態遷移の際
に変化する信号線数が少なくなるように状態割当を行う
ことにより、組合せ回路を小さくする技術が提案がされ
ている。
手で設計することが主流であり、回路規模が小さく、高
速動作する有限状態機械を設計するために経験的な知識
を用いて状態割当を行うことが多かった。その後、ＣＡ
Ｄ技術の発展に伴い、有限状態機械を自動的に合成する
方式がいくつか考案された。例えば、特開平５−１８２
６４８号公報に記載の「状態割当装置」では、入力信号
と内部信号や内部状態との関連を解析し、状態遷移の際
に変化する信号線数が少なくなるように状態割当を行う
ことにより、組合せ回路を小さくする技術が提案がされ
ている。
【０００３】
【発明が解決しようとする課題】このように従来の有限
状態機械合成方式は、与えられた状態遷移図、入出力信
号の仕様に基づいて、状態割当をし、次に各状態をデコ
ードして出力信号を得ている。。しかし、この方式で出
力信号を構成すると、状態をデコードする組合せ回路の
遅延のばらつきにより、出力波形にハザードが生じる可
能性がある。通常の同期回路においては出力信号のエッ
ジを用いることはないので、このようなハザードは問題
ない。しかし、メモリをアクセスするために用いられる
信号、あるいはクロックの異なる外部機器の制御信号の
場合には、信号のエッジが用いられるので、ハザードを
生じるのは誤動作の原因となる。
状態機械合成方式は、与えられた状態遷移図、入出力信
号の仕様に基づいて、状態割当をし、次に各状態をデコ
ードして出力信号を得ている。。しかし、この方式で出
力信号を構成すると、状態をデコードする組合せ回路の
遅延のばらつきにより、出力波形にハザードが生じる可
能性がある。通常の同期回路においては出力信号のエッ
ジを用いることはないので、このようなハザードは問題
ない。しかし、メモリをアクセスするために用いられる
信号、あるいはクロックの異なる外部機器の制御信号の
場合には、信号のエッジが用いられるので、ハザードを
生じるのは誤動作の原因となる。
【０００４】この出力信号におけるハザードを防止する
ために、従来では、デコード回路に遅延を挿入してハザ
ードが生じないようにするか、各状態遷移間で１ビット
した変化しないように状態を割り当てる等の対策をして
いた。しかし、デコード回路に遅延を挿入するのは不確
実であり、回路の速度性能を落とすおそれがある。ま
た、状態遷移間で１ビットしか変化しないように状態を
割り当てるのも、状態割当の自由度を減らし、設計を困
難にする原因となる。
ために、従来では、デコード回路に遅延を挿入してハザ
ードが生じないようにするか、各状態遷移間で１ビット
した変化しないように状態を割り当てる等の対策をして
いた。しかし、デコード回路に遅延を挿入するのは不確
実であり、回路の速度性能を落とすおそれがある。ま
た、状態遷移間で１ビットしか変化しないように状態を
割り当てるのも、状態割当の自由度を減らし、設計を困
難にする原因となる。
【０００５】本発明の目的は、出力信号の状態を区別す
ることを可能とする一方で、信号波形にハザードが生じ
るのを防止した有限状態機械の合成方式を提供すること
にある。
ることを可能とする一方で、信号波形にハザードが生じ
るのを防止した有限状態機械の合成方式を提供すること
にある。
【０００６】
【課題を解決するための手段】本発明は、有限状態機械
を構成する際に、状態遷移図と入出力信号の仕様に基づ
き出力信号の本数分だけ出力信号用フリップフロップを
用意する手段と、状態遷移図で必要とされる全状態を区
別するために追加する状態分離用フリップフロップを用
意する手段と、状態遷移図や出力信号波形の仕様に基づ
き状態を割り当てる手段とを備えることを特徴とする。
を構成する際に、状態遷移図と入出力信号の仕様に基づ
き出力信号の本数分だけ出力信号用フリップフロップを
用意する手段と、状態遷移図で必要とされる全状態を区
別するために追加する状態分離用フリップフロップを用
意する手段と、状態遷移図や出力信号波形の仕様に基づ
き状態を割り当てる手段とを備えることを特徴とする。
【０００７】また、ハザードフリーにする必要のある信
号の数が限られている場合には、状態遷移図と入出力信
号の仕様に基づきハザードフリーにする信号の本数分だ
け出力信号用フリップフロップを用意する手段と、ハザ
ードフリーにする必要のない残りの信号がとり得る全組
合わせを表すのに必要な状態数を保持するためのフリッ
プフロップを用意する手段と、状態遷移図で必要とされ
る全状態を区別するために追加する状態分離用フリップ
フロップを用意する手段と、状態遷移図や出力信号波形
の仕様に基づき状態を割り当てる手段とを備えることを
特徴とする。
号の数が限られている場合には、状態遷移図と入出力信
号の仕様に基づきハザードフリーにする信号の本数分だ
け出力信号用フリップフロップを用意する手段と、ハザ
ードフリーにする必要のない残りの信号がとり得る全組
合わせを表すのに必要な状態数を保持するためのフリッ
プフロップを用意する手段と、状態遷移図で必要とされ
る全状態を区別するために追加する状態分離用フリップ
フロップを用意する手段と、状態遷移図や出力信号波形
の仕様に基づき状態を割り当てる手段とを備えることを
特徴とする。
【０００８】
【発明の実施の形態】次に、本発明の実施形態を図面を
参照して説明する。図１はハザードフリー有限状態機械
合成方式の入力とする状態遷移図を示しており、ここで
は入力信号Ａ（符号１１）と入力信号Ｂ（符号１２）に
対する各状態Ｓ０〜Ｓ６での出力信号Ｘ（符号１３）と
出力信号Ｙ（符号１４）の両方をハザードフリーにする
実施形態の例を説明する。まず、出力信号Ｘと出力信号
Ｙにフリップフロップ１００，１０１を割り当てて状態
とすることを考える。その場合、図２の状態図に示すよ
うに、状態Ｓ３と状態Ｓ５が同じ出力信号Ｘと出力信号
Ｙの組合せ“１０”になり、状態Ｓ１と状態Ｓ４と状態
Ｓ６が同じ出力信号Ｘと出力信号Ｙの組合せ“０１”に
なる。したがって、出力信号Ｘと出力信号Ｙをフリップ
フロップに割り当てただけでは状態を表すのに不十分で
あることがわかる。
参照して説明する。図１はハザードフリー有限状態機械
合成方式の入力とする状態遷移図を示しており、ここで
は入力信号Ａ（符号１１）と入力信号Ｂ（符号１２）に
対する各状態Ｓ０〜Ｓ６での出力信号Ｘ（符号１３）と
出力信号Ｙ（符号１４）の両方をハザードフリーにする
実施形態の例を説明する。まず、出力信号Ｘと出力信号
Ｙにフリップフロップ１００，１０１を割り当てて状態
とすることを考える。その場合、図２の状態図に示すよ
うに、状態Ｓ３と状態Ｓ５が同じ出力信号Ｘと出力信号
Ｙの組合せ“１０”になり、状態Ｓ１と状態Ｓ４と状態
Ｓ６が同じ出力信号Ｘと出力信号Ｙの組合せ“０１”に
なる。したがって、出力信号Ｘと出力信号Ｙをフリップ
フロップに割り当てただけでは状態を表すのに不十分で
あることがわかる。
【０００９】このように、出力信号Ｘと出力信号Ｙにフ
リップフロップを割り当てて状態とした場合に、最大で
３状態（状態Ｓ１、状態Ｓ４、状態Ｓ６）が同じになっ
てしまうので、その３状態を区別するのに、少なくとも
２ビット分のフリップフロップが必要なことがわかる。
そこで、図３の状態図に示すように、状態分離用フリッ
プフロップＱＡ（符号１０２）と状態分離用フリップフ
ロップＱＢ（符号１０３）を追加して状態割当する。
リップフロップを割り当てて状態とした場合に、最大で
３状態（状態Ｓ１、状態Ｓ４、状態Ｓ６）が同じになっ
てしまうので、その３状態を区別するのに、少なくとも
２ビット分のフリップフロップが必要なことがわかる。
そこで、図３の状態図に示すように、状態分離用フリッ
プフロップＱＡ（符号１０２）と状態分離用フリップフ
ロップＱＢ（符号１０３）を追加して状態割当する。
【００１０】このようにして、出力信号Ｘ用フリップフ
ロップ１００、出力信号Ｙ用フリップフロップ１０１、
状態分離用フリップフロップＱＡ１０２、状態分離用フ
リップフロップＱＢ１０３の４つのフリップフロップを
用いて状態を割り当てることにより、出力信号Ｘと出力
信号Ｙをハザードフリーにした有限状態機械を合成する
ことができる。なお、状態割当が決まった後の有限状態
機械合成の方式については、自明であるので、既存の技
術を用いる。
ロップ１００、出力信号Ｙ用フリップフロップ１０１、
状態分離用フリップフロップＱＡ１０２、状態分離用フ
リップフロップＱＢ１０３の４つのフリップフロップを
用いて状態を割り当てることにより、出力信号Ｘと出力
信号Ｙをハザードフリーにした有限状態機械を合成する
ことができる。なお、状態割当が決まった後の有限状態
機械合成の方式については、自明であるので、既存の技
術を用いる。
【００１１】このように、この方式では、状態をデコー
ドした所望の信号を作るものではなく、状態を示す各ビ
ットの一部をそのまま必要な出力信号とし、それだけで
状態割当がうまくいかない分に関しては、フリップフロ
ップを追加して状態を追加することにより、状態を区別
できるようにすることにより、信号波形にハザードが生
じるのを防ぐことが可能となる。したがって、出力信号
はフリップフロップの出力をそのまま用いることになる
ので、決してハザードは生じない。そして、出力信号用
のデコード回路が不要になるため、クロックのエッジか
ら信号が出力されるまでの遅延がフリップフロップのみ
の遅延になるため、高速になる。
ドした所望の信号を作るものではなく、状態を示す各ビ
ットの一部をそのまま必要な出力信号とし、それだけで
状態割当がうまくいかない分に関しては、フリップフロ
ップを追加して状態を追加することにより、状態を区別
できるようにすることにより、信号波形にハザードが生
じるのを防ぐことが可能となる。したがって、出力信号
はフリップフロップの出力をそのまま用いることになる
ので、決してハザードは生じない。そして、出力信号用
のデコード回路が不要になるため、クロックのエッジか
ら信号が出力されるまでの遅延がフリップフロップのみ
の遅延になるため、高速になる。
【００１２】次に、出力信号を全てハザードフリーにす
る必要はない場合について示す。状態遷移図について
は、図１を仮定し、出力信号Ｘはハザードフリーにする
が、出力信号Ｙはハザードが生じても構わないとする。
まずハザードフリーにしなければならない出力信号Ｘに
フリップフロップを割り当てて状態とすることを考え
る。その場合、図４の状態図に示すように状態Ｓ０と状
態Ｓ１と状態Ｓ４と状態Ｓ６が同じ出力信号Ｘの値
“０”になり、状態Ｓ２と状態Ｓ３と状態Ｓ５が同じ出
力信号Ｘの値“１”になる。したがって、出力信号Ｘを
フリップフロップ２００に割り当てただけでは状態を表
すのに不十分であることがわかる。
る必要はない場合について示す。状態遷移図について
は、図１を仮定し、出力信号Ｘはハザードフリーにする
が、出力信号Ｙはハザードが生じても構わないとする。
まずハザードフリーにしなければならない出力信号Ｘに
フリップフロップを割り当てて状態とすることを考え
る。その場合、図４の状態図に示すように状態Ｓ０と状
態Ｓ１と状態Ｓ４と状態Ｓ６が同じ出力信号Ｘの値
“０”になり、状態Ｓ２と状態Ｓ３と状態Ｓ５が同じ出
力信号Ｘの値“１”になる。したがって、出力信号Ｘを
フリップフロップ２００に割り当てただけでは状態を表
すのに不十分であることがわかる。
【００１３】このように、出力信号Ｘにフリップフロッ
プ２００を割り当てて状態とした場合に、最大で４状態
（状態Ｓ０、状態Ｓ１、状態Ｓ４、状態Ｓ６）が同じに
なってしまうので、その４状態を区別するのに、少なく
とも２ビット分のフリップフロップが必要なことがわか
る。そこで、図５の状態図に示すように、状態分離用フ
リップフロップＱＡ（符号２０１）と状態分離用フリッ
プフロップＱＢ（符号２０２）を追加して状態割当す
る。
プ２００を割り当てて状態とした場合に、最大で４状態
（状態Ｓ０、状態Ｓ１、状態Ｓ４、状態Ｓ６）が同じに
なってしまうので、その４状態を区別するのに、少なく
とも２ビット分のフリップフロップが必要なことがわか
る。そこで、図５の状態図に示すように、状態分離用フ
リップフロップＱＡ（符号２０１）と状態分離用フリッ
プフロップＱＢ（符号２０２）を追加して状態割当す
る。
【００１４】このようにして、出力信号Ｘ用フリップフ
ロップ２００、状態分離用フリップフロップＱＡ２０
１、状態分離用フリップフロップＱＢ２０２の３つのフ
リップフロップを用いて状態を割り当てることにより、
出力信号Ｘをハザードフリーにした有限状態機械を合成
することができる。なお、ハザードフリーにする必要の
ない出力信号Ｙについては、出力信号Ｘ用フリップフロ
ップ２００、状態分離用フリップフロップＱＡ２０１、
状態分離用フリップフロップＱＢ２０２の３つのフリッ
プフロップで表される状態をデコードして生成する。
ロップ２００、状態分離用フリップフロップＱＡ２０
１、状態分離用フリップフロップＱＢ２０２の３つのフ
リップフロップを用いて状態を割り当てることにより、
出力信号Ｘをハザードフリーにした有限状態機械を合成
することができる。なお、ハザードフリーにする必要の
ない出力信号Ｙについては、出力信号Ｘ用フリップフロ
ップ２００、状態分離用フリップフロップＱＡ２０１、
状態分離用フリップフロップＱＢ２０２の３つのフリッ
プフロップで表される状態をデコードして生成する。
【００１５】このように、出力信号のうちの一部の信号
のみをハザードフリーにする必要がある場合において
も、状態遷移図で必要とされる全状態を区別するため
に、状態分離用フリップフロップを追加し、最後に状態
遷移図や出力信号波形の仕様に基づき、状態を割り当て
ることにより、全ての出力信号をハザードフリーにする
場合よりも少ないフリップフロップ数で有限状態機械を
合成することができる。
のみをハザードフリーにする必要がある場合において
も、状態遷移図で必要とされる全状態を区別するため
に、状態分離用フリップフロップを追加し、最後に状態
遷移図や出力信号波形の仕様に基づき、状態を割り当て
ることにより、全ての出力信号をハザードフリーにする
場合よりも少ないフリップフロップ数で有限状態機械を
合成することができる。
【００１６】
【発明の効果】以上説明したように本発明は、状態遷移
図と入出力信号の仕様を入力とし、出力信号の種類の分
だけ出力信号用フリップフロップを用意し、次に、状態
遷移図で必要とされている状態数を区別するために、状
態分離用フリップフロップを追加し、最後に状態遷移図
や出力信号波形の仕様に基づき、状態を割り当てる方式
を採用することで、出力信号はフリップフロップの出力
をそのまま用いることになるので、決してハザードは生
じることはなく、しかも出力信号用のデコード回路が不
要になるため、クロックのエッジから信号が出力される
までの遅延がフリップフロップのみの遅延になるため、
高速化が達成できる。
図と入出力信号の仕様を入力とし、出力信号の種類の分
だけ出力信号用フリップフロップを用意し、次に、状態
遷移図で必要とされている状態数を区別するために、状
態分離用フリップフロップを追加し、最後に状態遷移図
や出力信号波形の仕様に基づき、状態を割り当てる方式
を採用することで、出力信号はフリップフロップの出力
をそのまま用いることになるので、決してハザードは生
じることはなく、しかも出力信号用のデコード回路が不
要になるため、クロックのエッジから信号が出力される
までの遅延がフリップフロップのみの遅延になるため、
高速化が達成できる。
【００１７】また、出力信号のうちの一部の信号のみを
ハザードフリーにする必要がある場合には、状態遷移図
と入出力信号の仕様を入力し、ハザードフリーにする出
力信号の本数分だけ出力信号用フリップフロップを用意
し、次に、ハザードフリーにする必要のない残りの信号
ととり得る全組合せを表すのに必要な状態数を保持する
ためのフリップフロップを用意し、さらに、状態遷移図
で必要とされる全状態を区別するために、状態分離用フ
リップフロップを追加し、最後に状態遷移図や出力信号
波形の仕様に基づき、状態を割り当てる方式を採用する
ことで、全ての出力信号をハザードフリーにする場合よ
りも少ないフリップフロップ数で有限状態機械を合成す
ることができる。
ハザードフリーにする必要がある場合には、状態遷移図
と入出力信号の仕様を入力し、ハザードフリーにする出
力信号の本数分だけ出力信号用フリップフロップを用意
し、次に、ハザードフリーにする必要のない残りの信号
ととり得る全組合せを表すのに必要な状態数を保持する
ためのフリップフロップを用意し、さらに、状態遷移図
で必要とされる全状態を区別するために、状態分離用フ
リップフロップを追加し、最後に状態遷移図や出力信号
波形の仕様に基づき、状態を割り当てる方式を採用する
ことで、全ての出力信号をハザードフリーにする場合よ
りも少ないフリップフロップ数で有限状態機械を合成す
ることができる。
【図１】入力仕様となる状態遷移図の例を示す図であ
る。
る。
【図２】出力信号をフリップフロップに割り当てた状態
図である。
図である。
【図３】状態分離用フリップフロップを追加して状態割
当を行った状態図である。
当を行った状態図である。
【図４】出力信号の一部をハザードフリーにしたときの
出力信号をフリップフロップに割り当てた状態図であ
る。
出力信号をフリップフロップに割り当てた状態図であ
る。
【図５】出力信号の一部をハザードフリーにしたときに
おける状態分離用フリップフロップを追加して状態割当
を行った状態図である。
おける状態分離用フリップフロップを追加して状態割当
を行った状態図である。
１１ 入力信号Ａ １２ 入力信号Ｂ １３ 出力信号Ｘ １４ 出力信号Ｙ １００ 出力信号Ｘ用フリップフロップ １０１ 出力信号Ｙ用フリップフロップ １０２ 状態分離用フリップフロップＱＡ １０３ 状態分離用フリップフロップＱＢ ２００ 出力信号Ｘ用フリップフロップ ２０１ 状態分離用フリップフロップＱＡ ２０２ 状態分離用フリップフロップＱＢ
Claims (2)
- 【請求項１】 有限状態機械を構成する際に、状態遷移
図と入出力信号の仕様に基づき出力信号の本数分だけ出
力信号用フリップフロップを用意する手段と、状態遷移
図で必要とされる全状態を区別するために追加する状態
分離用フリップフロップを用意する手段と、状態遷移図
や出力信号波形の仕様に基づき状態を割り当てる手段と
を備えることを特徴とするハザードフリー有限状態機械
合成方式。 - 【請求項２】 ハザードフリーにする必要のある信号の
数が限られている場合、状態遷移図と入出力信号の仕様
に基づきハザードフリーにする信号の本数分だけ出力信
号用フリップフロップを用意する手段と、ハザードフリ
ーにする必要のない残りの信号がとり得る全組合わせを
表すのに必要な状態数を保持するためのフリップフロッ
プを用意する手段と、状態遷移図で必要とされる全状態
を区別するために追加する状態分離用フリップフロップ
を用意する手段と、状態遷移図や出力信号波形の仕様に
基づき状態を割り当てる手段とを備える請求項１のハザ
ードフリー有限状態機械合成方式。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP8113375A JP2848331B2 (ja) | 1996-05-08 | 1996-05-08 | ハザードフリー有限状態機械合成方式 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP8113375A JP2848331B2 (ja) | 1996-05-08 | 1996-05-08 | ハザードフリー有限状態機械合成方式 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| JPH09297775A JPH09297775A (ja) | 1997-11-18 |
| JP2848331B2 true JP2848331B2 (ja) | 1999-01-20 |
Family
ID=14610705
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP8113375A Expired - Fee Related JP2848331B2 (ja) | 1996-05-08 | 1996-05-08 | ハザードフリー有限状態機械合成方式 |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JP2848331B2 (ja) |
-
1996
- 1996-05-08 JP JP8113375A patent/JP2848331B2/ja not_active Expired - Fee Related
Also Published As
| Publication number | Publication date |
|---|---|
| JPH09297775A (ja) | 1997-11-18 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| KR100434833B1 (ko) | 직렬/병렬 변환 회로, 데이터 전송 제어 장치 및 전자 기기 | |
| US5459855A (en) | Frequency ratio detector for determining fixed frequency ratios in a computer system | |
| EP0334357A2 (en) | Pulse insertion circuit | |
| JPH0626329B2 (ja) | スタツフ同期回路 | |
| US6170027B1 (en) | LPC/ISA bridge and its bridging method | |
| JPH0775343B2 (ja) | 同期検出回路及び方法 | |
| EP0276794A2 (en) | Data input circuit having latch circuit | |
| JP2848331B2 (ja) | ハザードフリー有限状態機械合成方式 | |
| US7973584B2 (en) | Waveform generator | |
| JP3220026B2 (ja) | マスタスレーブ自動設定システム | |
| JP3156273B2 (ja) | ポインタ処理回路 | |
| KR19990029006A (ko) | 확장 칩 선택 리셋 장치 및 방법 | |
| US5590371A (en) | Serial communication circuit on an LSI chip and communicating with another microcomputer on the chip | |
| US6222893B1 (en) | Synchronizing circuit | |
| JP3401729B2 (ja) | スプリットバス制御回路 | |
| JP2903548B2 (ja) | 論理回路診断システム | |
| KR0140341B1 (ko) | 직병렬 변환 인터페이스회로 | |
| JPS648384B2 (ja) | ||
| JP4048091B2 (ja) | Ｌｓｉ及び画像形成装置 | |
| JPS6331827B2 (ja) | ||
| JP2845768B2 (ja) | 時刻情報同期化装置 | |
| US6067630A (en) | Signal processor | |
| JPS63226140A (ja) | デイジタルスタツフ同期の位相検出方式 | |
| AU7433898A (en) | Method and arrangement for connecting processor to asic | |
| JP2508322B2 (ja) | シリアルｉ／ｏ回路内臓マイクロコンピュ―タ |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20071106 Year of fee payment: 9 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20081106 Year of fee payment: 10 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20081106 Year of fee payment: 10 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20091106 Year of fee payment: 11 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20091106 Year of fee payment: 11 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20101106 Year of fee payment: 12 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20111106 Year of fee payment: 13 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20111106 Year of fee payment: 13 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20121106 Year of fee payment: 14 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20121106 Year of fee payment: 14 |
|
| FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20131106 Year of fee payment: 15 |
|
| LAPS | Cancellation because of no payment of annual fees |