Digital design vercation based on P-stable semantics
Claudia Zepeda, J. Raymundo Marcial‐Romero, Mauricio Osorio, Hilda Castillo, Daniel Quintos, Sergio Arzola · 2010
We propose a framework for digital design veri based on symbolic model checking. This framework is an approach based on a novel semantics called p-stable. Ad-ditionally, we sketch how the proposed approach can be applied to verify a hardware circuit property. Key words Verication, Symbolic model checking, p-stable semantics