ACSD
2015
IEEE
8 years 29 days ago
2015
IEEE
Abstract—Assume-guarantee (AG) reasoning is a compositional verification method where a verification task involving many processes is broken into multiple verification tasks i...
ACSD
2015
IEEE
8 years 29 days ago
2015
IEEE
ACSD
2015
IEEE
8 years 29 days ago
2015
IEEE
Abstract—Multi-processor systems-on-chips are widely adopted in implementing modern streaming applications to satisfy the ever increasing computing requirements. Predictable memo...