Dear all, Continuing my preveous question, I still need help related to my my master thesis's work. I wanted to verify the FPGA implementation of an arithmetic operation using VHDL in HOL Light. I need a standard arithmetic operations for classifier implementation in FPGA. Arithmetic operations that I want to verify is custom (not using libraries available), in order to better meet the needs of the application domain. For time efficiency, whether there is open access library or do I have to build from scratch? If I had to build from scratch, is there any suggestions on where I can get a proper reference? Because the reference I had (especially about embedding VHDL) is not freely accessible for me. Thank you.
Best Regards, Dwi -- Dwi Teguh Priyantini Fasilkom UI - 1506782322 ------------------------------------------------------------------------------ _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
