Ayav, TolgaTuğlular, TuğkanBelli, Fevzi2016-12-022016-12-022016-12-02IYTE-COMPENG-2015-001https://hdl.handle.net/11147/2571Technical Report No: IYTE-COMPENG-2015-001This report presents the transformation of behavioral VHDL programs to Timed Automata.eninfo:eu-repo/semantics/openAccessVHDLTimed automataReport