Provably-correct hardware compilation tools based on pass separation techniques

DOI10.1007/S00165-005-0075-8zbMath1103.68455OpenAlexW2038833945MaRDI QIDQ2432229

Wayne Luk, Steve McKeever

Publication date: 25 October 2006

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-005-0075-8

zbMATH Keywords

flattening procedurerelative placement methodstructural VHDL

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

This page was built for publication: Provably-correct hardware compilation tools based on pass separation techniques