RTL Hardware Design Using VHDL: Coding for Efficiency, Portability, and Scalability

Verifying parametrised hardware designs via counter automata

HVC'07 Proceedings of the 3rd international Haifa verification conference on Hardware and software: verification and testing

Designing AES cryptographic unit for automatic implementation in low-cost FPGA devices

International Journal of Critical Computer-Based Systems

High performance MAC unit for DSP and cryptographic applications

ACM SIGARCH Computer Architecture News

Hardware design space exploration using HercuLeS HLS

Proceedings of the 17th Panhellenic Conference on Informatics

Original articles: An FPGA-based approach to the automatic generation of VHDL code for industrial control systems applications: A case study of MSOGIs implementation

Mathematics and Computers in Simulation

Automatized high-level evaluation of security properties for RTL hardware designs

Proceedings of the Workshop on Embedded Systems Security

Hardware reuse in modern application-specific processors and accelerators

Microprocessors & Microsystems