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]

Authors

Daniel Gajski

This author has not been identified. Look up 'Daniel Gajski' in Google

Frank Vahid

This author has not been identified. Look up 'Frank Vahid' in Google

Sanjiv Narayan

This author has not been identified. Look up 'Sanjiv Narayan' in Google

Jie Gong

This author has not been identified. Look up 'Jie Gong' in Google