PUBLICATION: Towards Automating Cryptographic Hardware Implementations: a Case Study of HQC IACR Document