Login / Signup

A succinct memory model for automated design debugging.

Brian KengHratch MangassarianAndreas G. Veneris
Published in: ICCAD (2008)
Keyphrases
  • automated design
  • control system