Login / Signup

Debugging HDL designs based on functional equivalences with high-level specifications.

Alexander FinderJan-Philipp WitteGörschwin Fey
Published in: DDECS (2013)
Keyphrases
  • high level specifications
  • schema mappings
  • data exchange
  • connected components
  • relational algebra
  • database
  • data analysis
  • expressive power