S
se3
Guest
こんにちは、私はリズムenvirontmentのネットリストや回路の動作を比較する方法を必要とする次のような場合があります。私の場合は、次のように説明することができる：私は、言う名前がデジタル回路と、その関数は：Aは紀元前の（D + E）は+大腸菌の（D + E）はこの法律において"Dの冗長性があるので+ E"と私は名前と機能を持つサーキットを行い、迅速にレイアウトを作成する：とM = D +のメール、私は使用して、新しい回路を作成することをサブ回路：回路A私と同じですNew_A = BCMの+電磁私がネットを/回路AとNew_Aの概略している場合の質問は、両方の回路を比較するために両方の回路が同じであることを締結するリズムで自動化された方法がある、ですか？見て、responsのおかげで