Formal Verification of Serial Pipeline Multipliers.

Jang Dae Kim Shiu-Kai Chin

Published in: TPHOLs (1995)

Keyphrases

formal verification
model checking
symbolic model checking
model checker
bounded model checking
automated verification
processing pipeline
program slicing
pipeline architecture
search space
knowledge representation
fuzzy logic
software engineering
orders of magnitude
temporal logic
lagrangian relaxation