Login / Signup
Formal semantics analysis for VHDL RTL synthesis.
Haifeng Zhou
Wei Cao
Zhenghui Lin
Published in:
Comput. Syst. Sci. Eng. (2003)
Keyphrases
</>
formal semantics
artificial intelligence
high level
ontology languages