Shajna Y. Design of digital systems with the usage of logic programming

Українська версія

Thesis for the degree of Doctor of Science (DSc)

State registration number

0500U000034

Applicant for

Specialization

  • 05.13.13 - Обчислювальні машини, системи та мережі

27-01-2000

Specialized Academic Board

Д 26.185.01

Essay

Digital circuits design and simulation by means of logic programming. The new, original, declarative method for timing waveform recognition, methods for the automatization of the symbolic synthesis of digital circuits and the ProWaves simulation language are proposed. The results were implemented in industry, especially in digital satellite television.

Similar theses