keluaran projek (Penganalisis Perkakasan), yang membangunkan persekitaran bersepadu untuk menganalisis senarai bersih () litar elektronik digital. Sistem ini dibangunkan oleh beberapa universiti Jerman, ditulis dalam C++, Qt dan Python, dan di bawah lesen MIT.
HAL membolehkan anda melihat dan menganalisis skema dalam GUI dan memanipulasinya menggunakan skrip Python. Dalam skrip, anda boleh menggunakan fungsi "perpustakaan standard" yang disertakan yang melaksanakan operasi teori graf yang berguna untuk litar elektronik digital kejuruteraan songsang (menggunakan fungsi ini, anda boleh mengesan beberapa corak reka bentuk secara heuristik dan mengalih keluar kekeliruan mudah dengan skrip dalam beberapa baris) . Perpustakaan juga termasuk kelas untuk pengurusan projek dalam IDE, yang boleh digunakan semasa membangunkan pemalam untuk menganalisis dan memeriksa sambungan. Parser disediakan untuk bahasa penerangan perkakasan VHDL dan Verilog.
Sumber: opennet.ru