Jens Schönherr, Ingo Schreiber, Eva Fordran, Bernd Straube. Hazard Checking in Pipelined Processor Designs Using Symbolic Model Checking. In 25th EUROMICRO 99 Conference, Informatics: Theory and Practice for the New Millenium, 8-10 September 1999, Milan, Italy. pages 1075, IEEE Computer Society, 1999. [doi]
Abstract is missing.