Available at the authorised workplace in the National Library of Estonia, Archival Library of the Estonian Literary Museum, Tallinn University of Technology Library, University of Tartu Library and Academic Library of Tallinn University
Available in the network of the National Library of Estonia
Available in public network
Enhancing assertion-based verification in hardware designs through data mining algorithms = Andmekaeve algoritmide kasutamine riistvarasüsteemide väidete-põhise verifitseerimise parendamiseks
Author: Mohammad Reza Heidari Iman, Tallinna Tehnikaülikool. Infotehnoloogia teaduskond, Tallinna Tehnikaülikool. Arvutisüsteemide instituut, Supervisor: Tara Ghasempouri, Gert Jervan