For citations:
Cheremisinov D.I. PRALU language - the tool for verifying digital devices. Informatics. 2018;15(4):86-98. (In Russ.)
Views PDF (Rus): 439
JATS XML
Fullscreen
JATS XML
JATS XML
Popular articles
Vol 16, No 4 (2019)
Vol 15, No 1 (2018)
Vol 18, No 3 (2021)
No 2(22) (2009)
Article Tools
Email this article (Login required)
Email the author (Login required)
Email this article (Login required)
Email the author (Login required)
About the Author
Keywords
Boolean function
FPGA
Shannon expansion
algorithm
classification
controlled random tests
convolutional neural network
deep learning
disjunctive normal form
image recognition
information security
information system
machine learning
mathematical model
mathematical models
neural network
neural networks
physical cryptography
physically unclonable functions
simulation
system of Boolean functions
220012, Minsk, Surganov Str 6.
The United Institute of Informatics Problems
of the National Academy of Sciences of Belarus
(UIIP NASB)
e-mail: rio@newman.bas-net.by
