Publisher
Springer International Publishing
Reference18 articles.
1. Aldec Inc.: Riviera-PRO Manual (2017). www.aldec.com. Accessed 08 Aug 2019
2. Bryant, R.E.: A methodology for hardware verification based on logic simulation. J. ACM 38(2), 299–328 (1991). https://doi.org/10.1145/103516.103519
3. Granlund, T.: GMP Development Team: The GNU multiple precision arithmetic library (Edition 6.1.2) (2016). www.gmplib.org. Accessed 08 Aug 2019
4. Kim, J., Kim, E.S., Yoo, J., Lee, Y.J., Choi, J.G.: An integrated software testing framework for FPGA-based controllers in nuclear power plants. Nucl. Eng. Technol. 48(2), 470–481 (2016). https://doi.org/10.1016/j.net.2015.12.008
5. Lissel, R., Gerlach, J.: Introducing new verification methods into a company’s design flow: an industrial user’s point of view. In: 2007 Design, Automation and Test in Europe Conference and Exhibition, pp. 1–6 (2007). https://doi.org/10.1109/DATE.2007.364675