Improving functional verification of embedded systems using hierarchical composition and set theory.

Cssio L. Rodrigues, Karina R. G. da Silva, Henrique do N. Cunha

Browse the full SAC paper archive.