Sciweavers

ASPDAC
2006
ACM
82views Hardware» more  ASPDAC 2006»
13 years 8 months ago
Discovering the input assumptions in specification refinement coverage
The design of a large chip is typically hierarchical
Prasenjit Basu, Sayantan Das, Pallab Dasgupta, Par...