Kamenuka E. Multiprocessor models for solving large Boolean equations systems

This thesis is dedicated to significant increase of performance of functional verification of complex digital systems-on-chip. Logic simulation software which is running on sequential computer is very slow in comparison with parallel computers or customized hardware solutions. In this work, a spherical multiprocessor model of PRUS has been developed. Model and structure of sequencer - basic cell of PRUS - has been developed. New model of control unit was introduced, which is sufficient for parallel programming and Boolean equations solving using PRUS multiprocessor. Boolean equations system distribution process model has been developed. System design flow of collaborative design of PRUS multiprocessor and modern electronic design tools has been improved. The software and hardware of the multiprocessor is developed. The processes of verification and testing using representative benchmarks have been conducted. These benchmarks include scientific and industrial tests of an interest, aimed to analyze performance and hardware expenses. The HDL compiler has been implemented and tested which translates Boolean equation systems into the internal PRUS' assembly language.