1. HOL Interactive Theorem Prover.
https://hol-theorem-prover.org/
. Accessed 8th Jan 2018
2. VeryPCC project.
http://isabelle.in.tum.de/verypcc/
. Accessed 22nd Nov 2017
3. Aho AV, Sethi R, Ullman JD (2007) Compilers: principles, techniques, and tools, vol 2. Addison-Wesley Reading, Boston
4. Ashenden PJ (2010) The designer’s guide to VHDL, vol 3. Morgan Kaufmann, Burlington
5. Association IS et al (2005) IEEE Standard for Verilog Hardware Description Language. Design Automation Standards Committee. IEEE Std 1364TM-2005