https://libeldoc.bsuir.by/handle/123456789/31350| Title: | Remote Verification of Digital Systems Projects using Cluster Computers |
| Authors: | Cheremisinov, D. I. Cheremisinova, L. D. |
| Keywords: | материалы конференций;parallel computing;cluster computer;grid-system;verification;Boolean satisfiability |
| Issue Date: | 2018 |
| Publisher: | БГУИР |
| Citation: | Cheremisinov, D. I. Remote Verification of Digital Systems Projects using Cluster Computers / D. I. Cheremisinov, L. D. Cheremisinova // BIG DATA Advanced Analytics: collection of materials of the fourth international scientific and practical conference, Minsk, Belarus, May 3 – 4, 2018 / editorial board: М. Batura [etc.]. – Minsk, BSUIR, 2018. – Р. 63 – 68. |
| Abstract: | The paper introduces a methodology that ensures data exchange between the cluster computer and computer-aided design system for remote digital systems verification that is one of the most time-consuming tasks of logical design. The proposed grid service provides the control of parallel computations from the VLSI CAD system environment that makes possible to speed up the solution of tasks arising when performing many design optimization procedures. |
| URI: | https://libeldoc.bsuir.by/handle/123456789/31350 |
| Appears in Collections: | BIG DATA and Advanced Analytics. Использование BIG DATA для оптимизации бизнеса и информационных технологий (2018) |
| File | Description | Size | Format | |
|---|---|---|---|---|
| Cheremisinov_Remote.PDF | 368.55 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.