Number of the records: 1
HDL Model Verification Based on Visualization and Simulation
Title statement HDL Model Verification Based on Visualization and Simulation Main entry-name Macko, Dominik, 1988- (Author) - FIIT Ústav počítačového inžinierstva a aplikovanej informatiky Another responsib. Jelemenská, Katarína, 1962- (Author) - FIIT Ústav počítačového inžinierstva a aplikovanej informatiky Translated title Veridikácia HDL modelu založená na vizualizácii a simulácii In WCE 2012 World Congress on Engineering 4-6 July, 2012 Imperial College London, London, U.K, Vol. II. -- Hong Kong : International Association of Engineers, 2012. -- ISBN 978-988-19252-1-3. -- s.1095-1100 Subj. Headings digitálny systém návrh hardvéru verifikácia modelu Language English Document kind RZB - článok zo zborníka Category AFC - Reports at international scientific conferences Category (from 2022) V2 - Vedecký výstup publikačnej činnosti ako časť editovanej knihy alebo zborníka Type of document príspevok z podujatia In databases SCOPUS: 2-s2.0-84889663806 Year 2012 
article
Number of the records: 1