Published Articles >> Table of Contents >> Abstract

ASP-DAC/VLSI Design 2002   p. 458
Automatic Modeling and Validation of Pipeline Specifications driven by an Architecture Description Language
Prabhat Mishra, University of California at Irvine
Ashok Halambi, University of California at Irvine
Peter Grun, University of California at Irvine
Nikil Dutt, University of California at Irvine
Alex Nicolau, University of California at Irvine
Hiroyuki Tomiyama, ISIT

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASPDAC.2002.994963
Send link to a friend

Abstract
Verification is one of the most complex and expensive tasks in the current Systems-on-Chip (SOC) design process. Many existing approaches employ a bottom-up approach to pipeline validation, where the functionality of an existing pipelined processor is, in essence, reverse-engineered from its RT-level implementation. Our approach leverages the system architect's knowledge about the behavior of the pipelined architecture, through Architecture Description Language (ADL) constructs, and thus allows a powerful top-down approach to pipeline validation. This paper addresses automatic validation of processor, memory, and co-processor pipelines described in an ADL. We present a graph-based modeling of architectures which captures both structure and behavior of the architecture. Based on this model, we present formal approaches for automatic validation of the architecture described in the ADL. We applied our methodology to verify several realistic architectures from different architectural domains to demonstrate the usefulness of our approach.
Back to Top Additional Information
Index Terms- Architecture Description Language, Pipeline Verification Citation:  Prabhat Mishra, Ashok Halambi, Peter Grun, Nikil Dutt, Alex Nicolau, Hiroyuki Tomiyama, "Automatic Modeling and Validation of Pipeline Specifications driven by an Architecture Description Language," vlsid, p. 458,  ASP-DAC/VLSI Design 2002,  2002