Formal Verification of a System-on-Chip Using Computation Slicing.

Alper Sen Vijay K. Garg Jacob A. Abraham Jayanta Bhadra

Published in: ITC (2004)

Keyphrases

formal verification
program slicing
model checking
model checker
bounded model checking
automated verification
symbolic model checking
power consumption
source code
rough sets
software systems
partial order
embedded systems
description languages