Polynomial abstraction for verification of sequentially implemented combinational circuits

Conference Object

Abstract: Todays integrated circuits with increasing complexity cause the well known state space explosion pro

Palabras claves:

Autores:

Ingo Sander, Jantsch A., Raudvere T., Singh A.

Fuentes:

scopus