<style face="normal" font="default" size="100%">template-based Parameterized Synthesis of Uniform Instruction-Level Abstractions for SoC Verification</style>

Drupal-Bibcite