DocumentCode
1638087
Title
System of synthesis and verification of hardware models-formulas for series summation in RKHS
Author
Chumachenko, S.V. ; Melnikova, Olga
fYear
2008
Firstpage
618
Lastpage
620
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;
fLanguage
English
Publisher
ieee
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
Type
conf
Filename
5423457
Link To Document