0

組み合わせ回路を BDD/CuDD で記述するのが一般的であることは知っています。しかし、BDD を DFF/Latch のような順序論理回路に使用することは可能ですか? 不可能に見えますか？それとも、CK/D タイミング要件を無視して単純なロジックとして扱うのでしょうか? 合成アルゴリズムは何らかの技術を使用して処理したと思います

これに関連する論文/本はありますか？Berkeley の ABC パッケージはこれを行いますか?

4

0 に答える 0