1、結構化簡的原則是無結構衝突,不適用於協同驗*。
3、協同驗*的化簡規則是在語義約束一致*的原則下,逐步規約模型中無語義衝突的部分。
2、提出一種新的基於嵌入式可重構系統芯片的視頻解碼方案,採用了軟硬件協同驗*的方法。