Метод синтезу моделі геоінформаційної системи на основі базових поліномів

Abstract

Надано новий метод для верифікації виконання розкладання поліному певного ступеня P(x) на множники над полем Галуа GF(2). За основу прийнята модель корпорації Altera, яка застосовується в пакеті автоматизованого проектування мікросхем Quartus II (2009), аналогічну модель застосовує корпорація Xilinx та інші. Новизна нашого підходу полягає в тому, що на першому етапі застосовується часове моделювання в двох ієрархічних рівнях і передбачаються спеціальні заходи для виключення блокувань, а на прикінцевому етапі виконане натурне моделювання на реальній надсучасній мікросхемі, яка розвиває на три порядку більшу швидкість обчислення щодо певних поліномів інтервалу.

We give a new method for performing the distinct-degree factorization of a polynomial P(x) over GF(2). The model of Altera Corporation was accepted for basic. The Quartus II (2009) development software provides a complete design environment for system-on-a-programmable-chip (SOPC) design. Similar model is applied by the corporation of Xilinx et al. We use a multi-level blocking strategy. The Quartus II Classic Timing Analyzer makes it possible to analyze the performance of all design logic and guides the Fitter to meet your timing goals. Timing simulation produced in 1000 times faster.