Login / Signup

Transformations on the FSMD of the RTL code with combinational logic statements for equivalence checking of HLS.

Raul Acosta HernandezMarius StrumJiang Chau Wang
Published in: LATS (2015)
Keyphrases
  • source code
  • hardware description language
  • natural language
  • database systems
  • real world
  • website
  • multiscale
  • image registration
  • integrated circuit
  • error correcting
  • code snippets