Modeling Techniques for Formal Verification of BIST Controllers and Their Integration into SOC Designs.

Subir K. Roy Rubin A. Parekhji

Published in: VLSI Design (2007)

Keyphrases

formal verification
model checking
model checker
automated verification
symbolic model checking
data integration
hardware and software
reinforcement learning
control system
bounded model checking
program slicing