System-level exploration with SpecSyn

Daniel Gajski, Frank Vahid, Sanjiv Narayan, Jie Gong. System-level exploration with SpecSyn. In DAC. pages 812-817, 1998. [doi]

Abstract

Abstract is missing.