updated faq and vhdl