Title :
Digital design vercation based on P-stable semantics
Author :
Zepeda, Claudia ; Marcial-Romero, J. Raymundo ; Osorio, Mauricio ; Castillo, Hilda ; Quintos, Daniel ; Arzola, Sergio
Author_Institution :
Benemerita Univ. Autonoma de Puebla, Puebla, Mexico
Abstract :
We propose a framework for digital design verification based on symbolic model checking. This framework is an approach based on a novel semantics called p-stable. Additionally, we sketch how the proposed approach can be applied to verify a hardware circuit property.
Keywords :
formal verification; logic programming; P-stable semantics; digital design verification; hardware circuit property; symbolic model checking; Application software; Automata; Digital circuits; Hardware; Java; Logic; Mathematical model; Process design; Prototypes; State-space methods;
Conference_Titel :
Electronics, Communications and Computer (CONIELECOMP), 2010 20th International Conference on
Conference_Location :
Cholula
Print_ISBN :
978-1-4244-5352-8
Electronic_ISBN :
978-1-4244-5353-5
DOI :
10.1109/CONIELECOMP.2010.5440767
