Title :
System of synthesis and verification of hardware models-formulas for series summation in RKHS
Author :
Chumachenko, S.V. ; Melnikova, Olga
Abstract :
System of Synthesis and Verification of Hardware Models-Formulas for Series Summation in Reproducing Kernel Hilbert Space (RKHS) which allows to carry out input of the description of the model-formula with the help of the GUI-interface is discovered. The examples of synthesis and experience data are represented. Market attractiveness and applications are discussed.
Keywords :
Hilbert spaces; formal verification; graphical user interfaces; hardware description languages; GUI interface; RKHS; hardware models-formulas verification; reproducing kernel Hilbert space; series summation; system of synthesis;
Conference_Titel :
Modern Problems of Radio Engineering, Telecommunications and Computer Science, 2008 Proceedings of International Conference on
Conference_Location :
Lviv-Slavsko
Print_ISBN :
978-966-553-678-9