Sciweavers

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