• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Template-Based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification.

Pramod SubramanyanBo-Yuan HuangYakir VizelAarti GuptaSharad Malik
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2018)
Keyphrases
  • levels of abstraction
  • multimedia
  • program synthesis
  • database
  • real time
  • trade off
  • high speed
  • higher level
  • model checking
  • low power
  • lower level
  • texture synthesis