Login / Signup

Refinement and Property Checking in High-Level Synthesis using Attribute Grammars.

George EconomakosGeorge K. Papakonstantinou
Published in: CHARME (1999)
Keyphrases
  • high level synthesis
  • attribute grammars
  • context free grammars
  • parallel architecture
  • context free
  • xml processing
  • database
  • design space exploration
  • probabilistic model