Sciweavers

ASPDAC
2006
ACM
82views Hardware» more  ASPDAC 2006»
14 years 3 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...