Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking.

Jens Schönherr Ingo Schreiber Eva Fordran Bernd Straube

Published in: EUROMICRO (1999)

Keyphrases

symbolic model checking
safety analysis
model checking
formal verification
partial observability
parallel architecture
conformant planning
symbolic representation
binary decision diagrams
model checker
temporal logic
boolean functions
instruction set
artificial intelligence
planning problems
finite state